The no-false-lemmas repair says a justified true belief is knowledge only if its justification does not depend on any false intermediate premise.
1The problem it solves
The original Gettier cases manufacture luck by starting with a justified false belief and validly deriving a true conclusion. The natural repair is therefore to ban false steps in the justificatory route. The proposal matters because its failure reveals that Gettier luck is deeper than simply reasoning from a false premise.
2The idea
The first repair attempt: add a fourth condition requiring that the belief not depend on any false intermediate premise. In many Gettier cases the reasoning does pass through something false on its way to something true.
3Origin & context
The repair is associated with early post-Gettier responses including Michael Clark and Gilbert Harman. It directly targets the mechanism in Gettier’s two original examples. Later cases—especially fake-barn cases—show that a belief can be Gettiered even when no false lemma appears in the person’s reasoning.
4Objections & replies
Objection. Barn-facade cases contain no false lemma, yet the true belief still seems lucky.
Reply. That is widely treated as decisive against no-false-lemmas as a complete analysis. A defender can retain it as a necessary anti-luck constraint in some cases, but it cannot be the missing fourth condition by itself.
Objection. What counts as a lemma in ordinary non-deductive reasoning is often unclear.
Reply. Exactly. The proposal fits neat inferential chains better than perception or testimony. More general approaches therefore shift from the truth of intermediate beliefs to modal relations such as safety or to the reliability of the belief-forming process.
5Don't confuse it with
No false beliefs
The proposal does not require an agent to have no false beliefs anywhere. It concerns false propositions that do essential justificatory work for this particular belief.
Safety
No-false-lemmas examines the actual route of reasoning. Safety asks whether the belief would easily have been false in nearby possible situations, including cases with no false premise.
6Common mistakes
- Assuming removing every explicit false premise removes all epistemic luck.
- Applying the condition to irrelevant false beliefs in the agent’s background rather than to the justificatory route.
7In your work
A usable audit rule: trace whether any step in a chain is false even though the conclusion happens to hold.
8Check yourself
You identify a real barn in a county full of fake barn facades. Your visual belief uses no false premise. Why does no-false-lemmas still fail to deliver knowledge?
Show answer
Because the luck is environmental, not inferential. You could easily have looked at a facade and formed the same belief. The actual reasoning contains no false lemma, yet the belief remains accidentally true.
ترمیمِ «بدون مقدمهٔ کاذب» میگوید باورِ صادقِ موجه فقط وقتی معرفت است که توجیهش به هیچ مقدمهٔ میانیِ کاذبی وابسته نباشد.
1مسئلهای که حل میکند
مواردِ اصلیِ گتیه شانس را با شروع از باوری موجه اما کاذب و استنتاجِ معتبرِ نتیجهای صادق میسازند. پس ترمیمِ طبیعی این است که گامهای کاذب را از مسیرِ توجیه ممنوع کنیم. اهمیتِ شکستِ این پیشنهاد در آن است که نشان میدهد شانسِ گتیه عمیقتر از صرفِ استدلال از مقدمهٔ کاذب است.
2ایدهٔ اصلی
نخستین کوششِ ترمیم: شرط چهارمی بیفزایید مبنی بر اینکه باور نباید بر هیچ مقدمهٔ میانیِ کاذبی تکیه داشته باشد. در بسیاری از موارد گتیه، استدلال در مسیر رسیدن به امری صادق، از امری کاذب میگذرد.
3خاستگاه و زمینه
این ترمیم با پاسخهای اولیهٔ پس از گتیه، از جمله مایکل کلارک و گیلبرت هارمن، پیوند دارد. مستقیماً سازوکارِ دو مثالِ اصلیِ گتیه را هدف میگیرد. مواردِ بعدی — بهویژه نماهای انبار — نشان میدهند باور میتواند گتیهای باشد حتی اگر هیچ مقدمهٔ کاذبی در استدلالِ شخص نباشد.
4اعتراضها و پاسخها
اعتراض. در موردِ نماهای انبار هیچ مقدمهٔ کاذبی نیست، اما باورِ صادق همچنان خوششانس به نظر میرسد.
پاسخ. این معمولاً علیه این شرط بهعنوان تحلیلِ کامل قاطع دانسته میشود. مدافع میتواند آن را بهعنوان قیدی لازم در بعضی موارد نگه دارد، اما بهتنهایی شرطِ چهارمِ گمشده نیست.
اعتراض. در استدلالِ عادی و غیراستنتاجی معلوم نیست اصلاً چه چیزی «مقدمه» محسوب میشود.
پاسخ. دقیقاً. پیشنهاد با زنجیرههای استنتاجیِ مرتب بهتر کار میکند تا با ادراک یا گواهی. به همین دلیل رویکردهای عمومیتر به روابطِ وجهی مانند ایمنی یا اعتمادپذیریِ فرایندِ تولیدِ باور منتقل میشوند.
5با اینها اشتباه نگیرید
نداشتنِ هیچ باورِ کاذب
شرط نمیگوید عامل در کل هیچ باورِ کاذبی نداشته باشد. فقط به گزارههای کاذبی مربوط است که در توجیهِ همین باور نقشِ ضروری دارند.
ایمنی
«بدون مقدمهٔ کاذب» مسیرِ واقعیِ استدلال را میسنجد. ایمنی میپرسد آیا باور در موقعیتهای ممکنِ نزدیک بهآسانی کاذب میشد، حتی اگر هیچ مقدمهٔ کاذبی وجود نداشته باشد.
6خطاهای رایج
- فرضکردنِ اینکه حذفِ هر مقدمهٔ صریحِ کاذب تمامِ شانسِ معرفتی را حذف میکند.
- اعمالِ شرط به باورهای کاذبِ نامرتبط در پسزمینهٔ عامل، نه به مسیرِ توجیهِ همین باور.
7در کارِ شما
یک قاعدهٔ کاربردی برای بازبینی: ردیابی کنید که آیا گامی در زنجیره کاذب است، هرچند نتیجه اتفاقاً درست درآمده باشد.
8خودآزمایی
در منطقهای پر از نمای انبار، اتفاقاً به یک انبارِ واقعی نگاه میکنید. باورِ دیداریتان هیچ مقدمهٔ کاذبی ندارد. چرا شرطِ «بدون مقدمهٔ کاذب» هنوز معرفت را تضمین نمیکند؟
نمایش پاسخ
چون شانس محیطی است، نه استنتاجی. بهآسانی میتوانستید به نمایی جعلی نگاه کنید و همان باور را بسازید. مسیرِ واقعی هیچ مقدمهٔ کاذبی ندارد اما باور همچنان تصادفاً صادق است.