Karl Poppers source of knowledge and ignorance

If truth is simply "saying of what is that it is," why did the greatest logicians of the twentieth century treat this definition as a dangerous logical minefield? For over two millennia, Western philosophy rested on Aristotle’s intuitive definition of truth formulated in his [*Metaphysics*](https://plato.stanford.edu/entries/aristotle-metaphysics/): "To say of what is that it is not, or of what is not that it is, is false, while to say of what is that it is, and of what is not that it is not, is true." While this definition seems like common sense, it harbor a fatal vulnerability: it lacks a structural boundary between the language we use to speak about the world and the language we use to speak about language itself. Alfred Tarski’s revolutionary intervention was not just a refinement of Aristotle, but a radical structural rescue. Karl Popper recognized that Tarski did what Aristotle could not: he salvaged the correspondence theory of truth from the devastating paradoxes of self-reference. ## The Semantic Chasm: Truth vs. Criteria The fundamental difference between Aristotle’s classical correspondence and Tarski’s semantic conception lies in the distinction between **definition** and **criterion**. Aristotle conflated the definition of truth with our ability to recognize it. By linking truth to *nous* (intellect) and immediate grasp, Aristotle implied that a true proposition carries a seal of its own validity. This conflation leads directly to the "liar paradox" (e.g., "This statement is false"). If a statement can assert its own truth or falsity within the same level of language, classical logic collapses into contradiction. Tarski solved this by introducing a strict hierarchy of language, detailed in his seminal 1935 paper [*The Concept of Truth in Formalized Languages*](https://link.springer.com/chapter/10.1007/978-94-017-3274-1_8). Tarski argued that truth can never be defined within the language to which it applies (the object language). Instead, we require a richer **metalanguage** to speak about the object language. ```text Object Language: "The moon is made of cheese." Metalanguage: The sentence "The moon is made of cheese" is true if and only if the moon is made of cheese. ``` In Tarski's framework, "true" is a metalinguistic predicate. This structure completely insulates the definition of truth from subjective human psychology. Truth is not an experience of clarity (*nous*); it is a purely structural relationship between two linguistic levels. ## Why Popper Needed Tarski's Objective Anchor Popper’s critical rationalism required a theory of truth that was utterly independent of human belief, justification, or subjective certainty. Before Tarski, subjective idealists and relativists argued that "correspondence to reality" was a meaningless, mystical concept because we can never step "outside" our minds to compare a thought directly with an object. As Popper recounts in [*Objective Knowledge: An Evolutionary Approach*](https://opac.sub.uni-goettingen.de/DB=1/XMLPRS=N/PPN?PPN=013146487), Tarski's metalanguage provided the exact logical machinery to vindicate realism: > "Tarski's greatest achievement... is that he rehabilitated the correspondence theory of absolute or objective truth... He showed that we are free to use the intuitive idea of truth as correspondence to the facts." By framing correspondence as a relation between an object language and a metalanguage, Tarski proved that we can speak objectively about reality without claiming to possess a infallible mechanism for detecting it. For Popper, this created the ultimate philosophical synthesis: **epistemological pessimism** combined with **metaphysical realism**. We can confidently assert that objective truth exists (thanks to Tarski) while simultaneously accepting that our theories are mere conjectures forever subject to refutation.

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.