Принцесса или тигр? 1982. (Смаллиан Р.)Задачи по логике. Источник: Рэймонд М.Смаллиан ПРИНЦЕССА ИЛИ ТИГР? От редактора перевода В 30-х годах этого века психолог Дж. Струп, языковед Э. Бенвенист и логик К. Гёдель примерно в одно время выполнили три исследования, с разных сторон освещающие одно и то же явление. Друг о друге эти ученые едва ли знали. Все три работы впоследствии стали классикой для профессионалов — психологов, лингвистов и математиков соответственно,— но за пределами этих узких кругов стала известной разве что теорема Гёделя (современный немецкий поэт Ганс Магнус Энценсбергер даже посвятил ей стихотворение). В экспериментах Струпа испытуемому предъявляли слово, написанное цветными чернилами, и просили быстро назвать цвет чернил. Оказалось, что если красными чернилами написано слово СИНИЙ, то время реакции увеличивается. Смысл слова как бы мешает названию цвета, поскольку не совпадает с ним. Бенвенист изучал свойство некоторых речевых высказываний, которое можно назвать аутореферентностью — ссылкой на себя. Этим свойством обладают те высказывания, при описании смысла которых следует учитывать сами эти высказывания как элемент действительности. Например, в описание смысла фразы «Приказываю открыть парад» должно входить указание на то, что само произнесение этой фразы является сигналом к открытию парада. Почти все военные команды обладают аутореферентностью. Иногда это разделение смысла команды на две части — содержание команды и приказ к ее исполнению — может быть явным. В строевой команде, произносимой «Нале-во!», часть «нале-» указывает направление поворота, а «-во» является сигналом к исполнению; здесь первая часть перестает быть аутореферентной. Важно отметить, что, как и в Стр. 5 опыте Струпа, аутореферентное высказывание может быть внутренне конфликтным. В нашем примере, если приказ отдается лицом, не имеющим на это права, то часть интерпретации «это есть приказ к исполнению» оказывается ложной. Гёдель исследовал программу аксиоматизации математики. Существует ли, например, такая явная система постулатов о свойствах целых чисел (вроде аксиом евклидовой геометрии), из которой чисто логически можно вывести все истинные теоремы о них? (Ложные при этом не должны выводиться.) Объяснить точно содержание этой задачи не очень легко даже математику, который специально логикой не занимался. Трудность состоит в описании смысла слов «все» и «вывести»— сначала приходится построить целую теорию, формальную систему, внутри которой этими словами можно пользоваться как математическими терминами. Как бы то ни было, Гёдель показал — вопреки некоторым ожиданиям,— что ответ на поставленный вопрос отрицателен, полной системы аксиом арифметики нет. Причина же этого лежит в странных свойствах аутореферентных высказываний, тех же, что и выше. Старинный парадокс лжеца (лжет ли человек, говорящий «я лгу»?) выявляет такую же внутренне конфликтную ситуацию, как слово «синий», написанное красным цветом. Такой конфликт можно имитировать внутри любой достаточно богатой формальной системы, и в рамках этой системы он окажется неразрешимым. — 1 —
|