Реализм с человеческим лицом

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

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

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

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

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

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

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

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

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

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

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