Karl Poppers source of knowledge and ignorance

While Alfred Tarski solved the Liar Paradox by building a strict vertical hierarchy of languages, Aristotle approached the paradox from a strikingly different, pragmatic angle. Modern commentators often treat Aristotle as a passive victim of self-reference, but he actively diagnosed the Liar Paradox in the [*Sophistical Refutations*](https://classics.mit.edu/Aristotle/sophist_refut.html) (*De Sophisticis Elenchis*). His solution did not rely on formal set-theoretic structures, but on a nuanced theory of semantic qualification: the distinction between speaking **simpliciter** (absolutely) and **secundum quid** (in a certain respect). > "Is it possible for the same man at the same time to be a liar and to tell the truth? The matter is difficult... But there is nothing to prevent a man from being a liar absolutely, and yet telling the truth in a particular case or respect." > — Aristotle, *Sophistical Refutations*, Part 25 ## The Fallacy of Qualification: *Simpliciter* vs. *Secundum Quid* Aristotle’s central strategy was to classify the Liar Paradox as an instance of the fallacy *A dicto secundum quid ad dictum simpliciter* (inferring from a qualified statement to an unqualified one). To make this tangible, consider a practical analogy: imagine a counterfeit artist who paints a masterclass reproduction of a Vermeer. If asked, "Is this painter a fraud?", we answer *yes* absolutely (*simpliciter*). But if asked, "Did this painter paint a real technique?", we answer *yes* in a qualified sense (*secundum quid*). It would be a logical fallacy to claim that because the forgery is "true to Vermeer's technique," the painter is therefore an "honest man." Aristotle applies this exact logic to the speaker who says "I am lying": 1. The speaker utters a statement that is true in a restricted respect (*secundum quid*): namely, the meta-level accuracy of describing their own current act of deception. 2. The fallacy occurs when the listener strips away that implicit qualification and claims the speaker is telling the truth *simpliciter* (absolutely). According to Aristotle, the sentence "I am lying" does not possess a full-fledged truth-value. The liar is telling the truth *about lying*, but they are not telling a truth *simpliciter*. Because the premise lacks an unqualified truth-value, the paradox cannot even get off the ground. ## Dialectical Context: Pragmatics over Formal Semantics Unlike Tarski’s semantic approach, which operates on static formal systems, Aristotle’s logic was deeply tied to *dialectic*—the live, adversarial game of oral debate outlined in the [*Topics*](https://plato.stanford.edu/entries/aristotle-logic/). In a classical Greek dialectical contest, every proposition required an explicit subject, a predicate, and a context defined by the interlocutors. For Aristotle, truth is not an abstract relation between a isolated sentence and a state of affairs; it is an action performed by a speaker within a discourse. The sentence "I am lying" fails because it attempts to predicate falsity without a substantive object language predicate. It is an incomplete speech act. By treating the utterance as a pragmatic failure rather than a logical impossibility, Aristotle neutralized the paradox before it could threaten his core logical axiom: the Principle of Non-Contradiction detailed in Book Gamma of the [*Metaphysics*](https://plato.stanford.edu/entries/aristotle-noncontradiction/). ## The Tension: Aristotelian Pragmatics vs. Tarskian Formalism Aristotle's solution introduces a productive tension with modern formal logic: - **The Tarskian View**: Treats the Liar Paradox as a structural catastrophe inherent to semantically closed languages, requiring syntactic hierarchies (Object Language vs. Metalanguage) to fix. - **The Aristotelian View**: Treats the Liar Paradox as a linguistic illusion born from sloppy grammar and dialectical misuse. Truth is anchored to context; strip away the context, and you are left with nonsense, not a paradox. While Tarski provided the rigorous mathematical foundation necessary for modern computer science and formal semantics, Aristotle’s *secundum quid* diagnosis foreshadowed modern pragmatic solutions to logical paradoxes, such as contextualism and speech-act theory, proving that classical philosophy had its own sophisticated defenses against semantic chaos.