Парадокс воронів
З Вікіпедії, безкоштовно encyclopedia
Парадокс воронів (англ. Raven paradox), відомий також як парадокс Гемпеля (нім. Hempels paradox) або во́рони Гемпеля — логічний парадокс, сформульований німецьким математиком Карлом Густавом Гемпелем в 1940-х роках, для ілюстрації того, що індуктивна логіка іноді входить у протиріччя з інтуїцією.
Гемпель описав цей парадокс таким чином. Нехай існує теорія, відповідно до якої всі ворони чорні. Відповідно до формальної логіки, ця теорія еквівалентна теорії, що всі предмети, які не є чорними, не є воронами. Якщо людина побачить багато чорних воронів, то її впевненість у тому, що ця теорія є правильною, збільшиться. Якщо ж вона побачить багато червоних яблук, то це збільшить її впевненість у тому, що всі не чорні предмети не є воронами, і, відповідно до вищесказаного, повинна також збільшитись і її впевненість у тому, що всі ворони чорні.
Але цей висновок суперечить інтуїтивному сприйняттю ситуації людиною — в реальному житті так не відбувається. Спостереження червоних яблук збільшить впевненість спостерігача в тому, що всі не чорні предмети не є воронами, але при цьому не збільшить його впевненість у тому, що всі ворони чорні.
Найбільш поширений метод розв'язання цього парадоксу полягає в застосуванні теореми Баєса, яка співвідносить умовну та граничну ймовірність стохастичних подій.