ЛОГИКА И БОЖЕСТВЕННОЕ ВИДЕНИЕ

ЛОГИКА И БОЖЕСТВЕННОЕ ВИДЕНИЕ

Следующий мой пример взят из области логики, точнее, из ответа современной логики на древнейший логический парадокс – парадокс Лжеца. Вместо рассмотрения суждения “Все критяне – лжецы” (высказанного критянином)[13] современный анализ начинается с высказывания типа:

(1) Высказывание (I) ложно.

Предполагаю, что кто-нибудь может подумать, что не является законным использовать “(I)” для обозначения высказывания, которое содержит как свою собственную часть само “(I)”, однако многие формы “само-ссылки” являются достаточно безвредными. (Например: “Запишите сказанное мною предложение в свою записную книжку”.) В любом случае предложение исключать само-ссылки из языка, оказывается слишком дорогим. Действительно, Гёдель показал, что, поскольку наш язык содержит теорию чисел, постольку всегда будут существовать способы построения предложений, ссылающихся на самих себя. Таким образом, мы должны поставить условием, что высказыванию (I) не может быть отказано в статусе собственно высказывания только на том основании, что оно упоминает самое себя. Представляется, однако, что мы имеем парадокс.

Обычно мы получаем парадокс, констатируя тот факт, что если высказывание (I) истинно, то оно должно быть ложным. Но как мы это получили? Мы должны принять следующий принцип: сказать о высказывании, что оно истинно, значит принять его. Тарский, основатель современной логической теории по этим проблемам[14], использовал пример высказывания “Снег бел” как свой пример типичного высказывания и как требование, что любой удовлетворительный анализ истины должен дать нам возможность показать, что

“Снег бел” истинно, если и только если снег бел,

что стало знаменитым примером как в философской, так и в логической литературе. Теперь, если мы принимаем высказывание (I) как обладающее истинностной оценкой (если оно не имеет истинностной оценки, то находится за пределами теории Тарского), то согласно упомянутому принципу следует, что

(i) “(I) ложно” является истинным, если и только если (I) является ложным,

и затем

(ii) “(I) ложно” является истинным, если и только если “(I) ложно” является ложным

– что является противоречием!

На самом деле до этого момента противоречие не возникало. Мы предположили, что “(I) ложно” обладает истинностной оценкой, и теперь это предположение опровергнуто. Мы не можем непротиворечиво утверждать, что (I) или истинно или ложно. Но почему мы должны хотеть утверждать то или другое? Разве не естественно сказать, что (I) не является ни истинным, ни ложным?

Действительно это так. Однако теперь перед нами встает другой парадокс – парадокс, который Чарльз Парсонс назвал парадоксом Строгого Лжеца. Он имеет форму:

(II) Высказывание (II) или ложно или не имеет истинностной оценки. Высказывание (II) является парадоксальным, потому что если мы пытаемся избежать предыдущей аргументации отрицанием наличия у (II) истинностной оценки, т. е. утверждаем, что (II) не имеет истинностной оценки, то с очевидностью следует, что

(II) или ложно или не имеет истинностной оценки

– и высказывание (II) представляет собой высказывание, которое мы сами только что сделали! Поэтому мы должны согласиться с тем, что (II) истинно, что подразумевает, что мы сами себе противоречим.

Тарский считал – и то является ортодоксальной точкой зрения среди логиков вплоть до сегодняшнего дня, – что в правильно построенном языке мы можем избежать таких парадоксов, оставив идею, что существует всеобщее и единое понятие истины, т. е. оставив идею, что “есть истинно” представляет собой неизменный предикат, независимый от языка. Более того, он считал, что если я говорю о высказывании на языке L, что оно истинно или ложно, мое утверждение принадлежит к другому языку – “мета-языку” или мета-L. Ни один язык не может содержать свой собственный предикат истинности. (“Семантически замкнутые языки являются противоречивыми”.)

Само-ссылка не устраняется таким образом. Могут существовать высказывания типа:

(III) Высказывание (III) не-истинно в L,

но это высказывание будет принадлежать не L, а только мета-L,. Поскольку оно неправильно построено в L, то, конечно, истинно, что оно не-истинно в L. А поскольку именно это утверждается в мета-L, это является истинным в мета-L. Осознав, что истина связана с языком, мы увидим почему (III) является нонсенсом (или не-истиной) в “объектном языке” L и истинно в мета-языке мета-L, что будет разрешением парадокса.

