The Insolubilia: How Medieval Logicians Tamed the Liar Paradox

• Introduction
• Chapter 1: The Shadow of Eubulides: Inheriting the Paradoxes of Antiquity
• Chapter 2: Insolubilia Revealed: The First Medieval Encounters with Self-Reference
• Chapter 3: The Twelfth-Century Classroom: Logic in the Shadow of Paris and Oxford
• Chapter 4: Transcensus and Truth: Early Syntactic Approaches to the Liar
• Chapter 5: The Cassantes: Solving Paradoxes by Declaring Them Void
• Chapter 6: The Restringentes: Early Attempts to Ban Self-Referential Propositions
• Chapter 7: The Rise of the Disputation: Obligationes and the Mechanics of Academic Debate
• Chapter 8: William of Sherwood and the Mid-Thirteenth Century Consensus
• Chapter 9: Peter of Spain and the Logical Foundations of the Tractatus
• Chapter 10: Roger Bacon on the Deceptions of Equivocation and Ambiguity
• Chapter 11: Thomas Bradwardine and the Fourteenth-Century Revolution
• Chapter 12: The Oxford Calculators: Quantifying Truth and Meaning
• Chapter 13: "Everything That Signifies Itself to Be False Is False": The Bradwardinian Turn
• Chapter 14: Richard Kilvington’s Sophismata: Pushing the Boundaries of Meaning
• Chapter 15: William of Ockham: Nominalism, Mental Language, and the Liar
• Chapter 16: John Buridan and the Parisian Response: Truth-Conditions and Context
• Chapter 17: The Virtue of Virtual Implication: Buridan's Final Solution
• Chapter 18: Albert of Saxony: Systematizing Insolubilia for the University Curriculum
• Chapter 19: Marsilius of Inghen and the Spread of Western Logic to Central Europe
• Chapter 20: The Epistemic Paradoxes: "You Know That This Proposition Is Unknown"
• Chapter 21: Paul of Venice and the Late Medieval Synthesis
• Chapter 22: Institutionalizing Paradox: Insolubilia as the Ultimate Test of Academic Logic
• Chapter 23: The Humanist Critique: Rhetoric, Pedagogy, and the Rejection of Scholastic Logic
• Chapter 24: The Decline of the Insolubilia Genre in the Early Modern Era
• Chapter 25: Echoes across the Centuries: Medieval Insolubilia and Modern Formal Logic

"This statement is false." In four simple words, Western thought encounters a fissure that threatens to collapse the entire architecture of logic and language. If the sentence is true, then by its own assertion, it must be false; if it is false, then what it asserts is indeed the case, making it true. For millennia, this paradox—first attributed in antiquity to Eubulides of Miletus—hung like a spectre over philosophy. To modern minds, the Liar Paradox often conjures images of twentieth-century mathematical logic, brought to the fore by the ground-shifting work of Bertrand Russell, Alfred Tarski, and Kurt Gödel. Yet centuries before the advent of modern formal notation, the brilliant minds of the medieval Latin West engaged in an astonishingly sophisticated, deeply rigorous, and centuries-long campaign to dismantle, analyze, and master this very puzzle.

This book tells the story of that intellectual crusade. Between the twelfth and fourteenth centuries, the universities of Western Europe—most notably Oxford and Paris—witnessed an unprecedented explosion of logical inquiry. At the very heart of this scholastic renaissance was a specialized, highly technical genre of literature known as the insolubilia, or "unsolvable problems." Far from treating self-referential paradoxes as mere parlor tricks or peripheral absurdities, scholastic thinkers recognized them as fundamental tests of semantic theory. If a system of logic could not account for how language could turn upon itself to produce a contradiction, then that system was incomplete. The insolubilia thus became the ultimate proving ground for medieval logicians, driving the development of complex theories of signification, mental language, truth-conditions, and logical consequence.

