Материалът е продължение на:
https://otkrovenia.com/bg/eseta/pyrvorodniyat-gryah
Въпреки своята видима надеждност, принципът за изключеното трето е в състояние да ни поднесе изненадващи парадокси. Защото с този принцип лесно се проверява, че твърдения от типа:
Ако е в сила Х, то следва Y,
известни като импликации, са логически еквивалентни на:
Ако е в сила неY, то следва неХ.
Да приложим казаното по-горе към твърдението:
Т: Ако нещо е гарван, то е черно.
Очевидно Т е логически еквивалентно на твърдението:
Т': Ако нещо не е черно, то не е гарван.
Но точно тук се крие удивителен парадокс, известен под наименованието Парадоксът за гарваните /Raven paradox/, който е открит от Карл Хемпел. Работата е в това, че твърдението Т е по принцип проверимо конструктивно /т.е. чрез евентуален оглед на гарваните/, защото гарваните на планетата са краен брой. За жалост, обаче, нещата, които не са черни са безбройно много. Затова е невъзможно да проверим по аналогичен начин дали всяко от тези неща не е ...