Остается определить, достиг ли Тарский успеха или просто перевел антиномию из формального языка в неформальный, используемый им самим при объяснении значимости его формальных работ. Учитывая это, я повторю вопрос: устранил ли Тарский, как иногда неправильно утверждается, само-ссылку как таковую. (Как я заметил, цена устранения всех возможных форм само-ссылки из языка слишком высока.) Скорее, он оставил идею, что мы обладаем единым понятием истины. Если каждый язык имеет свой собственный предикат истинности, и понятие “истинное в L”, где L является языком, выражается в другом языке (мета-языке), а не в самом L, мы можем избежать всех “семантических парадоксов”. Но в каком языке, как предполагается, все это высказывает сам Тарский?

Теория Тарского вводит “иерархию языков”. Существует язык объектов (им может быть любой язык, свободный от таких “семантических” понятий, как референция и истина); существует мета-язык, мета-мета-язык и т. д. Для каждого конечного числа и существует мета-язык порядка п. Эти языки образуют иерархию. Используя так называемые трансфинитные числа, можно даже расширить иерархию до трансфинитной; существуют мета-языки и более высоких бесконечных порядков. Парадоксальный аспект теории Тарского, как и на самом деле любой иерархической теории, состоит в том, что нужно находиться вне иерархии даже просто для того, чтобы сказать, что иерархия существует. Но, как представляется, это “место вне” – неформальный язык” – не может быть “обыденным языком”, поскольку обыденный язык, согласно Тарскому, семантически замкнут и, следовательно, противоречив. Он не может быть специально построенным языком, поскольку ни один специально построенный язык не может делать семантических обобщений в отношении самого себя и в отношении языка более высокого порядка.

Все это подводит нас к философски важной возможности – возможности отрицать, что наше неформальное рассуждение конституирует “язык”. Эта позиция принадлежала Бертрану Расселу и недавно возрождена Чарльзом Парсонсом в одной из наиболее глубоких работ по парадоксам Лжеца за последние десятилетия.[15] Согласно этой позиции, неформальное рассуждение, в котором мы говорим: “каждый язык имеет мета-язык, и предикат истинности языка принадлежит этому мета-языку, а не самому языку”, является само по себе не частью какого-либо языка, а “речевым актом”, который есть sui generis[16] .

Проблема состоит в том, что следствия, выводимые из таких “систематически противоречивых” высказываний (позволено ли мне назвать их “высказываниями”?), типа

(V) Каждый язык L имеет мета-язык ML

с точностью похожи на следствия, выводимые из обычных всеобщих высказываний типа “Все люди смертны”. Учитывая дополнительную предпосылку, что L1, L2, L3 … являются языками, каждый, кто принимает (V), немедленно должен заключить, что

L1 имеет мета-язык ML1 ,

L2 имеет мета-язык ML2

тем же способом, что и, принимая высказывание “Все люди смертны”, можно немедленно заключить (учитывая дополнительную предпосылку, что Том, Дик и Гарри – люди), что Том смертей, Дик смертен и Гарри смертен. Тем не менее, согласно предположению Парсонса, систематически противоречивый дискурс представляет собой простой и несводимый тип дискурса, который не следует понимать по типу других видов языкового употребления

Несмотря на мое огромное уважение к Парсонсу, не говоря уже о Бертране Расселе, я признаю, что вообще не могу понять эту позицию. После всего этого можно формально избежать парадокса, утверждая, что все собственно “языки” должны быть написаны некрасными чернилами, оставляя красные чернила для дискурса, делающего обобщения относительно всех “собственно языков”. Поскольку обобщения относительно “всех языков”, написанные красными чернилами, не должны включать Язык Красных Чернил, на котором они написаны (Язык Красных Чернил является sui generis), мы не можем вывести парадокс Строгого Лжеца или другие семантические парадоксы. Но это больше похоже на формалистическую хитрость, чем на серьезное философское решение концептуальной трудности. В каком языке мы должны выразить факт, что “обобщения относительно Языков Не-Красных Чернил не включают Языки Красных Чернил”? Думать так или сказать об этом и никогда не написать этого чернилами? (Это невозможно написать на Языке Красных Чернил, не нарушая требования Тарского не использовать “семантически замкнутых языков”, потому что они относятся ко всем Языкам Красных Чернил). Должны ли мы написать это карандашом, а не чернилами, чтобы избежать семантического запрета? Как спрашивал Дуглас Эдвардс несколько лет назад (в своей магистерской диссертации в Гарварде): “Может ли Семантика Систематически Противоречивого Дискурса быть выражена в Систематически Противоречивом Дискурсе?”.

