Every chain of justification ends in one of three failures: it runs forever, it circles back, or it stops on an assumption nobody justified.
1The problem it solves
Epistemology needed to say what makes a belief justified. Every proposed answer took the same grammatical form: belief B is justified because of reason R. The trilemma shows that this form of answer can never be completed. It is not a puzzle about some odd class of beliefs — it is a structural fact about the shape of justification itself, which is why it works as the organising problem of the field rather than as one topic within it.
2The idea
Push any justification and the chain must do one of three things. It can extend without end, each reason needing a further reason, so that nothing is ever actually established. It can loop, eventually resting on something it was supposed to be supporting. Or it can halt at a proposition you decline to justify further.
The three are exhaustive. A chain of reasons is either infinite, closed, or terminated — there is no fourth topology. That exhaustiveness is what gives the argument its force: you cannot escape by being cleverer, only by choosing which failure to live with and then arguing that it is not really a failure.
This is why the major positions in epistemology line up so neatly against the three horns. They are not independent theories that happen to disagree; they are the three available responses to one argument, plus two refusals to play.
3Origin & context
Hans Albert, Traktat über kritische Vernunft (1968), named for Baron Münchhausen, who claimed to have hauled himself out of a swamp by his own hair. Albert did not intend a neutral puzzle: he built it as a weapon for Popper's critical rationalism against justificationism, the assumption that beliefs need justifying at all. The ancient ancestor is the modes of Agrippa, recorded by Sextus Empiricus around 200 CE — the same three horns, aimed at producing suspension of judgment rather than a theory of justification.
4Canonical example
Why is this rule justified? Because it reduces harm. Why does reducing harm justify a rule? Because… and now you are on one of the three horns.
5Objections & replies
Objection. It assumes justificationism. If beliefs do not need justification, the argument never starts.
Reply. Albert agrees — that is the point, not a refutation. But dropping justificationism has its own bill to pay: you must then explain why it is rational to rely on theories that have merely survived criticism, which looks like justification returning under a new name.
Objection. Foundationalism already answers it. Some beliefs are self-justifying, so the third horn is not a failure.
Reply. The trilemma does not deny that such beliefs might exist. It forces you to say which ones qualify and on what criterion — and that criterion then faces the same problem, which is the problem of the criterion.
Objection. In practice nobody demands endless justification. We stop when it is reasonable to stop.
Reply. That is horn three with the arbitrariness relabelled as reasonableness. Contextualism makes the relabelling respectable, but 'reasonable to whom, by what standard' puts you back at the start.
6Don't confuse it with
The problem of the criterion
Closely related, genuinely different. The trilemma concerns the structure of a justification chain. The criterion problem concerns validating the standard you use to judge chains. You can accept one and still owe an answer to the other.
Infinite regress arguments in general
Regress is only one of the three horns. Using 'infinite regress' as shorthand for the whole trilemma discards two thirds of the argument, and the two discarded horns are the ones most people actually take.
Scepticism
The trilemma does not conclude that we know nothing. It constrains what a theory of justification can look like. Every major school accepts the argument and then makes a choice.
7Common mistakes
- Treating it as an argument for scepticism rather than as a constraint on theories of justification.
- Assuming the dogmatic stop is always illegitimate. Axioms are chosen stops, and choosing them openly is how mathematics works.
- Believing Bayesian priors escape it. The problem of the priors is the same trilemma in probabilistic dress.
8In your work
Every model you build rests on axioms nobody derived. That is the third horn, adopted deliberately — and that is fine. The question is never whether there are undefended assumptions but whether yours are declared, load-bearing, and stress-tested.
9Check yourself
A colleague defends a modelling assumption with “that's just standard in the literature.” Which horn is that, and what is the right follow-up question?
Show answer
Horn three — a dogmatic stop with the arbitrariness hidden behind convention. The follow-up: what did the literature's own stop rest on, and has anyone tested whether the result is sensitive to it? Convention does not remove an unjustified assumption; it converts it into an unexamined one, which is worse because nobody now feels responsible for it.
هر زنجیرهٔ توجیه به یکی از سه شکست میرسد: تا بینهایت ادامه مییابد، به خود بازمیگردد، یا روی فرضی میایستد که کسی توجیهش نکرده است.
1مسئلهای که حل میکند
معرفتشناسی میبایست بگوید چه چیزی یک باور را موجه میکند. هر پاسخِ پیشنهادی همان صورتِ دستوری را داشت: باورِ ب موجه است بهسببِ دلیلِ د. سهراهی نشان میدهد که این صورتِ پاسخ هرگز کامل نمیشود. این معمایی دربارهٔ دستهای عجیب از باورها نیست — واقعیتی ساختاری دربارهٔ خودِ شکلِ توجیه است، و به همین دلیل بهجای آنکه یک موضوع در میان موضوعات باشد، مسئلهٔ سازماندهندهٔ این رشته است.
2ایدهٔ اصلی
هر توجیهی را که پیش برانید، زنجیره باید یکی از سه کار را بکند. میتواند بیپایان ادامه یابد، چنانکه هر دلیل دلیلی دیگر بطلبد و در نتیجه هیچگاه چیزی واقعاً اثبات نشود. میتواند حلقه بزند و سرانجام بر چیزی تکیه کند که قرار بود پشتیبانیاش کند. یا میتواند بر گزارهای بایستد که از توجیهِ بیشترش سر باز میزنید.
این سه، همهٔ حالتها را دربر میگیرند. زنجیرهٔ دلایل یا نامتناهی است، یا بسته، یا پایانیافته — توپولوژیِ چهارمی وجود ندارد. همین جامعیت است که به استدلال نیرو میبخشد: با زیرکیِ بیشتر نمیتوان گریخت، تنها میتوان برگزید که با کدام شکست زندگی کنید و سپس استدلال کنید که در واقع شکست نیست.
به همین دلیل مواضعِ اصلیِ معرفتشناسی چنین منظم در برابر این سه شاخ صف میبندند. آنها نظریههایی مستقل نیستند که اتفاقاً با هم اختلاف داشته باشند؛ سه پاسخِ در دسترس به یک استدلالاند، بهعلاوهٔ دو امتناع از بازی.
3خاستگاه و زمینه
هانس آلبرت، رسالهٔ عقلِ نقدی (۱۹۶۸)، نامگرفته از بارون مونشهاوزن که ادعا میکرد خود را با کشیدنِ موهایش از باتلاق بیرون کشیده است. آلبرت معمایی بیطرف در نظر نداشت: آن را سلاحی ساخت برای عقلگراییِ نقدیِ پوپر در برابرِ توجیهگرایی، یعنی این فرض که باورها اصلاً به توجیه نیاز دارند. نیای باستانیِ آن، «وجوهِ آگریپا» است که سکستوس امپیریکوس حدود سال ۲۰۰ میلادی ثبت کرده — همان سه شاخ، اما با هدفِ تعلیقِ حکم، نه ساختنِ نظریهای دربارهٔ توجیه.
4مثالِ کلاسیک
چرا این قاعده موجه است؟ چون آسیب را کم میکند. چرا کمکردن آسیب یک قاعده را موجه میسازد؟ چون… و اکنون شما روی یکی از آن سه شاخ ایستادهاید.
5اعتراضها و پاسخها
اعتراض. توجیهگرایی را مفروض میگیرد. اگر باورها به توجیه نیاز نداشته باشند، استدلال اصلاً آغاز نمیشود.
پاسخ. آلبرت موافق است — و این نکتهٔ اوست، نه ردیهای بر او. اما کنارگذاشتنِ توجیهگرایی هزینهٔ خود را دارد: آنگاه باید توضیح دهید چرا اتکا به نظریههایی که صرفاً از نقد جان به در بردهاند عقلانی است، و این شبیهِ بازگشتِ توجیه با نامی تازه است.
اعتراض. مبناگرایی از پیش پاسخ داده است. برخی باورها خودموجهاند، پس شاخ سوم شکست نیست.
پاسخ. سهراهی وجودِ چنین باورهایی را انکار نمیکند. شما را وادار میکند بگویید کدام باورها واجد شرطاند و با چه معیاری — و آن معیار خود با همین مشکل روبهرو میشود، که همان مسئلهٔ معیار است.
اعتراض. در عمل هیچکس توجیهِ بیپایان نمیخواهد. آنجا که معقول است میایستیم.
پاسخ. این همان شاخ سوم است که دلبخواهیبودنش «معقولیت» نام گرفته. زمینهگرایی این نامگذاری را محترم میکند، اما «معقول برای چه کسی و با چه معیاری» شما را به نقطهٔ آغاز بازمیگرداند.
6با اینها اشتباه نگیرید
مسئلهٔ معیار
بسیار نزدیک و واقعاً متفاوت. سهراهی به ساختارِ زنجیرهٔ توجیه مربوط است. مسئلهٔ معیار به اعتبارسنجیِ استانداردی که با آن زنجیرهها را داوری میکنید. میتوانید یکی را بپذیرید و همچنان به دیگری بدهکار باشید.
استدلالهای تسلسل بهطور کلی
تسلسل تنها یکی از سه شاخ است. بهکاربردنِ «تسلسل» بهجای کلِ سهراهی، دوسومِ استدلال را دور میریزد، و آن دو شاخِ دورریخته همانهاییاند که بیشترِ مردم واقعاً برمیگزینند.
شکاکیت
سهراهی نتیجه نمیگیرد که هیچ نمیدانیم. محدود میکند که نظریهٔ توجیه چه شکلی میتواند داشته باشد. هر مکتبِ بزرگ این استدلال را میپذیرد و سپس دست به انتخاب میزند.
7خطاهای رایج
- برداشتِ آن بهعنوان استدلالی به سودِ شکاکیت، بهجای محدودیتی بر نظریههای توجیه.
- این پندار که توقفِ جزمی همیشه نامشروع است. اصولِ موضوعه توقفهایی برگزیدهاند و برگزیدنِ آشکارِ آنها همان کاری است که ریاضیات میکند.
- این باور که احتمالاتِ پیشینِ بیزی از آن میگریزند. «مسئلهٔ پیشینها» همان سهراهی است در جامهٔ احتمال.
8در کارِ شما
هر مدلی که میسازید بر اصولی موضوعه استوار است که کسی آنها را استنتاج نکرده. این همان شاخ سوم است که آگاهانه پذیرفته شده — و اشکالی ندارد. پرسش هرگز این نیست که «آیا فرض بیدلیل وجود دارد؟» بلکه این است که آیا فرضهای شما اعلام شدهاند، بار میکِشند و آزموده شدهاند؟
9خودآزمایی
همکاری از یک فرضِ مدلسازی چنین دفاع میکند: «این در ادبیاتِ موضوع استاندارد است.» این کدام شاخ است و پرسشِ درستِ بعدی چیست؟
نمایش پاسخ
شاخ سوم — توقفی جزمی که دلبخواهیبودنش پشتِ عرف پنهان شده. پرسشِ بعدی: توقفِ خودِ آن ادبیات بر چه چیزی استوار بود، و آیا کسی آزموده که نتیجه به آن حساس است یا نه؟ عرف، فرضِ توجیهنشده را حذف نمیکند؛ آن را به فرضی بررسینشده بدل میکند، و این بدتر است چون دیگر هیچکس خود را مسئولش نمیداند.