кептицизмом. Доречно навести тут чудовий рада, яка дає Джон Локк: В«Не підтримувати ніякої пропозиції з більшою впевненістю, ніж дозволяють докази, на яких воно грунтується В»
(В« правило Локка В»). В· Нарешті, розглянемо ще один вид пропозицій, які не можуть бути оцінені ні як істина, ні як брехня: логічні парадокси самопріменімості .
Один з найвідоміших парадоксів самопріменімості був сформульований в IV ст. до н. е.. давньогрецьким філософом Евбуліда. Його називають парадоксом Евбуліда або парадоксом брехуна. Суть парадоксу така. Брехун каже В«Я брешуВ»; є ця фраза істиною або брехнею? Будь-яка відповідь сам собі суперечить: якщо брехун говорить істину, то він бреше, а якщо він бреше, то сказане ним - істина.
У наведених вище словах Сократа В«Я знаю, що я нічого не знаю В»теж міститься властива парадоксу самопріменімості протиріччя: якщо вже я знаю, що я нічого не знаю, то невірно, що я нічого не знаю.
Для любителів головоломок - ще один приклад: парадокс Рассела «ѳльський цирульникВ». Нехай задано умову, що брадобрей голить усіх тих і тільки тих жителів села, що не голяться самі. Питається, чи можна йому голити самого себе? Неважко виявити, що якщо можна, то не можна, а якщо можна, то можна.
Парадокс самопріменімості (або самоотносімості) полягає в тому, що В«сутність, про яку йде мова, визначається, чи характеризується, за допомогою деякої сукупності, до якої вона сама належить В». Виходить замкнуте коло: поняття застосовується до самого себе або, інакше, предметом знання стає саме це знання. У такій ситуації до знання не можна застосовувати істінностную оцінку. Спроба оцінити його як істинне або помилкове може призвести до того, що істиною доведеться вважати все, що завгодно.
Наприклад, давайте доведемо, що ви, наш шановний читач, насправді є наймудрішим філософом сучасності. Для докази сформулюємо два твердження, вміщені в рамку.
Гј Ви - Наймудріший філософ століття. p> Гј Обидва перебувають у рамці твердження помилкові.
Природно припустити, що кожне з двох наведених тверджень має бути або істинним, або хибним. Припустимо, що (2) істинно. Але твердження (2) говорить, що обидва твердження помилкові, і, отже, воно саме - помилково. Стало бути, наше припущення, що (2) істинно, призвело до протиріччя і тому має бути відкинуто. Але (2) повинно бути або істинним, або хибним, І якщо доведено, що воно не може бути істинним, то нам нічого не залишається, як визнати його помилковим (такий звичайний прийом, що часто вживається в доказах математичних теорем і добре знайомий кожному з шкільних уроків геометрії, так зване В«доказ від протилежного В»). Хибність ж його означає, що невірно, ніби обидва твердження в рамці помилкові. Значить, принаймні одне з них істинно. А так як вже встановлено, що затвердження (2) є хибним, то істинно твердження (1). З чим вас і вітаємо.
Настільки приємна оцінка вашої мудрості та філософської еруд...