Возможно, идея состоит в том, что некоторые формы дискурса могут быть поняты без предположения понятия истины вообще. Тогда почему не заявить, что все дискурсы могут быть поняты вообще без предположения понятия истины? (Что, по-видимому, и сделал Ричард Рорти). Возможно, предположением будет, что все эти вещи не могут быть “сказаны”, а могут быть только “показаны”. Однако проблема состоит в том, что вещи, “показываемые” нам при объяснении систематической противоречивости, показываются посредством проговаривания. Идея о том, что существуют дискурсивные мысли, которые не могут быть “проговорены”, является формалистической хитростью, которую, как я сказал, я не понимаю

Я не утверждаю особую оригинальность этих размышлений, за исключением приведенной здесь моей конкретной формулировки. В своей знаменитой философской работе Курт Гёдель достаточно ясно дал понять, что он не считает решенными семантические парадоксы (в противовес набору теоретических парадоксов, которые, как он думал, уже разрешены). Я слышал от других логиков, что то, что мы сделали, это устранили семантические парадоксы из формальных языков, которые мы построили таким образом, что не должны больше беспокоиться об этих парадоксах. Теперь подумаем о том, что означает данная ситуация.

Во-первых, рассмотрим историю этих загадок. По крайней мере в своей схематичной форме (например, шутка о критянине) они существуют очень долгое время. Логика была достаточно софистическим занятием как во времена стоиков, так и в средние века, во времена Лейбница и в XIX веке. Кажется, никто до Рассела не рассматривал их как очень серьезные проблемы. Поэтому первой проблемой, с которой мы сталкиваемся по мере отхода от деталей, является следующая: почему только недавно эти загадки стали объектом столь пристального внимания?

Я не историк науки, поэтому я не буду пытаться ответить на этот вопрос. Возможно, однако, что требовалась формализация логики (которая оказалась в центре внимания логиков с появлением логических исследований Буля в поздние 1840-е гг.), развитие логики отношений и введение кванторов общности, которая является вкладом Пирса и Фреге в 1870-х и 1880-х гг., и идея единого символического языка, адекватного формализации всей науки, которая была вкладом Фреге в 1878 году с последующей разработкой Расселом и Уайтхедом в первых декадах XX века, для того, чтобы эта проблема стала во главу внимания логиков. (Остается проблемой, почему это сделал Рассел, а не Фреге, но я не рискну делать предположения по этому поводу) Если это верно – и это подход Рассела к проблеме, – то семантические парадоксы перестали рассматриваться как любопытные вещи или бесполезные “головоломки” только тогда, когда мы попытались построить всеобщий символический язык типа языка “Principia Mathematica”. Оказалось, что всей логической системе – результату десятилетий работы нескольких великих логиков всех времен (я думаю здесь о Фреге, Расселе и Уайтхеде как о вовлеченных в единое коллективное исследование) – угрожает противоречие. Если система является формализацией всего нашего существующего же математического и дедуктивно-логического знания, то ее противоречивость с самого начала является неприемлемой. Должен быть найден способ избежать этого, пусть даже такой безнадежный как “Систематическая Двусмысленность” Рассела или “Уровни Языка” Тарского.

Короче говоря, то, что мы здесь рассматриваем, не является парадоксом, появляющимся впервые по мере расширения области науки, как было в случае с разрывом между наблюдателем и системой в квантовой механике; это уже замеченный (или почти замеченный) парадокс, который рассматривался как совершенно неважный до тех пор, пока область науки не стала достаточно широкой. В действительности, научным открытием стала важность семантических парадоксов, а не просто их существование.

