Agrippa’s Trilemma (Münchhausen Trilemma)
Agrippa’s trilemma — also known as the Münchhausen trilemma — is an epistemological thought experiment intended to demonstrate the theoretical impossibility of proving any truth, even in logic and mathematics, without appealing to accepted assumptions. It is named after the ancient Greek skeptic Agrippa (reported by Sextus Empiricus and Diogenes Laërtius) and, in its modern German formulation, after the legendary Baron Münchhausen, who supposedly pulled himself out of a swamp by his own hair. The trilemma is the classic statement of the regress problem in the theory of justification. 1
A Simplifying Introduction
Suppose you want to prove some claim P is true. You supply a proof. But then: how do you know the proof is sound? You need a proof of that too. And so on, forever. At some point the chain of justification must end — and there are exactly three ways it can, none of them satisfactory:
- Circular argument — the proof of P presupposes P itself (begging the question). No real justification is given.
- Infinite regress — each proof requires a further proof, ad infinitum. No foundation is ever reached.
- Dogmatism — the chain stops at an assertion that is merely accepted: self-evidence, common sense, axioms, “ex cathedra” pronouncements. Reason is abandoned at that point.
The trilemma is the claim that these three options exhaust the possibilities, and all three “violate reason” in some way. Like Münchhausen pulling himself from the mire, any attempt to justify all of knowledge must fail because it cannot get a foothold from a position of no knowledge at all. 1
Historical Lineage
- Agrippa the Skeptic (1st c. CE) — the argument was attributed to him; Sextus Empiricus reports it as part of the five modes of Pyrrhonian skepticism (of which the regress and circularity modes are the core of the trilemma).
- Jakob Friedrich Fries (19th c.) — formulated a similar trilemma (dogmatism / infinite regress / psychologism, i.e., grounding in perceptual experience). Popper attributed the problem to Fries, so it is sometimes called Fries’s trilemma.
- Karl Popper — used the trilemma (as “dogmatism vs. infinite regress vs. psychologism”) and proposed critical rationalism as a way to avoid it: an intermediate approach incorporating some dogmatism, some infinite regress, and some perceptual experience.
- Hans Albert (1968) — coined the name “Münchhausen-Trilemma” in Traktat über kritische Vernunft (Treatise on Critical Reason), giving the classic formulation quoted below. 1
Hans Albert’s Formulation
All three possible attempts to obtain certain justification fail: 1
- Infinite regression — justifications must justify their own means of justification, requiring further justification without end. Not practically feasible, and provides no certain foundation.
- Logical circle — in the need to found, one falls back on statements that had already appeared as requiring a foundation. The circle yields no certain foundation either.
- Break of searching (dogmatism) — stopping at self-evidence, common sense, or fundamental principles. Principally feasible, but means “a random suspension of the principle of sufficient reason.”
Albert stressed the trilemma is not limited to deductive reasoning: it applies equally to inductive, causal, transcendental, and all other forms of justification. His conclusion: certain justification is impossible. Once the classical ideal of certain knowledge is given up, one may stop the process of justification where one wants — provided one is ready to engage in critical thinking, always anew if necessary. 1
Responses to the Trilemma
In contemporary epistemology, the three horns correspond to three theories of justification:
| Horn | Position | Proponents/Examples |
|---|---|---|
| Circular | Coherentism — justification is holistic; beliefs support each other in a network | Quine, Davidson, BonJour (early) |
| Infinite regress | Infinitism — justification proceeds through an infinite chain of reasons | Klein (Peter Klein’s infinitism) |
| Dogmatism | Foundationalism — basic beliefs are justified without further justification (axioms, perceptual beliefs) | Descartes, Aristotle, Chisholm |
Critical rationalism (Popper, Albert) accepts that certainty is impossible but holds that fallibilism — getting as close as possible to truth while remembering uncertainty — is the best available alternative. The trilemma’s failure to prove any truth does not entail relativism or the dismissal of objectivity. 1
Notably, Albert’s own claim — “certain justification is impossible” — is not itself a certain truth: deriving it already presupposes basic rules of logical inference, which would require justification in turn. He suggested it be taken as true until someone produces a scrupulously justified certain truth.
The Trilemma’s Reach
The trilemma rounds off the classical problem of justification in epistemology. It is connected to:
- The problem of the criterion — how to know what counts as knowledge before knowing anything
- Gödel’s incompleteness theorems — formal limitative results echoing the theme that no system can fully justify itself from within
- The Duhem–Quine thesis — holism about scientific testing
- “What the Tortoise Said to Achilles” (Lewis Carroll) — the regress of inference rules in dialogue form
- Anti-foundationalism — epistemology without sure premises
- Foundherentism (Haack) — combining foundationalist and coherentist elements
Relationship to This Wiki
- humes-argument-against-miracles — Hume’s skepticism about testimony-based knowledge is in the same skeptical lineage (Hume appears among the “Humean” skeptics in the trilemma’s tradition).
- reformed-epistemology — Plantinga’s claim that belief in God is properly basic (warranted without proof) is effectively a dogmatic-horn response to the trilemma, and alvin-plantinga’s epistemology can be read as a sophisticated foundationalism with properly basic beliefs.
- bayesian-apologetics and subjectivity-of-priors — Bayesian justifications must themselves stop somewhere (the priors); the trilemma explains why prior choice is the perennial problem.
- dwindling-probabilities — chains of probabilistic justification face a related regress/instability problem.
- aristotle — Aristotle was a foundationalist: his Posterior Analytics explicitly rejects infinite regress and grounds knowledge in immediate first principles known by nous (intuition). His is the archetypal dogmatic-horn solution.
See Also
- humes-argument-against-miracles — Skeptical critique of testimony-based justification
- subjectivity-of-priors — The regress problem in Bayesian form: priors must be chosen somewhere
- bayesian-apologetics — Justificatory chains applied to theological claims
- reformed-epistemology — The dogmatic-horn response: properly basic beliefs
- dwindling-probabilities — Probabilistic regress in chained arguments
- aristotle — Foundationalism’s archetype: knowledge grounded in immediate first principles
- psychophysical-harmony — Bayesian argument for theism subject to the same prior-probability vulnerabilities
- reasoning-methods — The three classical modes of inference and their justificatory status
References
- Wikipedia (2026). “Münchhausen trilemma”. 1
- Albert, H. (1968). Traktat über kritische Vernunft (Treatise on Critical Reason). Tübingen: J.C.B. Mohr. — English translation: Princeton University Press, 1985.
- Sextus Empiricus. Outlines of Pyrrhonism, Book I. — The five modes of Agrippa.
- Popper, K. (1959). The Logic of Scientific Discovery. — The trilemma attributed to Fries; critical rationalism as response.