Theories can never be verified by evidence, only refuted by it — so a claim is scientific to the degree that it forbids things and risks being wrong.
1The problem it solves
Hume had shown that no number of observations can establish a universal claim. The logical positivists tried to live with this by making verification the criterion of meaning, which quietly excluded most of physics. Popper's move was to stop trying to solve the problem of induction and instead route around it: if confirmation is impossible but refutation is not, build the whole method on refutation.
2The idea
The asymmetry is the engine. 'All swans are white' cannot be established by any finite number of white swans, because the next one might differ. But a single black swan settles it, conclusively, by simple logic — this is modus tollens applied to a universal statement.
From that asymmetry everything else follows. A good theory is not one that fits the evidence, since a vague theory fits everything. A good theory forbids a great deal: it makes risky predictions that could easily have failed. Science advances not by accumulating support but by eliminating error, and a theory that has survived severe testing is not thereby probable — it is merely still standing.
3Origin & context
Karl Popper, Logik der Forschung (1934), later Conjectures and Refutations (1963). The target was twofold: the Vienna Circle's verificationism, and what Popper saw as the unfalsifiable ambitions of Marxism and psychoanalysis, which could accommodate any outcome. His formative contrast was Einstein, who had specified in advance an observation that would have destroyed his theory.
4Canonical example
No number of white swans establishes “all swans are white”. One black swan settles it, permanently.
5Objections & replies
Objection. Duhem–Quine: no hypothesis is ever tested alone, so a failed test never identifies which element of the bundle is false. Falsification is not the clean logical operation it appears to be.
Reply. Popper acknowledged this and responded with methodological rules — do not rescue a theory with ad hoc adjustments — but rules are not logic. This objection is generally taken as decisive against falsifiability as a demarcation criterion, while leaving it intact as a research discipline.
Objection. Scientists do not in fact abandon theories on a single refutation, and they are right not to. Kuhn's history shows anomalies are absorbed for decades.
Reply. Correct as description, and Lakatos built the repair: judge programmes over time by whether their adjustments generate new confirmed predictions. That preserves Popper's insight while matching what scientists actually do.
Objection. If corroboration gives no reason to rely on a theory, why fly in aeroplanes designed with corroborated physics?
Reply. This is the sharpest objection and Popper never fully answered it. He offered 'preference for the best-tested theory' as a pragmatic rather than epistemic recommendation, which many read as justification smuggled back in.
6Don't confuse it with
Falsifiable vs. falsified vs. false
A falsifiable theory is one that could be shown wrong. That is a virtue, not a defect. Calling a claim falsifiable is praise; people routinely hear it as an accusation.
Verification vs. corroboration
Corroboration reports a survival record. It does not accumulate into support, does not raise probability, and does not license extrapolation. Popper is stricter here than almost anyone using his vocabulary realises.
7Common mistakes
- Using falsifiability as a working demarcation rule. It failed at that job and most philosophers of science have said so since the 1960s.
- Treating an unfalsifiable claim as meaningless. Popper's criterion is about science, not meaning — he explicitly separated the two.
- Forgetting that the theory must forbid something specific. 'Something will happen' is technically falsifiable and epistemically empty.
8In your work
State in advance what result would make you abandon the claim. If the honest answer is “nothing would”, it is not an empirical claim and no amount of data will settle it. Ask this of yourself before you ask it of anyone else.
9Check yourself
A model has been adjusted four times in ten years, each time after a missed forecast, and it now fits the whole history. Is it falsifiable?
Show answer
Almost certainly yes, in the trivial sense — you can still state observations that would contradict it. That is why the question is the wrong one. The right question is Lakatos's: did each adjustment predict something new that then turned out true, or did it only absorb what had already gone wrong? Four post-hoc patches with no novel predictions is a degenerating programme, whatever its formal falsifiability.
نظریهها هرگز با شواهد تأیید نمیشوند، تنها ابطال میشوند — پس یک ادعا به همان اندازه علمی است که چیزهایی را ممنوع میکند و خطرِ نادرستبودن را میپذیرد.
1مسئلهای که حل میکند
هیوم نشان داده بود که هیچ شمار از مشاهدات نمیتواند ادعایی کلی را اثبات کند. پوزیتیویستهای منطقی کوشیدند با قراردادنِ «تحقیقپذیری» بهعنوان معیارِ معنا با این وضع کنار بیایند، که بیسروصدا بیشترِ فیزیک را کنار میگذاشت. حرکتِ پوپر این بود که از حلِ مسئلهٔ استقرا دست بکشد و از کنارِ آن بگذرد: اگر تأیید ناممکن است اما ابطال ناممکن نیست، تمامِ روش را بر ابطال بنا کن.
2ایدهٔ اصلی
عدمتقارن، موتورِ ماجراست. «همهٔ قوها سفیدند» با هیچ شمارِ متناهی از قوهای سفید اثبات نمیشود، چون قوی بعدی ممکن است متفاوت باشد. اما یک قوی سیاه، با منطقی ساده، بهطور قطعی کار را تمام میکند — این همان رفعِ تالی است که بر گزارهای کلی اعمال شده.
از همین عدمتقارن، بقیه برمیآید. نظریهٔ خوب آن نیست که با شواهد جور دربیاید، چون نظریهٔ مبهم با همهچیز جور درمیآید. نظریهٔ خوب چیزهای بسیاری را ممنوع میکند: پیشبینیهایی پرخطر میکند که بهآسانی میتوانستند شکست بخورند. علم نه با انباشتِ پشتیبانی بلکه با حذفِ خطا پیش میرود، و نظریهای که از آزمونهای سخت جان به در برده از این رهگذر محتمل نمیشود — تنها هنوز بر پا مانده است.
3خاستگاه و زمینه
کارل پوپر، منطق اکتشاف علمی (۱۹۳۴) و سپس حدسها و ابطالها (۱۹۶۳). هدف دوگانه بود: تحقیقپذیریِ حلقهٔ وین، و آنچه پوپر بلندپروازیهای ابطالناپذیرِ مارکسیسم و روانکاوی میدانست که هر نتیجهای را در خود جای میدادند. تضادِ شکلدهنده در ذهن او اینشتین بود که از پیش مشاهدهای را مشخص کرده بود که نظریهاش را نابود میکرد.
4مثالِ کلاسیک
هیچ شمار از قوهای سفید «همهٔ قوها سفیدند» را اثبات نمیکند. یک قوی سیاه برای همیشه کار را تمام میکند.
5اعتراضها و پاسخها
اعتراض. دوئمـکواین: هیچ فرضیهای تنها آزموده نمیشود، پس آزمونِ شکستخورده هرگز مشخص نمیکند کدام عنصرِ بسته کاذب است. ابطال آن عملیاتِ منطقیِ تمیزی نیست که مینماید.
پاسخ. پوپر این را پذیرفت و با قواعدِ روششناختی پاسخ داد — نظریه را با تعدیلهای موردی نجات ندهید — اما قاعده منطق نیست. این اعتراض عموماً در برابر ابطالپذیری بهعنوان معیارِ تمایز قاطع دانسته میشود، در حالی که آن را بهعنوان انضباطِ پژوهشی دستنخورده باقی میگذارد.
اعتراض. دانشمندان در واقع نظریه را با یک ابطال رها نمیکنند و حق هم دارند. تاریخنگاریِ کوهن نشان میدهد ناهنجاریها دههها جذب میشوند.
پاسخ. بهعنوان توصیف درست است، و لاکاتوش ترمیم را ساخت: برنامهها را در طول زمان و بر پایهٔ اینکه آیا تعدیلهایشان پیشبینیهای تازهٔ تأییدشده میسازند داوری کنید. این بصیرتِ پوپر را حفظ میکند و با عملِ واقعیِ دانشمندان هم میخواند.
اعتراض. اگر تأییدِ آزمونی هیچ دلیلی برای اتکا به یک نظریه نمیدهد، چرا با هواپیمایی پرواز میکنیم که با فیزیکِ تأییدشده طراحی شده است؟
پاسخ. تیزترین اعتراض است و پوپر هرگز کاملاً پاسخش نداد. او «ترجیحِ بهترینآزمودهشده» را بهعنوان توصیهای عملی و نه معرفتی پیش نهاد، که بسیاری آن را بازگرداندنِ پنهانیِ توجیه خواندند.
6با اینها اشتباه نگیرید
ابطالپذیر در برابر ابطالشده در برابر کاذب
نظریهٔ ابطالپذیر نظریهای است که میتوان نادرستیاش را نشان داد. این فضیلت است نه نقص. ابطالپذیر خواندنِ یک ادعا ستایش است؛ مردم مرتب آن را اتهام میشنوند.
تحقیق در برابر تأییدِ آزمونی
تأییدِ آزمونی کارنامهٔ بقا را گزارش میکند. به پشتیبانی انباشته نمیشود، احتمال را بالا نمیبرد و اجازهٔ برونیابی نمیدهد. پوپر در این نقطه سختگیرتر از تقریباً همهٔ کسانی است که واژگانش را به کار میبرند.
7خطاهای رایج
- بهکارگیریِ ابطالپذیری بهعنوان قاعدهٔ کاریِ تمایز. در این کار شکست خورد و بیشترِ فیلسوفان علم از دههٔ ۱۹۶۰ همین را گفتهاند.
- بیمعنا شمردنِ ادعای ابطالناپذیر. معیارِ پوپر دربارهٔ علم است نه معنا — او صریحاً این دو را جدا کرد.
- فراموشکردنِ اینکه نظریه باید چیزی مشخص را ممنوع کند. «چیزی رخ خواهد داد» از نظر فنی ابطالپذیر است و از نظر معرفتی تهی.
8در کارِ شما
از پیش بگویید چه نتیجهای شما را از ادعا منصرف میکند. اگر پاسخِ صادقانه «هیچ چیز» باشد، آن ادعا تجربی نیست و هیچ حجمی از داده حلش نمیکند. این را نخست از خودتان بپرسید، بعد از دیگران.
9خودآزمایی
مدلی در ده سال چهار بار تعدیل شده، هر بار پس از یک پیشبینیِ نادرست، و اکنون با تمامِ تاریخ جور درمیآید. آیا ابطالپذیر است؟
نمایش پاسخ
تقریباً بهیقین بله، به معنای بدیهی — هنوز میتوانید مشاهداتی را نام ببرید که با آن در تضادند. و به همین دلیل این پرسشِ نادرست است. پرسشِ درست پرسشِ لاکاتوش است: آیا هر تعدیل چیزی تازه پیشبینی کرد که سپس درست از آب درآمد، یا فقط آنچه را از پیش خراب شده بود جذب کرد؟ چهار وصلهٔ پسازواقعه بدون هیچ پیشبینیِ تازه، برنامهای واپسرونده است، هر قدر هم که صوراً ابطالپذیر باشد.