Сами парадоксы, однако, вряд ли менее парадоксальны, чем их решения, предлагаемые логическим сообществом. Если отказаться от идеи, что мы можем делать обобщения относительно “всех языков”, от идеи, что мы обладаем единым общим понятием об истине, применимым к любым языкам, мы придем к странной позиции – позиции, как я хотел бы предположить, чем-то напоминающей ту, в которой мы себя обнаруживаем в квантовой механике.

Чтобы развернуть аналогию, я вернусь к проблеме с идеей Систематической Двусмысленности. Проблема может быть сформулирована следующим образом: если Вы строите иерархию языков, то не появляется никаких парадоксов, если я делаю обобщения относительно Вашей иерархии в целом, при этом я не считаю, что мой “неформальный мета-язык” включен в Вашу иерархию языков. Короче говоря, я могу делать обобщения относительно сколь угодно обширной целостности языков (за исключением целостностей, включающих мой собственный язык, или языков, которые сами по себе включают мой собственный язык), но язык, в котором я делаю обобщения всегда должен лежать за пределами целостности, относительно которой я делаю обобщения. Замените “наблюдатель” на “I” в этой формулировке и Вы получите: всегда существует разрыв между языком наблюдателя и целостностью языков, относительно которых он делает обобщения.

“Божественное Видение”, видение, в котором абсолютно все языки являются равными частями изучаемой целостности, недостижимо.

Если мы сформулируем принцип “разрыва между наблюдателем и системой” в квантовой механике, говоря, что наблюдатель может рассматривать сколь угодно широкую целостность в качестве системы (за исключением целостностей, включающих его самого в процесс осуществления измерений), но он сам (или, по крайней мере, часть его) должен все время находиться за пределами системы, то аналогия будет полной. И это больше, чем формальная аналогия; это эпистемологическая аналогия. Оба случая содержат одно и то же понятие “Божественного Видения”, один и тот же эпистемологический идеал достижения видения “с точки зрения Архимеда” – точки зрения, из которой мы могли бы обозревать наблюдателей, как если бы они не были нами самими, обозревать их, как если бы мы были, так сказать, вне нашей собственной кожи. Оба случая содержат один и тот же идеал безличностного знания. То, что мы не можем достигнуть этого идеала на практике, не является парадоксальным; никогда и не предполагалось, что мы действительно можем достичь его на практике. Однако то, что возникают принципиальные трудности с самим идеалом, т. е. что мы не можем больше представить, что значит достижение этого идеала, этот факт оказывается для нас, таких как мы есть, наиболее глубоким парадоксом.

Во второй части данного эссе я хочу обсудить значение всего этого для философии. Я попытаюсь связать неудачу идеала Божественного Видения с главными проблемами западной философии со времен Канта. Я попытаюсь доказать, что модная панацея релятивизма, даже с новым именем, таким как “деконструкция” или даже “прагматизм” (Ричарда Рорти), не является единственной, или правильной, реакцией на эту неудачу. Поскольку это Кантовская лекция, позвольте мне сказать, что эти проблемы были, конечно, близки собственным интересам Канта, однако многие намеченные мною здесь результаты огорчили бы его. Кант разрывался между идеей, что все знание является частично нашей собственной конструкцией; и идеей, что знание должно иметь результатом то, что я назвал “Божественным Видением”. Тем не менее, идея, что существуют пределы познания, и то, что мы обнаруживаем самих себя в “антиномиях”, другое слово для парадоксов, когда мы пытаемся пойти дальше этих пределов, также принадлежит Канту. Кант считал, что за пределами находится “трансцендентальная метафизика”; сегодня это представляется, как если бы часть того, что однажды было рассмотрено внутри пределов, внутри кантовского “мира опыта” не может быть подведено под “управляющую идею природы” Канта. (“Природа” для Канта включает понятие всеобщей единой системы природных законов; “разрыв между наблюдателем и системой” был бы также неприятен Канту, как и более века спустя Эйнштейну).

Существует еще одна причина упомянуть здесь Эйнштейна. Ему не удалось закончить свой проект опровержения Копенгагенской Интерпретации и восстановления кантовской управляющей идеи природы. Было бы ошибочно рассматривать его просто как ностальгического реакционера (как делают некоторые квантовые физики). Некоторые из нас находятся на стороне Эйнштейна и хотят восстановить Божественное Видение во всем его великолепии. Борьба с нами самими, борьба за отказ или за сохранение старых понятий метафизической реальности, объективности, безличности далека от завершения.