You can have a belief that is true, and justified, and still not know — because the justification and the truth were connected only by accident.
1The problem it solves
For over two millennia the analysis of knowledge as justified true belief looked secure. It was not really argued for; it was assumed as the obvious starting point. Gettier's three-page paper showed the three conditions are not jointly sufficient, and in doing so created the research programme that has occupied analytic epistemology ever since.
2The idea
The recipe is simple once you see it. Take a belief that is justified but false. Derive from it something that is, by luck, true. The derived belief inherits the justification and gains truth — but the justification is tracking the false premise, not the true conclusion.
The barn facade variant sharpens it without any false premise. You drive through a county where all but one barn-shaped structure is a film-set facade. You happen to look at the genuine one and believe 'that's a barn'. Your eyesight is fine, your belief is true, and had you looked fifty metres earlier you would have believed the same thing and been wrong.
What the cases isolate is epistemic luck. Knowledge requires that being right is not an accident, and JTB does not secure that. Every subsequent proposal — no false lemmas, sensitivity, safety, defeasibility, virtue conditions — is an attempt to specify the missing anti-luck ingredient.
3Origin & context
Edmund Gettier, 'Is Justified True Belief Knowledge?', Analysis (1963) — three pages, two examples, and a career's worth of consequences. Gettier published almost nothing else. Similar cases had appeared in Russell and, much earlier, in medieval Indian and Islamic philosophy, but 1963 is when the problem became a programme.
4Canonical example
Your colleague's estimate is correct, and their method was reasonable — but it was reasonable for a different dataset, and it landed on the right answer by coincidence.
5Objections & replies
Objection. The cases are contrived. Real inquiry does not throw up barn facades, so the problem is an artefact of philosophers' imaginations.
Reply. The structure is not rare at all once you look for it: a method that works for the wrong reason, an indicator that happens to point right, a model correct on this dataset because two errors cancelled. Contrived examples isolate a structure that appears in the wild disguised.
Objection. We could just accept that knowledge is a vague folk concept and stop trying to analyse it.
Reply. Some epistemologists (Williamson) do broadly this, treating knowledge as unanalysable and primitive. But the practical question survives the retreat: you still need to distinguish reliable methods from lucky ones, whatever you call the distinction.
6Don't confuse it with
Being wrong vs. being accidentally right
Gettier cases involve people who are right. That is what makes them interesting. The failure is in the connection between the grounds and the truth, not in the truth.
Justification vs. reliability
In a Gettier case the justification is perfectly good by internalist standards — the person did everything right from the inside. What fails is the external connection. The cases are therefore a strong argument for externalism.
7Common mistakes
- Thinking the fix is simply 'require more justification'. Barn facades show you can have all the justification you like and still be lucky.
- Treating it as a puzzle about words. The anti-luck condition it isolates is what every validation exercise is actually trying to establish.
8In your work
The transferable lesson: a correct conclusion reached by a process that could easily have misfired is not a reliable process. Judge the process, not the outcome, because only the process runs again.
9Check yourself
A model produced the right forecast last quarter because two specification errors happened to cancel. Is that a Gettier case, and what should you do about it?
Show answer
Structurally yes: the output is true, the process was defensible on its face, and the connection between them was accidental. The practical consequence is the important part — the result should not raise your confidence in the model at all, because the mechanism that produced it will not reliably reproduce. This is why Gettier matters outside philosophy: it is the argument for auditing process even when outcomes look good, and especially then.
میتوان باوری داشت که هم صادق است و هم موجه، و باز هم ندانست — چون توجیه و صدق تنها بهتصادف به هم پیوسته بودند.
1مسئلهای که حل میکند
بیش از دو هزار سال، تحلیلِ معرفت بهمثابهٔ باورِ صادقِ موجه استوار مینمود. در واقع برایش استدلال نشده بود؛ بهعنوان نقطهٔ آغازِ بدیهی فرض شده بود. مقالهٔ سهصفحهایِ گتیه نشان داد این سه شرط رویهم کافی نیستند، و با همین کار برنامهٔ پژوهشیای ساخت که از آن پس معرفتشناسیِ تحلیلی را به خود مشغول کرده است.
2ایدهٔ اصلی
دستورش وقتی ببینیدش ساده است. باوری بگیرید که موجه اما کاذب است. از آن چیزی استنتاج کنید که بهاقبال، صادق است. باورِ استنتاجشده توجیه را به ارث میبرد و صدق را به دست میآورد — اما توجیه، مقدمهٔ کاذب را ردیابی میکند نه نتیجهٔ صادق را.
روایتِ «نمای انبار» بدون هیچ مقدمهٔ کاذبی همین را تیزتر میکند. در منطقهای رانندگی میکنید که جز یکی، همهٔ سازههای انبارمانند دکورِ سینماییاند. اتفاقاً به انبارِ واقعی نگاه میکنید و باور میکنید «آن یک انبار است». بیناییتان سالم است، باورتان صادق، و اگر پنجاه متر زودتر نگاه کرده بودید همان را باور میکردید و در اشتباه بودید.
آنچه این موارد جدا میکنند اقبالِ معرفتی است. معرفت اقتضا میکند که درستبودن تصادفی نباشد، و «باور صادقِ موجه» این را تأمین نمیکند. هر پیشنهادِ بعدی — بدون مقدمهٔ کاذب، حساسیت، ایمنی، ابطالپذیری، شرطهای فضیلت — کوششی است برای مشخصکردنِ همان مادهٔ گمشدهٔ ضدِاقبال.
3خاستگاه و زمینه
ادموند گتیه، «آیا باور صادقِ موجه معرفت است؟»، مجلهٔ Analysis (۱۹۶۳) — سه صفحه، دو مثال، و پیامدهایی بهاندازهٔ یک عمر. گتیه تقریباً چیز دیگری منتشر نکرد. موارد مشابه پیشتر نزد راسل و بسیار زودتر در فلسفهٔ هندی و اسلامیِ سدههای میانه آمده بود، اما ۱۹۶۳ لحظهای است که این مسئله به یک برنامه بدل شد.
4مثالِ کلاسیک
برآورد همکارتان درست است و روشش هم معقول بود — اما آن روش برای دادهٔ دیگری معقول بود و تنها بهتصادف به پاسخ درست رسید.
5اعتراضها و پاسخها
اعتراض. این موارد ساختگیاند. پژوهشِ واقعی نمای انبار تولید نمیکند، پس مسئله محصولِ خیالِ فیلسوفان است.
پاسخ. بهمحضِ آنکه دنبالش بگردید میبینید این ساختار اصلاً نادر نیست: روشی که به دلیلِ نادرست کار میکند، شاخصی که اتفاقاً درست را نشان میدهد، مدلی که روی این مجموعهداده درست است چون دو خطا یکدیگر را خنثی کردهاند. مثالهای ساختگی ساختاری را جدا میکنند که در طبیعت با لباسِ مبدل ظاهر میشود.
اعتراض. میتوانیم بپذیریم که «معرفت» مفهومی عرفی و مبهم است و از تحلیلش دست بکشیم.
پاسخ. برخی معرفتشناسان (ویلیامسون) کمابیش همین کار را میکنند و معرفت را تحلیلناپذیر و بسیط میدانند. اما پرسشِ عملی از این عقبنشینی جان به در میبرد: هنوز باید روشهای قابلاتکا را از روشهای خوشاقبال جدا کنید، هر نامی که بر این تمایز بگذارید.
6با اینها اشتباه نگیرید
اشتباهبودن در برابر تصادفاً درستبودن
در موارد گتیه، شخص درست میگوید. جذابیت ماجرا همین است. شکست در پیوندِ میان مبنا و صدق است، نه در خودِ صدق.
توجیه در برابر وثاقت
در موردِ گتیه، توجیه بر پایهٔ معیارهای درونگرایانه کاملاً خوب است — شخص از درون همهچیز را درست انجام داده. آنچه شکست میخورد پیوندِ بیرونی است. پس این موارد استدلالی نیرومند به سودِ برونگراییاند.
7خطاهای رایج
- این پندار که راهحل صرفاً «توجیهِ بیشتر» است. نمای انبار نشان میدهد میتوانید هر اندازه توجیه داشته باشید و باز خوشاقبال باشید.
- برخورد با آن بهمثابهٔ معمایی لفظی. شرطِ ضدِاقبالی که جدا میکند، همان چیزی است که هر تمرینِ اعتبارسنجی در واقع میکوشد برقرارش کند.
8در کارِ شما
درسِ قابل انتقال: نتیجهٔ درستی که از فرایندی به دست آمده که بهآسانی میتوانست خطا کند، فرایندِ قابل اتکایی نیست. فرایند را داوری کنید نه نتیجه را، چون تنها فرایند دوباره اجرا میشود.
9خودآزمایی
مدلی فصلِ گذشته پیشبینیِ درستی داد چون دو خطای مشخصهبندی اتفاقاً یکدیگر را خنثی کردند. آیا این موردِ گتیه است و باید چه کرد؟
نمایش پاسخ
از نظر ساختاری بله: خروجی صادق است، فرایند در ظاهر قابل دفاع بود و پیوندِ میانشان تصادفی. بخشِ مهم پیامدِ عملی است — این نتیجه نباید هیچ اطمینانی به مدل بیفزاید، چون سازوکاری که آن را تولید کرده بهطور قابل اتکا بازتولید نخواهد شد. اهمیتِ گتیه بیرون از فلسفه همین است: استدلالی است برای بازرسیِ فرایند حتی وقتی نتایج خوب بهنظر میرسند، و بهویژه همان وقت.