Гёдель, Эшер, Бах. Эта бесконечная гирлянда

Имеется ли разрешающий алгоритм для теорем?

Исчисление высказываний дает нам набор правил для производства таких высказываний, которые были бы истинными в любом из возможных миров. Именно поэтому все его теоремы звучат так просто, кажется, что они совершенно лишены содержания! С такой точки зрения, исчисление высказываний должно казаться пустой тратой времени, поскольку оно сообщает нам абсолютно тривиальные вещи. С другой стороны, это делается путем определения формы универсально истинных высказываний, что представляет основные истины вселенной в новом свете. Они не только фундаментальны, но и регулярны: их можно произвести, используя определенный набор типографских правил. Иными словами, все они сделаны из одного теста. Можете поразмыслить над тем, возможно ли произвести также и дзен-буддисткие коаны, пользуясь набором типографских правил.

Весьма важным здесь является вопрос о разрешающей процедуре — а именно, существует ли некий механический метод отличения теорем от не-нетеорем? Если да, то это будет означать, что теоремы исчисления высказываний не только рекурсивно перечислимы, но и рекурсивны. Оказывается, что алгоритм разрешения существует, и довольно интересный — таблицы истинности. Изложение этого метода увело бы нас слишком далеко в сторону; вы можете найти его почти в любой книге по логике. А как насчет дзен-буддистских коанов? Может ли существовать такая механическая процедура разрешения, которая отличала бы настоящий дзен-коан от всех остальных вещей?

Откуда мы знаем, что система непротиворечива?

До сих пор, мы только предполагали, что все теоремы, интерпретированные должным образом, производят истинные высказывания. Но знаем ли мы это наверняка? Можем ли мы это доказать? Иными словами, заслуживают ли наши интерпретации («и» для «Λ» и так далее) того, чтобы именоваться «пассивными значениями» символов? На это существуют два различных взгляда, которые можно назвать «осторожным» и «неосторожным». Я представлю это взгляды так, как я их понимаю; пусть их выразителей зовут, соответствено, «Осторожность» и «Неосторожность».

Осторожность: Мы будем знать наверняка, что при нашей интерпретации все теоремы получаются истинными, только тогда, когда сможем это доказать. Это вдумчивый и осторожный способ действия.

Неосторожность: Напротив, ОЧЕВИДНО, что все теоремы получаются истинными. Если вы в этом сомневаетесь, взгляните еще раз на правила системы. Вы увидите, что каждое правило заставляет символ действовать точно также, как должно действовать слово, им представляемое. Например, правило объединения заставляет символ «Λ» действовать как «и»; правило отделения заставляет «э» действовать также, как слова «если … то», и так далее. Если только вы не похожи в этом отношении на Черепаху, то легко узнаете в каждом правиле кодификацию схем, которыми пользуетесь в собственных мыслях. Поэтому, если вы доверяете собственным мыслям, вы ОБЯЗАНЫ верить в то, что все теоремы в интерпретации выходят истинными. Таково мое мнение. Я не нуждаюсь в дальнейших доказательствах. Если вы считаете, что какая-нибудь теорема может получиться ложной, значит вы думаете, что какое-то из правил неверно. В таком случае, покажите мне, какое именно?

Осторожность: Не могу, поскольку я не знаю точно, что там есть неверные правила — поэтому я не могу указать вам на одно из них Все же я могу вообразить себе следующую сцену. Следуя правилам, вы выводите теорему — скажем, x. Между тем, я, также следуя правилам, вывожу другую теорему — и предположим, у меня вышло ~x. Можете ли вы представить себе такое?

Неосторожность: Хорошо — представим себе, что такое произошло. Чем это вам помешает? Скажем, мы обе играем с системой MIU; у меня получилась теорема x, а у вас — xU. Можете вы представить такое?

Осторожность: Разумеется: и MI, и MIU — теоремы.

Неосторожность: И вас это не смущает?

Осторожность: Конечно, нет. Ваш пример просто смешон, поскольку теоремы MI и MIU не ПРОТИВОРЕЧАТ одна другой, в то время как строчки x и ~x в исчислении высказываний противоречивы.

Неосторожность: Хорошо — если только вы решили интерпретировать «~» как «не». Но что заставляет вас думать, что «~» должно быть интерпретировано именно так?

Осторожность: Сами правила. Их них видно, что единственной возможной интерпретацией для «~» является «не», единственной возможной интерпретацией для «Λ» — «и» и так далее.

Неосторожность: Иными словами, вы считаете, что правила описывают значения слов?

Осторожность: Именно так.