The evolution of the insolubilia literature represents one of the most vibrant chapters in the history of ideas, characterized by dramatic shifts in methodology and philosophical perspective. Early medieval commentators struggled to establish even a basic taxonomy of self-reference, oscillating between radical solutions like the cassantes—who argued that paradoxical utterances were utterly meaningless and devoid of propositional content—and the restringentes, who sought to erect syntactic barriers forbidding propositions from referring to their own truth-values. However, as the university curriculum matured and the art of disputation (*obligationes

The ancient Greeks had an extraordinary talent for inventing problems that kept other people awake at night. Among the philosophers of the fourth century BCE, when the intellectual dust of Socrates’ execution had barely settled, there arose a group of thinkers who took particular delight in pushing the boundaries of language until it snapped. These were the Megarians, a school of philosophers clustered around Megara, a city just west of Athens. Led originally by Euclides of Megara—not to be confused with the geometer—they specialized in the sharp, dialectical skirmish. They did not build grand metaphysical palaces like Plato, nor did they construct vast biological taxonomies like Aristotle. Instead, they built traps.

The undisputed master of the Megarian trap was a man named Eubulides of Miletus. History remembers Eubulides primarily through fragments, sneering remarks by his rivals, and a catalog of dialectical puzzles that have bedeviled Western thought for over two millennia. Diogenes Laërtius, that tireless gossip of the ancient philosophical world, credits Eubulides with formulating several famous paradoxes: the Sorites (or the Paradox of the Heap), the Electra, the Horned Man, and, most notorious of all, the Pseudomenos—the Liar.

The formulation of the Pseudomenos was deceptively simple: a man says, "What I am saying now is a lie." If he speaks the truth, then he is lying, which means what he says must be false. But if he is lying, then it is false that he is lying, meaning that he must be telling the truth. The machine of thought, humming along smoothly on the track of ordinary conversation, suddenly derails. It cannot stop, and it cannot move forward. It rocks endlessly back and forth between two mutually exclusive values, converting reason into an oscillation between yes and no.

Ancient observers did not take this intellectual snare lightly. To the Hellenistic mind, which revered dialectic as the supreme instrument of truth, a linguistic device that systematically defeated dialectic was not an amusing novelty; it was an existential threat. The poet and grammarian Philitas of Cos reportedly spent so many sleepless nights attempting to untangle the Liar that he wasted away entirely. His tombstone bore an epitaph warning passersby of his fate: "O Philitas, I am the Liar who destroyed thee, and the long nights spent in anxious thought." While this story smells of Hellenistic hyperbole, it captures the genuine exasperation provoked by Eubulides’ invention. The Stoic logician Chrysippus, widely considered one of the most formidable intellects of the ancient world, threw himself at the problem with immense energy, penning no fewer than six separate treatises on the Liar, none of which have survived intact.

What made the Liar so profoundly disruptive to ancient thinkers was its assault on the foundational assumptions of classical logic. Both the early Stoics and Aristotle operated on the assumption that a statement must be either true or false. This principle, which later logicians would formulate as the Law of Bivalence, underpins nearly every deductive inference. If a proposition can be neither true nor false, or if it can perversely demand to be both at the same time, then the rules governing syllogisms and propositional conditionals turn to dust. If you cannot assign a stable truth-value to a premise, you cannot draw a sound conclusion.

Aristotle himself was well aware of the trap. In the Sophistical Refutations (Sophistici Elenchi), his manual for identifying and dismantling fallacious arguments, Aristotle took a brief and characteristically dismissive swipe at the problem. He viewed the Liar as a variation of a broader family of fallacies that arise from failing to distinguish between speaking simply or absolutely (simpliciter) and speaking in a certain respect or qualifiedly (secundum quid).

Aristotle’s diagnosis was crisp. A man may be a liar in general, but he can nevertheless tell the truth on a specific occasion. Conversely, a man may swear an oath to break his oath; when he breaks it, he is keeping his word in one specific respect (by doing what he swore he would do), but he is nonetheless a perjurer in an absolute sense. To Aristotle, the speaker of the Liar paradox is uttering a statement that possesses a qualified truth or a qualified falsehood, but it lacks the standing of an absolute, unqualified proposition. By conflating the qualified sense with the absolute sense, the dialectician manufactures a spurious contradiction. The speaker is not both lying and telling the truth in the same way and at the same time; he is merely speaking falsely simpliciter while speaking truly in a very narrow, qualified respect.

For many centuries, Aristotle’s brisk treatment was considered sufficient to keep the beast at bay. In the grand synthesis of philosophical education that crystallized in Late Antiquity, the Sophistical Refutations became the standard text for dealing with dialectical troublemakers. The Neoplatonist commentators in Alexandria and Athens, whose lectures formed the twilight of classical philosophy, dutifully repeated the master’s solution. The Liar was categorized as an optical illusion of language, an error born of imprecise phrasing rather than a deep structural fracture in the nature of truth itself.

Yet the ancient world passed along another, far more insidious version of the paradox, embedded not in technical logical treatises, but in sacred scripture. In his Epistle to Titus, Paul the Apostle issues a stern warning about the inhabitants of the island of Crete. Writing to his companion Titus, who was tasked with organizing the early Christian communities there, Paul delivers a biting assessment: "One of Crete’s own prophets has said it: 'Cretans are always liars, evil brutes, lazy gluttons.' He has surely told the truth!"

The prophet Paul was quoting was Epimenides of Knossos, a semi-mythical sixth-century BCE seer. Epimenides, according to ancient lore, had fallen asleep in a cave sacred to Zeus and awoken fifty-seven years later endowed with divine wisdom and prophetic poetry. His famous condemnation of his fellow countrymen was originally aimed at their theological arrogance; the Cretans claimed to possess the tomb of Zeus, which to pious Greeks was an absurdity, since Zeus was an immortal god. Thus, in Epimenides’ eyes, all Cretans were liars because they claimed the father of the gods had died.

Paul, writing centuries later, was clearly interested in pastoral discipline rather than semantic theory. He was simply deploying a well-known cultural proverb to disparage Cretan moral character. Yet the theological context inadvertently gave birth to what later generations would call the Epimenides Paradox. If Epimenides was himself a Cretan, and if Cretans are always liars, then his own statement that Cretans are always liars must itself be a lie. If it is a lie, then Cretans are not always liars, which means Epimenides might be telling the truth, in which case his statement is false, and so on.

Strictly speaking, the Epimenides formulation is not a clean, symmetric paradox like the one crafted by Eubulides. If Epimenides speaks falsely, it merely implies that the universal claim "all Cretans are always liars" is false. The negation of "all Cretans are always liars" is not "all Cretans always tell the truth," but rather the modest assertion that "at least one Cretan sometimes tells the truth." Thus, the statement can simply be false without forcing a circular collapse into truth: Epimenides is just a Cretan who happens to be lying on this occasion, while other Cretans, on other days, occasionally tell the truth.

However, late antique readers and early Christian patristic writers rarely paused to parse the nuances of universal versus particular negation. To them, the passage in Titus presented an acute theological difficulty: an inspired apostle had affirmed the absolute truth of a pagan prophet who claimed that people of his own kind never spoke the truth. Early Christian commentators, such as Saint Jerome, wrestled with the passage. Jerome, writing in the late fourth century, attempted to defuse the trap by appealing to human frailty. Quoting Psalm 116—"Every man is a liar"—Jerome argued that Epimenides’ assertion was true because all human beings are fallen and prone to falsehood, not because Cretans possessed some exclusive monopoly on deceit. Paul was not endorsing a logical conundrum; he was endorsing an observation about human sinfulness.

Despite these encounters, the Latin West remained largely oblivious to the deeper mechanics of the Liar for a extraordinarily long time. The collapse of the Western Roman Empire shattered the continuity of Greek learning. The vast libraries of classical antiquity burned, rotted, or were scattered. The intricate debates of the Stoics, the six treatises of Chrysippus, and the extensive commentaries of the late Greek schools disappeared entirely from Western European memory. By the early sixth century, the Latin world’s access to ancient philosophy had been reduced to a narrow trickle.

That trickle was largely maintained by a single, tragic figure: Anicius Manlius Severinus Boethius. A Roman aristocrat serving under the Ostrogothic king Theodoric, Boethius recognized with chilling clarity that Greek philosophy was vanishing from the West. He conceived a monumental ambition: to translate all the works of Plato and Aristotle into Latin and provide commentaries on them, demonstrating that the two great philosophers were in fundamental harmony.

Boethius never finished. Before he could turn his attention to the vast bulk of the corpus, he fell under Theodoric’s suspicion of treason, was imprisoned, and in 524 was brutally executed. Yet before his death, he managed to translate Aristotle’s foundational works on logic: the Categories and On Interpretation (De Interpretatione), along with Porphyry’s Isagoge, an introduction to Aristotle’s logic. He also translated the Prior Analytics, the Posterior Analytics, the Topics, and the Sophistical Refutations.

Here, however, a strange archival accident occurred. While Boethius’s translations of the Categories and On Interpretation circulated continuously throughout the early Middle Ages—forming, alongside his own logical monographs, the canon that would later be dubbed the Logica Vetus, or the "Old Logic"—his translations of the remaining texts vanished from view. They sat unread in monastic scriptoria, buried beneath layers of dust, copied rarely or not at all.

For nearly six centuries, the scholars of Western Europe had to construct their intellectual universe using only the bare bones of the Logica Vetus. The logic they practiced was primarily categorical and definitional. It taught students how to classify terms, how to identify substances and accidents, and how to construct basic categorical propositions. It was a logic designed for clear classification and basic predication. It had almost no tools for dealing with complex linguistic self-reference, semantic paradoxes, or dialectical fallacies.

During this long slumber, the Liar Paradox was essentially a ghost without a body. Scholars knew that such things had existed in antiquity because they encountered passing references to them in the works of Cicero, Seneca, and Quintilian. Cicero, in his Academica, had explicitly mentioned the puzzle: "If you say that you are lying, and you speak the truth, you are lying; but you say that you are lying and you speak the truth; therefore, you are lying." But Cicero treated it as an annoying academic skepticism designed to paralyze decision-making, not as a technical problem requiring a systematic formal apparatus to solve. Without the text of Aristotle’s Sophistical Refutations, medieval readers had no authoritative methodological guide for dissecting such paradoxes.

The intellectual landscape began to shift dramatically in the early decades of the twelfth century. A surge in urban growth, the stabilization of European politics, and the re-establishment of trade routes catalyzed an intense hunger for learning. Monastic schools, tucked away in rural isolation, were rapidly eclipsed by cathedral schools situated in bustling cities like Chartres, Reims, and, above all, Paris. Young men flocked from across the continent to study the liberal arts, and among these arts, logic—or dialectic, as it was often called—reigned supreme. Dialectic was no longer seen as a mere preliminary exercise for reading scripture; it was an intellectual weapon, an exhilarating display of mental agility that promised fame, clerical advancement, and academic prestige.

It was into this febrile atmosphere that the missing texts of Aristotle suddenly reappeared. Throughout the twelfth century, intrepid scholars like James of Venice began recovering, translating, and circulating the forgotten portions of the Aristotelian corpus. Translators working in Northern Italy and Spain recovered the texts directly from Greek manuscripts and Arabic commentaries. Among these resurrected works were the Prior Analytics, the Topics, and, crucially, the Sophistical Refutations.

Together with the newly recovered texts, these works formed the Logica Nova, the "New Logic." The arrival of the Logica Nova struck the fledgling intellectual centers of Europe like an earthquake. The Categories and De Interpretatione had taught students how to speak carefully; the Sophistical Refutations taught them how to fight.

The Refutations opened up an entirely new world of intellectual combat. Aristotle had cataloged thirteen distinct species of fallacies, divided into those that depend on language (such as ambiguity, amphiboly, and form of expression) and those that do not (such as begging the question, false cause, and the fallacy of the accident). Suddenly, the master and the student had a shared vocabulary for identifying rhetorical sleights of hand and structural breakdowns in arguments.

Yet when twelfth-century masters eagerly flipped through their newly recovered copies of the Sophistical Refutations to see how Aristotle handled the ancient puzzle of the Liar, they were met with profound disappointment. Aristotle’s treatment in Chapter 25 of the text was agonizingly brief, cryptic, and oddly incomplete.

Aristotle had written: "There is an argument which asks whether it is possible for the same man to tell a lie and to speak the truth at the same time. But this seems difficult to resolve because of the fact that it is not readily apparent in which of the two senses—the absolute or the qualified—the term 'true' or 'false' is being used. Nothing prevents a statement from being false absolutely, while being true in a certain respect, or true of something in particular, but not true absolutely."

To a Greek student already thoroughly grounded in the dialectical traditions of the Lyceum, this elliptical note might have served as a sufficient reminder of a lecture. But to a twelfth-century Latin scholar sitting in a drafty room in the Île de la Cité, it was an infuriating tease. The text did not provide a detailed, step-by-step deconstruction of the paradox. It did not explain how the speaker’s utterance could simultaneously mean what it says and yet fail to possess the normal properties of an assertion. Above all, it failed to reckon with the uniquely toxic property of self-referential language.

Aristotle’s example of the man who swears he will break his oath simply did not match the sheer, violent symmetry of "I am speaking falsely." In the oath-breaker’s case, there are two distinct acts: the original oath and the subsequent action of breaking it. The two acts can easily be separated into different temporal moments and evaluated under different descriptions. But in the Liar, there is only one act. The proposition does not refer to an external event or an action performed elsewhere in the world; it refers entirely and exclusively to its own truth-value in the precise moment of its utterance.

When a proposition says of itself that it is false, where is the "qualified" sense? If it is false, what part of it is true? If it is true, in what sense can it be said to be false? Aristotle’s distinction between secundum quid and simpliciter seemed to slip through the fingers the moment one tried to apply it to a sentence whose only content was its own falsehood. The machinery of the Logica Nova had supplied the category, but the category was manifestly inadequate to contain the problem.

The medievals quickly realized that the ancients had not solved the Liar; they had merely left behind its blueprint, accompanied by a note claiming it had been resolved. The shadow cast by Eubulides across the centuries was not receding under the light of the newly rediscovered Aristotle. It was lengthening.

Furthermore, the intellectual environment of the twelfth century was radically different from that of ancient Greece. For the Megarians and the early Stoics, logic was an elite pursuit, largely detached from doctrinal dogma. For the medieval masters, however, truth was not an abstract game; it was an attribute of God Himself. Christ had declared, "I am the Way, the Truth, and the Life." The study of truth was intimately connected with salvation, orthodoxy, and the intelligible order of creation. A crack in the theory of truth was not an isolated philosophical curiosity; it was a potential hazard for theology. If human language could construct a sentence that systematically defied the categories of true and false, what did that say about the capacity of human language to speak truthfully of divine matters?

The stage was set for a rupture. The medieval masters were deeply deferential to classical authority; they revered Aristotle as "The Philosopher," the supreme guide to human reason below the realm of divine revelation. Yet their reverence was not passive submission. When faced with an ancient authority that provided an incomplete or defective answer, the scholastic method demanded that the text be glossed, interpreted, expanded, and, if necessary, superseded.

As the twelfth century advanced, teachers of logic began to realize that the paradox of the Liar could not be swept away as a minor species of dialectical trickery. It demanded a systematic, rigorous, and specialized investigation. The existing textbooks did not have the answers. The ancient commentators were silent. The students, eager for debate and armed with the sharp tools of the Logica Nova, were demanding clarity.

Out of this tension, between the inherited authority of antiquity and the evident failure of ancient solutions, a brand-new field of academic literature was about to be born. The thinkers of the Latin West were no longer content to merely contemplate the puzzles of Eubulides from afar. They would make the problem their own, baptizing the ancient paradox with a name that would echo through university halls for the next two hundred years: the insolubilia.