корректного вывода широко применял в VI в. н. э. Кассиодор (см. С. Prantl. Geschiente der Logik im Abendlande. Bd. 1. Leipzig, 1855, S. 724). Исходя из Аристотеля, Буридап формули рует парадокс «Лжец» в следующей логически корректной форме: «Предложение, записанное на данном листе бумаги, ложно» («Johannis Buridani Quaestiones». Parisiis, 1518, VI, qu. 7), причем на упомянутом листе больше ничего (nullam alio) не за писано (соблюдается условие единственности). В своем труде «Sophismata» Буридан развивал много весьма утонченных «ва риаций» на тему аристотелевского «Лжеца». Его примеру следо вали Альберт Саксонский (XIV в.), Пьер д'Альи (вторая поло вина XIV в. —начало XV в.) и другие логики. (Обзор предло жений схоластиков для разрешения антиномии «Лжец» см., папример, в работе: //. И. Стяжкин. Формирование математи ческой логики, стр. 173 — 180.) Антиномия этого типа играет большую роль в современной математической логике и теории множеств, породив обширную литературу вопроса, и, в частно сти, она фигурирует в доказательстве знаменитой теоремы К. Гёделя о формально неразрешимых предложениях, обнаруженных им в книге Б. Рассела и А. Н. Уайтхеда «Principia MathematJca»
(см, К. Gôdel. Über formal unentschuldbare Sätze der Principia
Mathematica und verwandter Systeme. — «Monatsheft für Mathematik und Physik». Bd. 38 (1931), S. 173—198). Обсуждение анти номии «Лжец» находилось также у истоков современной логи ческой семантики в классических исследованиях А. Тарского (см. обзор в кн.: ТУ. StegmuUer. Das Wahrheitsproblem und die Idee der Semantik. Wien, 1957, и последующие его работы).
И. С. Нарский и //. Л. Стяжкин
На русском языке сочинение «О софистических опроверже ниях)) публикуется впервые, в переводе М. И. Итннпа. Сверка перевода произведена Л. А. Фрейберг.
|
Г л а в а п е р в а я |
1 |
Т. е. те, которые в предыдущем абзаце паэваиы «первыми» |
(164 а 22). - 535. |
2 |
Пусть «Д (р)» означает «только кажется, что имеет место |
р». Пусть, кроме того, «а = р с» означает « а н е сходны по свой ству Р» («Топика», 103 а 14 — 23). Все приведенные выше при меры можно описать так: [Д (Р (а)) и Ρ (с)J =} Д (а = р с ) . За метим, что из Д (р) следует —ι р. — 535.
3Ср. «Топика», 100 а 25; «Первая аналитика», 24 b 18; «Ри торика», 1356 b 15. — 535.
4Ибо тот, кому только кажется, что Ρ (а), и кто вместе с тем правильно полагает, что Ρ (с), разумеется, считает, что а и с сходны по свойству Ρ и что у них одно и то же общее имя «Р» (ср. прим. 6). — 536.
5Сформулирован одип из основных принципов семантики. —
536.
* Указана одна из основных причин паличия в языках мпоговначных слов и общих имен (наряду с именами собственными). —
536.