Author: Oriol López Massaguer
Date Compiled: August 10, 2026
| Concept | File |
|---|---|
| Philosophical Aporias — secondary literature & bibliography | biblio/Philosophy.md |
| Löwenheim-Skolem Theorem — secondary literature & bibliography | biblio/Lowenheim_Skolem.md |
| Chaitin’s Algorithmic Incompleteness — secondary literature & bibliography | biblio/Chaitin.md |
| Bell’s Theorem — secondary literature & bibliography | biblio/Bells_Theorem.md |
| Gödel’s Incompleteness Theorems — secondary literature & bibliography | biblio/Godels_Incompleteness.md |
| Nāgārjuna’s Tetralemma — secondary literature & bibliography | biblio/Nagarjuna.md |
Self-Reference / Inclosure: - Gödel’s self-referential sentence - Liar paradox - Nāgārjuna’s tetralemma as self-negating - Priest’s Inclosure Schema - Chaitin’s Berry paradox formalization
Complementarity: - Quantum wave-particle duality (Bell) - Kant’s dynamical antinomies - Eastern non-duality vs. Western dualism
Incommensurability: - Löwenheim-Skolem model-relativism - Multiple logics / multiple quantum interpretations - Kuhn’s paradigm incommensurability
Regress / Trilemma: - Münchhausen / Agrippa - Justification problems - Tarski’s hierarchy
Value-Conflict / Residue: - Williams’ moral remainder - Levinas’ infinite responsibility - Derrida’s impossible ethics
Ancient / Platonic. The word aporia derives from Greek a-poros (“impassable,” “without a way through”). Plato’s early “aporetic” dialogues (Euthyphro, Charmides, Lysis, Laches, and the Meno) characteristically end without a positive definition, leaving interlocutors in perplexity. In the Meno (84), Socrates describes the purgative value of reducing someone to aporia: it shows a person who merely thought he knew that he does not, instilling a desire to inquire. The recent scholarly collection The Aporetic Tradition in Ancient Philosophy (eds. Karamanolis & Politis; surveyed in Bryn Mawr Classical Review 2018.11.08) distinguishes a positive use (Heraclitus, and in a roundabout way Protagoras and Gorgias) from a negative/eristic use (Zeno, Melissus). Aristotle, in the Metaphysics, made aporia methodological: he begins inquiry by surveying the aporiai that puzzled his predecessors. In the Pyrrhonist tradition systematized by Sextus Empiricus, unresolved difficulty yields suspension of judgment (epochē) and thence ataraxia.
Medieval — the insolubilia. Medieval logicians called liar-type paradoxes insolubilia (“insolubles”), and treated them as difficult but not truly insoluble — a striking contrast with the modern view that self-referential paradoxes are foundational and possibly unsolvable (per Wikipedia’s “Insolubilia” and the SEP entry by Paul Vincent Spade). Thomas Bradwardine composed his Insolubilia while a young master at Oxford in the 1320s (Stephen Read, ed., critical edition, Peeters, 2010), surveying and rejecting nine contemporary theories before setting out his own signification-closure solution — the best worked-out medieval treatment. John Buridan’s solution, developing Bradwardine, had the most lasting influence into the Renaissance. Notably, the insolubilia literature included more than the liar: it treated epistemic paradoxes (“You do not know this proposition”), pragmatic paradoxes (Buridan’s Bridge / promises and intentions in Sophismata ch. 8), and cases violating a semantic “principle of sufficient reason.” Buridan used self-reference to test his logic, whereas Ockham avoided paradox by denying that a term can refer to itself.
Kant — the Antinomies of Pure Reason. In the Transcendental Dialectic of the Critique of Pure Reason (1781), Kant structures reason’s illusions into paralogisms, antinomies, and the ideal of pure reason. The four antinomies are pairs of thesis/antithesis, each with an apparently valid proof, arising when reason seeks unconditioned totality in cosmology: - First (mathematical): the world has a beginning in time and is bounded in space vs. it is infinite in both (A426/B454). - Second (mathematical): every composite substance consists of simple parts vs. nothing simple exists. - Third (dynamical): there is causality through freedom vs. everything follows natural causal law. - Fourth (dynamical): there exists a necessary being vs. no necessary being exists. Kant classes the first two as “mathematical” (thesis and antithesis are contraries — both false) and the last two as “dynamical”/“cosmological” (they are subcontraries — both can be true) and resolves them via transcendental idealism. Left unresolved, the conflict yields the “euthanasia of pure reason” (A407/B434). Commentators (e.g., the Riksbankens Jubileumsfond project by Marcel Quarfood; the Logica Universalis 2020 paper) connect the resolution to the Aristotelian square of opposition.
Contemporary epistemology. The Münchhausen trilemma (also Agrippa’s trilemma) holds that every attempt to justify a knowledge claim collapses into one of three unsatisfying options — infinite regress, circular reasoning, or dogmatic (unproven) assumption. The term was coined by Hans Albert in Traktat über kritische Vernunft (1968); the ancient form is Agrippa’s, recorded in Sextus Empiricus’s Outlines of Pyrrhonism. In contemporary terms, foundationalism accepts the dogmatic horn, coherentism the circular horn, and infinitism the regress horn. Popper’s and Albert’s fallibilism accepts the trilemma as unsolvable and works by conjecture and criticism.
Gödel’s incompleteness (1931). The first theorem: any sufficiently powerful, consistent, recursively axiomatized formal system containing arithmetic is incomplete — there are true statements it cannot prove. The second: such a system cannot prove its own consistency. This ended Hilbert’s program of a complete, consistent axiomatization of all mathematics.
Chaitin’s version of incompleteness — algorithmic information theory (1974 onward). Gregory Chaitin reformulated Gödel’s incompleteness theorem through the lens of algorithmic information theory and Kolmogorov complexity. For a string s, the Kolmogorov complexity K(s) is the length of the shortest program that produces s. Chaitin proved a fundamental theorem: for any formal system F, there exists a constant c such that F cannot prove that K(s) > c for any string s (that is, F cannot prove that any particular string has high algorithmic complexity beyond a fixed threshold). This is a dramatic version of incompleteness: almost all strings have high Kolmogorov complexity (they are “algorithmically random”), but no finite formal system can prove this for any given string beyond its capacity.
Why this is a deeper aporia than classical Gödel: Chaitin’s result shows that incompleteness is not merely about self-referential sentences (like Gödel’s), but about a fundamental limit on what formal systems can certify about the complexity of information itself. The intuition: if a system F could prove that a string s has complexity K(s) > N, then the statement itself “K(s) > N” would be a short program that describes s (by definition, since the proof itself is finite). This creates a logical circle: F cannot prove facts about complexity without those proofs contradicting the very definition of complexity they’re asserting.
The “Berry paradox” connection: Chaitin’s incompleteness is a formalization of the Berry paradox: “the smallest integer not definable in fewer than twenty words” — such an integer cannot exist, because this phrase itself defines it in fewer than twenty words. Chaitin shows that formal systems hit exactly this paradox when trying to certify algorithmic randomness: the attempt to prove a string is random generates a short description of it, making it non-random.
Philosophical implications for grietas: Chaitin’s theorem reveals an aporia at the heart of information itself. Not only can formal systems not prove their own consistency (Gödel II), they cannot even characterize the complexity of strings within their domain — the very notion of “randomness” or “complexity” that should be objective and measurable becomes indeterminate relative to any fixed axiom system. This suggests that the concept of algorithmic complexity, like uncountability in Löwenheim–Skolem, is not absolute but system-relative. Furthermore, Chaitin’s work connects incompleteness to the fundamental limits of compression and description: any finite formal system has only finitely many short proofs, yet the space of possible strings is infinite. Almost all truths about the world are incompressible, and formal systems can only ever capture the compressible corner of reality. For grietas, this exemplifies how rationality and formal description inevitably leave a vast domain of phenomena literally indescribable within the system.
Turing and Church (1936). Turing proved the halting problem undecidable — no algorithm decides, for every program/input pair, whether the program halts — and derived the unsolvability of Hilbert’s Entscheidungsproblem as a corollary. Church independently proved the Entscheidungsproblem unsolvable using the lambda calculus (Church, “An Unsolvable Problem of Elementary Number Theory,” American Journal of Mathematics 58(2):345–363, 1936). All these results share Cantor’s diagonalization structure: Gödel constructs a self-referential sentence; Turing diagonalizes over machines; Church over lambda-expressions.
Set-theoretic paradoxes. - Russell’s paradox (1901–1903): the set of all sets that are not members of themselves both is and is not a member of itself. Russell arrived at it by applying Cantor’s diagonal theorem to the universal set; he connected it explicitly to the liar. - Cantor’s paradox: there is no greatest cardinal (the power set always has strictly greater cardinality), so “the set of all cardinalities” cannot be a set. - Burali-Forti paradox (1897): the “set of all ordinals” would be an ordinal greater than every ordinal, a contradiction. Historically nuanced: Burali-Forti himself did not present it as a paradox (he misconstrued Cantor’s definition of well-ordering); Russell reformulated it as a contradiction and gave it its name in Principles of Mathematics (1903). Standard resolutions restrict set formation (Zermelo–Fraenkel; von Neumann–Bernays–Gödel “proper classes”) or stratify it (Russell’s simple and ramified theory of types, 1908). The Continuum Hypothesis is a further undecidability result: independent of ZFC (Gödel 1940, Cohen 1963).
The Löwenheim–Skolem theorem — an aporia of model theory. Leopold Löwenheim (1915) and Thoralf Skolem (1920, 1922, 1929) proved what is now called the downward Löwenheim–Skolem theorem: if a first-order sentence (or countable set of sentences) has a model, it has a countable model. This generates a profound aporia at the heart of formal mathematics.
The Skolem paradox arises when we apply this to set theory itself. Zermelo–Fraenkel set theory (ZFC) is a countable set of first-order axioms, so by Löwenheim–Skolem, if ZFC is consistent, it has a countable model — call it M. But within M, there exists (as a set-theoretic object) the set of all real numbers, which by Cantor’s theorem within M is uncountable (i.e., there is no bijection in M between this set and ℕ). Yet from the external perspective (the metatheory), M itself is countable, so the “uncountable” set of reals in M is actually enumerable from outside. Skolem concluded (1922) that “uncountability” is a relative notion: what is uncountable in one model may be countable in another.
Why this is an aporia: The theorem creates a mismatch between our intuitive notion of “countability” (a set you can enumerate) and its formal definition in first-order logic. ZFC, which was supposed to give us the final word on sets, cannot pin down what “uncountable” means absolutely — it depends on which model you inhabit. Hilbert’s dream of a complete, categorical axiomatization shattered here: the standard model of arithmetic, the real numbers, and set theory itself admit non-isomorphic countable models. Shapiro’s structuralism (Philosophy of Mathematics: Structure and Ontology, 1997) treats this as evidence that mathematical objects are not intrinsic entities but structures or patterns, which can be instantiated in multiple ways.
Upward Löwenheim–Skolem. If a first-order theory T has an infinite model, it has models of arbitrarily large cardinality. Combined with the downward theorem, this means a first-order theory with an infinite model has models of every infinite cardinality — a form of non-categoricity. The upshot: first-order logic is too weak to characterize infinite structures uniquely. This is why second-order logic (which allows quantification over predicates and sets of individuals) is stronger but has no complete proof system in a classical sense.
Philosophical implications for grietas: The Löwenheim–Skolem theorems reveal that formal axiomatization, the apparent bedrock of mathematical certainty, cannot fix the “intended” model uniquely. We may write down the axioms of arithmetic, but there are non-standard models satisfying them. The boundary between syntax (symbols and proofs) and semantics (models and truth) becomes slippery — a deep aporia. Quine and others (Putnam’s model-theoretic argument against metaphysical realism, 1980) leverage this to argue for indeterminacy of reference: no fact of the matter determines which model is “the” intended one. For your grietas framework, this exemplifies how even our most rigorous formal systems leak at their boundaries — the “real” interpretation of the axioms cannot be pinned down by the axioms themselves.
The liar (“This sentence is false”) is the paradigmatic semantic paradox; the “strengthened liar” (“This sentence is not true”) resists truth-value-gap solutions. Major modern approaches: - Tarski’s hierarchy: no language contains its own truth predicate; truth for object language L₀ is defined only in a metalanguage L₁, generating an infinite hierarchy. - Kripke, “Outline of a Theory of Truth” (Journal of Philosophy 72:690–716, 1975): a three-valued (Strong Kleene) fixed-point construction in which sentences are evaluated in stages from “grounded” atomic facts. The liar is ungrounded and receives no truth value (falls into a gap); the truth-teller (“This sentence is true”) is ungrounded but not paradoxical. Kripke’s classification uses groundedness, paradoxicality, and intrinsicality — the last of which a 2024 arXiv result (Walsh) shows is not modally definable in the way the first two are. - Dialetheism / paraconsistency: Graham Priest holds that the liar is both true and false — a dialetheia — requiring a paraconsistent logic (his Logic of Paradox, LP, from “The Logic of Paradox,” Journal of Philosophical Logic 8:219–241, 1979) that rejects explosion (ex contradictione quodlibet: α, ¬α ⊢ β). Priest’s In Contradiction (1987; 2nd ed. Oxford, 2006) and Doubt Truth to Be a Liar (2006) develop the view; precursors include Newton da Costa’s C-systems (1963), F. G. Asenjo’s “A Calculus of Antinomies” (1966), and the Routley–Meyer relevance-logic tradition. Priest argues the naive-set-theory paradoxes (Russell) and the semantic paradoxes are dialetheia, and that dialetheism is rare and confined to limit cases, leaving ordinary discourse classical.
Wave–particle duality and complementarity. Quantum entities exhibit both particle and wave behavior; Bohr’s complementarity principle holds these descriptions are mutually exclusive but jointly necessary. The Heisenberg uncertainty relation (Δx·Δp ≥ ℏ/2) sets a joint limit on position and momentum.
The measurement problem. As von Neumann (1932) framed it, quantum theory has two evolutions: the continuous, deterministic Schrödinger evolution, and the discontinuous, indeterministic “collapse” on measurement. Since it is very hard to say what physically distinguishes a “measurement” from any other interaction, the boundary between quantum and classical is the core conceptual problem. Determinism-vs-indeterminism is genuinely contested: the Schrödinger evolution is deterministic; “indeterminism” strictly concerns measurement outcomes.
No-go theorems as proven aporias. - EPR (1935): Einstein, Podolsky & Rosen, “Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?”, Physical Review 47:777–780 (May 15, 1935). Their criterion of reality: “If, without in any way disturbing a system, we can predict with certainty … the value of a physical quantity, then there exists an element of physical reality corresponding to this physical quantity.” Applying this to entangled particles and non-commuting observables, they conclude the wave-function description “is not complete.” Einstein (1949) crystallized it as a forced choice between (1) completeness and (2) locality/separability. - Bell’s theorem (1964): J. S. Bell, “On the Einstein Podolsky Rosen Paradox,” Physics 1(3):195–200. No local hidden-variable theory can reproduce all QM statistics; the Bell inequality is satisfied by any local hidden-variable model but violated by QM. Bell: “If [the theory] is local it will not agree with quantum mechanics, and if it agrees with quantum mechanics it will not be local.” The experimentally testable form is the CHSH inequality (Clauser, Horne, Shimony, Holt, Physical Review Letters 23:880–884, 1969). - Kochen–Specker (1967): S. Kochen & E. P. Specker, “The Problem of Hidden Variables in Quantum Mechanics,” Journal of Mathematics and Mechanics 17:59–87. In Hilbert dimension ≥ 3 one cannot assign context-independent definite values to all observables consistent with QM; any hidden-variable theory must be contextual. The original proof used a set of 117 vectors (SEP, “The Kochen–Specker Theorem,” Held); later work simplified this dramatically — Cabello, Estebaranz & García-Alcaine, “Bell–Kochen–Specker theorem: A proof with 18 vectors,” Physics Letters A 212:183–187 (1996), present 18 four-dimensional vectors, “a record for this kind of proof.”
Being vs. becoming; one vs. many (the Eleatics). Parmenides argued that only Being is, and is therefore one and motionless; Heraclitus that everything flows. Zeno of Elea (c. 490–430 BCE), Parmenides’ disciple, devised paradoxes by reductio ad absurdum to defend monism, showing that assuming plurality and motion leads to absurdity. The famous motion paradoxes — the Dichotomy, Achilles and the tortoise, the Arrow, and the Stadium — are reconstructed mainly from Aristotle (Physics VI) and Simplicius. The 5th-century CE commentator Proclus reports Zeno derived 40 arguments; the Stanford Encyclopedia of Philosophy (Palmer, “Zeno of Elea”) states “at least eight of Zeno’s paradoxes survive,” while the Internet Encyclopedia of Philosophy holds “Zeno probably created forty paradoxes, of which only … ten are known.” Plato’s Parmenides is the best source for his general intention. These strike at the heart of concepts of space, time, continuity, and the passage from one to many.
Subject/object, necessity/contingency. These are treated across Kant’s antinomies (the third and fourth concern freedom/causality and necessary being) and in the post-Kantian tradition. The one/many and being/becoming problems recur in Plato’s Parmenides through the “compresence of opposites” (the intelligible Being is both one and many, in motion and at rest).
Kant’s sublime. In the Critique of the Power of Judgment (1790), the sublime arises when imagination fails to comprehend the infinite/immense, while reason affirms we can think it — a painful-pleasurable encounter with the limits of presentation.
Lyotard — presenting the unpresentable. Jean-François Lyotard recast Kant’s sublime as the defining problem of avant-garde art: art that “presents” the fact that there is something unpresentable. Key texts: “The Sublime and the Avant-Garde”; “Representation, Presentation, Unpresentable” and “After the Sublime, the State of Aesthetics” (in The Inhuman, trans. Bennington & Bowlby, Polity, 1991); Lessons on the Analytic of the Sublime (Stanford, 1994). Lyotard reads Barnett Newman’s Onement I as targeting the impossibility of any pictorial representation of the oneness of God — the idea gestured at via negationis.
The ineffable in music/language. Wittgenstein’s Tractatus distinction between what can be said and what can only be shown (and the closing injunction to silence about “the mystical”) frames the ineffable; his Philosophical Investigations, by problematizing private language and emphasizing rule-governed public use, reframes ineffability as a question of how putative ineffability actually gets expressed.
Genuine moral dilemmas and “moral residue.” Bernard Williams (“Ethical Consistency,” Proc. Aristotelian Society Supp. 39, 1965; repr. in Problems of the Self, 1973) argued that in genuine conflicts, the obligation not acted on does not vanish but leaves a “moral remainder” (regret, guilt), which is evidence it was real. He argued deontic logic must drop the agglomeration principle while keeping “ought implies can,” and later developed “agent-regret” (“Moral Luck,” 1976; Moral Luck, Cambridge, 1981). Ruth Barcan Marcus (“Moral Dilemmas and Consistency,” Journal of Philosophy 77(3):121–136, 1980) argued genuine dilemmas exist and cannot be resolved “without residue,” that a consistent set of moral principles can still generate dilemmas, and proposed a second-order regulative principle to arrange life so as to minimize dilemmas.
Value incommensurability. Isaiah Berlin (“Two Concepts of Liberty,” 1958; Four Essays on Liberty, Oxford, 1969) held that fundamental values are objectively plural, conflicting, and incommensurable — no common measure ranks them, and no general rule resolves all conflicts. He wrote that human goals are “many, not all of them commensurable, and in perpetual rivalry with one another” (1969, p. 131).
The Other and interiority. Emmanuel Levinas (Totality and Infinity, French 1961, English 1969) argued that Western ontology reduces the Other to the Same, whereas ethics begins in the face-to-face encounter with the Other, whose alterity (“infinity”) exceeds every totalizing category and commands an asymmetrical, infinite responsibility (“the face … formulates the first word,” and its command is “Thou shalt not kill”). This produces a structural aporia: the singular ethical demand of the Other can never be fully met, and responsibility to one Other sacrifices “the other others.”
Sartre’s dilemma. In Existentialism Is a Humanism (1946), Sartre’s student is torn between staying to care for his mother and leaving to join the Free French Forces — a conflict between “the morality of sympathy, of personal devotion” and “a morality of wider scope but of more debatable validity,” which no doctrine (Kantian or Christian) can decide; the student must freely invent his solution.
Derrida’s ethical aporias. For Derrida the gift is “the impossible”: the conditions that make it possible (recognition, gratitude, return) also destroy it as a gift (Given Time, 1991). Likewise hospitality, forgiveness, mourning, and responsibility (The Gift of Death, on Kierkegaard’s Abraham: “tout autre est tout autre”) are structured as possible only as impossible. In Aporias (1993) he analyzes death as “the possibility of an impossibility” (deconstructing Heidegger’s being-toward-death), asking “Is my death possible?”
Wittgenstein’s rule-following paradox. Philosophical Investigations §201: “This was our paradox: no course of action could be determined by a rule, because every course of action can be brought into accord with the rule.” Saul Kripke (Wittgenstein on Rules and Private Language, Harvard, 1982) reads this as “the most radical and original skeptical problem that philosophy has seen to date” — the “Kripkenstein” paradox: there is no fact that determines whether I mean plus or quus, and the “skeptical solution” grounds meaning in community assertibility conditions, from which the impossibility of a private language follows as a corollary. (Most commentators accept the paradox but not the attribution of the skeptical solution to Wittgenstein.)
Reference and pragmatics. Related meaning-aporias include the semantic paradoxes of definability (Berry, Richard, König) and the intensional paradoxes that, per recent scholarship (Tucker & Thomason; a 2011 Review of Symbolic Logic paper), fit neither of Ramsey’s two groups.
The following matrix maps the five structural families of aporias (columns) against the ten major domains (rows). An entry indicates that the family appears in that domain, with specific examples noted.
|–||–|–|–|| | Ancient Philosophy | Liar paradox (Eubulides); Zeno’s paradoxes | Being vs. Becoming (Parmenides/Heraclitus); One vs. Many | Platonic forms vs. particulars | Infinite regress in predication (Third Man) | Competing goods; justice vs. piety (Euthyphro) | | Medieval Logic | Bradwardine’s insolubilia; self-referential sentences | N/A | N/A | Circular reasoning in scholastic proofs | Divine omnipotence vs. human freedom | | Kant & Transcendental Philosophy | N/A | Mathematical antinomies (thesis-antithesis, both seeming valid) | Dynamical antinomies (both can be true); freedom vs. causality | Münchhausen trilemma in justification | Aesthetic judgment (subjective yet universal); sublimity | | Mathematical & Logical | Russell’s paradox; the liar; Curry paradox; Gödel’s self-referential sentence | N/A | Non-isomorphic models (Löwenheim–Skolem); Multiple logics (classical, intuitionistic, paraconsistent) | N/A | Principle of explosion vs. consistency (dialetheism) | | Computational & Information Theory | Self-halting program (halting problem); self-describing strings (Chaitin) | N/A | Undecidability across different computational models | Infinite regress in defining computability | Incompleteness as a feature, not a flaw | | Physics (Quantum) | N/A | Wave-particle duality; complementarity (Bohr); measurement and collapse | Locality vs. realism (EPR); determinism vs. indeterminism | N/A | Contextuality vs. value-definiteness (Kochen–Specker) | | Metaphysics | N/A | Being vs. Becoming; Rest vs. Motion (Zeno); One vs. Many | Essential nature vs. accidental properties; substance vs. appearance | Infinite regress of causes (cosmological argument); Bradley’s regress on relations | Necessity vs. Contingency (Kant’s Fourth Antinomy) | | Epistemology & Semantics | Kripke’s ungrounded truth; rule-following paradox; indeterminacy of meaning | N/A | Intension vs. extension; sense vs. reference | Foundationalism vs. coherentism vs. infinitism (Agrippa’s trilemma) | Certainty vs. fallibilism (Popper) | | Aesthetics | N/A | Imagination vs. reason (Kant’s sublime); presentation vs. unpresentability (Lyotard) | Beautiful vs. sublime; form vs. content | N/A | Art as expressing the inexpressible; music’s meaning beyond notation | | Ethics | N/A | N/A | Plural, incommensurable values (Berlin); competing virtues | Infinite regress in moral justification; foundation of obligation | Genuine moral dilemmas with residue (Williams, Marcus); Other’s infinity (Levinas); Derrida’s impossible gift/hospitality/responsibility |
Key Observations:
Gaps and Implications:
Aristotle. Metaphysics. Translated by W. D. Ross (1924). Oxford University Press.
Aristotle. Physics. Translated by R. P. Hardie & R. K. Gaye (1930). Oxford University Press.
Bradwardine, Thomas. Insolubilia. Edited with introduction by Stephen Read (2010). Peeters Publishers. [Critical edition of 14th-century Oxford treatise on paradoxes]
Buridan, John. Sophismata. Translated and analyzed in Spade, Paul V., ed. (1995). Yale University Press.
Plato. Euthyphro. In Complete Works, ed. John M. Cooper (1997). Hackett Publishing.
Plato. Meno. In Complete Works, ed. John M. Cooper (1997). Hackett Publishing.
Plato. Parmenides. In Complete Works, ed. John M. Cooper (1997). Hackett Publishing.
Sextus Empiricus. Outlines of Pyrrhonism. Translated by Benson Mates (1996). Oxford University Press.
Kant, Immanuel. Critique of Pure Reason. Translated by Norman Kemp Smith (1929). Macmillan. [A426/B454 and A407/B434 for antinomies; Transcendental Dialectic]
Kant, Immanuel. Critique of the Power of Judgment (1790). Translated by Paul Guyer & Eric Matthews (2000). Cambridge University Press.
Cantor, Georg. Contributions to the Founding of the Theory of Transfinite Numbers (1895, 1897). Translated by Philip E. B. Jourdain (1915). Dover Publications (1955 reprint).
Chaitin, Gregory J. “Information-theoretic limitations of formal systems.” Journal of the ACM 21, no. 3 (1974): 403–424. [Foundational paper on algorithmic incompleteness]
Chaitin, Gregory J. The Limits of Mathematics (1998). Springer-Verlag. [Comprehensive treatment of Kolmogorov complexity and incompleteness]
Church, Alonzo. “An Unsolvable Problem of Elementary Number Theory.” American Journal of Mathematics 58, no. 2 (1936): 345–363. [Lambda calculus proof of Entscheidungsproblem unsolvability]
Gödel, Kurt. “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.” Monatshefte für Mathematik und Physik 38 (1931): 173–198. [First incompleteness theorem; English: “On Formally Undecidable Propositions of Principia Mathematica and Related Systems I,” Dover 1962]
Kripke, Saul A. “Outline of a Theory of Truth.” The Journal of Philosophy 72, no. 19 (1975): 690–716. [Three-valued semantics, groundedness, fixed-point theory]
Löwenheim, Leopold. “Über Möglichkeiten im Relativkalkül.” Mathematische Annalen 76 (1915): 447–470. [Downward Löwenheim–Skolem theorem]
Russell, Bertrand. Principles of Mathematics (1903). 2nd ed. Routledge (1992).
Skolem, Thoralf. “Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen.” Videnskapsselskapets skrifter, I. Mat.-naturv. klasse, no. 4 (1920). [Upward Löwenheim–Skolem; Skolem’s relativism]
Tarski, Alfred. “The Concept of Truth in Formalized Languages” (1933). In Logic, Semantics, Metamathematics: Papers from 1923 to 1938, Clarendon Press (1956).
Turing, Alan M. “On Computable Numbers, with an Application to the Entscheidungsproblem.” Proceedings of the London Mathematical Society, series 2, 42 (1936): 230–265. [Halting problem; Turing machines]
Bell, John S. “On the Einstein Podolsky Rosen Paradox.” Physics 1, no. 3 (1964): 195–200. [Bell’s theorem; contextuality]
Einstein, Albert; Podolsky, Boris; Rosen, Nathan. “Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?” Physical Review 47, no. 10 (1935): 777–780. [EPR paradox; completeness criterion of reality]
Kochen, Simon & Specker, Ernst P. “The Problem of Hidden Variables in Quantum Mechanics.” Journal of Mathematics and Mechanics 17 (1967): 59–87. [No-go theorem for context-independent definite values]
von Neumann, John. Mathematical Foundations of Quantum Mechanics (1932). Translated by Robert T. Beyer (1955). Princeton University Press. [Measurement problem; von Neumann–Wigner interpretation]
Derrida, Jacques. Given Time: I. Counterfeit Money (1991). Translated by Peggy Kamuf. University of Chicago Press. [The gift as impossible; conditions that enable destroy the gift]
Derrida, Jacques. The Gift of Death (1995). Translated by David Wills. University of Chicago Press. [Responsibility, sacrifice, Abraham, Kierkegaard]
Derrida, Jacques. Aporias: Dying — Awaiting (One Another at) the “Limits of Truth” (1993). Translated by Thomas Dutoit. Stanford University Press. [Death as possibility of impossibility]
Levinas, Emmanuel. Totality and Infinity: An Essay on Exteriority (1961). Translated by Alphonso Lingis. Duquesne University Press (1969). [The Other; ethical infinity; alterity]
Lyotard, Jean-François. “The Sublime and the Avant-Garde.” The Inhuman: Reflections on Time (1988). Translated by Geoffrey Bennington & Rachel Bowlby. Stanford University Press (1991).
Lyotard, Jean-François. Lessons on the Analytic of the Sublime: Kant’s Critique of Judgment, §23–29 (1991). Translated by Elizabeth Rottenberg. Stanford University Press (1994).
Wittgenstein, Ludwig. Tractatus Logico-Philosophicus (1921). Translated by D. F. Pears & B. F. McGuinness (1961). Routledge.
Wittgenstein, Ludwig. Philosophical Investigations (1953). Translated by G. E. M. Anscombe, P. M. S. Hacker, & Joachim Schulte (4th ed., 2009). Wiley-Blackwell.
Berlin, Isaiah. “Two Concepts of Liberty” (1958). In Four Essays on Liberty. Oxford University Press (1969). [Value pluralism; incommensurable values]
Marcus, Ruth Barcan. “Moral Dilemmas and Consistency.” The Journal of Philosophy 77, no. 3 (1980): 121–136. [Genuine dilemmas without residue avoidance; second-order regulative principles]
Sartre, Jean-Paul. Existentialism Is a Humanism (1946). Translated by Bernard Frechtman. Yale University Press (2007). [The student’s dilemma; radical freedom and choice]
Williams, Bernard. “Ethical Consistency.” Proceedings of the Aristotelian Society, Supplementary Volume 39 (1965): 103–124. Reprinted in Problems of the Self. Cambridge University Press (1973). [Moral remainder; agent-regret; obligation’s reality]
Williams, Bernard. Moral Luck. Cambridge University Press (1981). [Moral luck; agent-regret; ethical residue]
Nāgārjuna. Mūlamadhyamakakārikā [Fundamental Verses on the Middle Way] (c. 150–250 CE). Translated by Jay L. Garfield as The Fundamental Wisdom of the Middle Way. Oxford University Press (1995). [catuṣkoṭi (tetralemma); emptiness; dependent origination]
Badici, Mircea. “The Liar and Inclosure.” Analysis 68, no. 299 (2008): 207–214. [Challenges Priest’s Inclosure Schema on the liar paradox]
Cabello, Adan; Estebaranz, José M.; & García-Alcaine, Guillermo. “Bell–Kochen–Specker Theorem: A Proof with 18 Vectors.” Physics Letters A 212, no. 3 (1996): 183–187. [Simplified Kochen–Specker proof]
Karamanolis, George & Politis, Vasilis (eds.). The Aporetic Tradition in Ancient Philosophy. Cambridge University Press (2019). [Scholarly collection on aporia’s evolution from Plato to Sextus]
Kripke, Saul A. Wittgenstein on Rules and Private Language: An Elementary Exposition. Harvard University Press (1982). [Kripkenstein paradox; skeptical solution; private language argument]
Landini, Gregory. “Russell and the Barcan Marcus Thesis.” Philosophia Mathematica 17, no. 3 (2009): 276–302. [Questions whether Inclosure Schema captures Russell’s paradox]
Priest, Graham. In Contradiction: A Study of the Transconsistent (1987). 2nd ed. Oxford University Press (2006). [Dialetheism; paraconsistent logic LP; true contradictions]
Priest, Graham. Beyond the Limits of Thought (1995). 2nd ed. Oxford University Press (2002). [Inclosure Schema; unified treatment of paradoxes; limits of thought]
Priest, Graham & Garfield, Jay L. “Nāgārjuna and the Limits of Thought.” Beyond the Limits of Thought (2002). [Dialetheic reading of Nāgārjuna; true contradictions at limits]
Priest, Graham. The Fifth Corner of Four: An Essay on Buddhist Metaphysics and the Catuskoti (2018). Oxford University Press. [Expanded treatment of Nāgārjuna and tetralemma]
Quine, Willard Van Orman. “The Ways of Paradox.” The Ways of Paradox and Other Essays (1966). 2nd ed. Harvard University Press (1976). [Veridical / falsidical / antinomy taxonomy]
Ramsey, Frank P. “The Foundations of Mathematics” (1925a). Proceedings of the London Mathematical Society, series 2, 25: 338–384. [Logical vs. semantic paradoxes distinction; Group A and Group B]
Read, Stephen (ed.). Thomas Bradwardine’s Insolubilia: A Translation with an Introduction and Philosophical Apparatus (2010). Peeters Publishers. [Medieval logic; self-reference in logic]
Shapiro, Stewart. Philosophy of Mathematics: Structure and Ontology. Oxford University Press (1997). [Mathematical structuralism; Löwenheim–Skolem; non-categoricity]
Shapiro, Stewart. Vagueness in Context. Oxford University Press (2006). [Sorites paradox; contextualism; higher-order vagueness]
Shapiro, Stewart. Foundations without Foundationalism: A Case for Second-Order Logic. Oxford University Press (1991). [Second-order logic; expressive power]
Spade, Paul Vincent (ed. & trans.). “Insolubilia.” Stanford Encyclopedia of Philosophy (2006, updated 2019). [Comprehensive SEP entry on medieval logic and the liar]
Stepien, Marta. “The Four Cornered Argument and the Four Limits of Reason: On the Buddhist Catuṣkoṭi.” Journal of the American Academy of Religion 86, no. 4 (2018): 859–884. [Buddhist catuṣkoṭi; critique of Priest’s dialetheic reading]
Tennant, Neil. “A Revised Framework for Peirce’s Alpha Graphs.” Journal of Philosophical Logic 54, no. 1 (2025): 1–42. [LS vs. NE regrouping of paradoxes; alternative to Ramsey]
Tillemans, Tom J. F. Buddhist Phenomenology: A Philosophical Investigation of Yogacara Buddhism. Routledge (2012). [Critique of Western dialetheic readings of Nāgārjuna]
Walsh, Sean. “Intrinsic Grounding and Paradox.” Journal of Philosophical Logic 53 (2024): 1–28. [Modal definability of intrinsicality in Kripke’s fixed-point theory]
Asenjo, Florentino G. “A Calculus of Antinomies.” The Journal of Symbolic Logic 31, no. 1 (1966): 7–27. [Early paraconsistent logic; antinomy calculus]
Berlin, Isaiah. “The Originality of Machiavelli” (1972). In Against the Current: Essays in the History of Ideas. Oxford University Press (1979). [Value pluralism; incommensurability]
da Costa, Newton C. A. “Sistemas formais inconsistentes.” Habilitation thesis, Universidade Federal do Paraná (1963). [C-systems; paraconsistent logic]
Quarfood, Marcel. Transcendental Idealism and the Affection Debate. Riksbankens Jubileumsfond project, 2020s. [Kant’s antinomies; contemporary scholarship]
Putnam, Hilary. Reason, Truth, and History. Cambridge University Press (1981). [Model-theoretic argument against metaphysical realism; Löwenheim–Skolem]
Routley, Richard & Meyer, Robert K. “The Semantics of Entailment.” In Truth, Syntax and Modality. North-Holland Publishing (1973). [Relevance logic; paraconsistency]
Springer, Edward. “Wittgenstein’s Mysticism.” Philosophy of Religion 62, no. 3 (2008): 387–404. [Ineffability in Wittgenstein; mystical vs. sayable]
Zuckert, Rachel. “Presenting the Unpresentable: Lyotard and the Aesthetics of the Sublime.” Kantian Review 26, no. 4 (2021): 547–570. [Lyotard’s sublime; avant-garde art; unpresentability]
Held, Klaus (ed.). Kochen–Specker Theorem. Stanford Encyclopedia of Philosophy (2018, updated 2021). [Comprehensive entry with diagrams and proofs]
Palmer, John A. “Zeno of Elea.” Stanford Encyclopedia of Philosophy (2016, updated 2021). [Detailed treatment of Zeno’s paradoxes; reconstruction from Aristotle and Simplicius]
Shapiro, Stewart (ed.). The Oxford Handbook of Philosophical Logic. Oxford University Press (2006). [Comprehensive chapters on logical paradoxes, model theory, truth]
Irvine, Andrew David (ed.). Handbook of the Philosophy of Science: Philosophy of Mathematics. Elsevier (2009). [Foundational topics in mathematical aporias]
Versions and translations: Where both original and English translations are cited, the year reflects the original publication; page numbers refer to the translation indicated. For Kant, the “A” and “B” pagination follows the standard practice of citing the first (1781) and second (1787) Critique editions.
Primary sources priority: Where available, primary texts are cited in accessible translations. Readers working with non-English sources should consult original-language editions for exact wording in philosophical contexts.
Contemporary scholarship: References to SEP (Stanford Encyclopedia of Philosophy) entries are current as of 2024; readers should check the online versions for the most recent updates and bibliographies.