является языком, выражается в другом языке (мета-языке), а не в самом
L, мы можем избежать всех “семантических парадоксов”. Но в каком языке, как предполагается, все это высказывает сам Тарский?
Теория Тарского вводит “иерархию языков”. Существует язык объектов (им может быть любой язык, свободный от таких “семантических” понятий, как референция и истина); существует мета-язык, мета-мета-язык и т. д. Для каждого конечного числа и существует мета-язык порядка п. Эти языки образуют иерархию. Используя так называемые трансфинитные числа, можно даже расширить иерархию до трансфинитной; существуют мета-языки и более высоких бесконечных порядков. Парадоксальный аспект теории Тарского, как и на самом деле любой иерархической теории, состоит в том, что нужно находиться вне иерархии даже просто для того, чтобы сказать, что иерархия существует. Но, как представляется, это “место вне” – неформальный язык” – не может быть “обыденным языком”, поскольку обыденный язык, согласно Тарскому, семантически замкнут и, следовательно, противоречив. Он не может быть специально построенным языком, поскольку ни один специально построенный язык не может делать семантических обобщений в отношении самого себя и в отношении языка более высокого порядка.
Все это подводит нас к философски важной возможности – возможности отрицать, что наше неформальное рассуждение конституирует “язык”. Эта позиция принадлежала Бертрану Расселу и недавно возрождена Чарльзом Парсонсом в одной из наиболее глубоких работ по парадоксам Лжеца за последние десятилетия.[15] Согласно этой позиции, неформальное рассуждение, в котором мы говорим: “каждый язык имеет мета-язык, и предикат истинности языка принадлежит этому мета-языку, а не самому языку”, является само по себе не частью какого-либо языка, а “речевым актом”, который есть sui generis[16] .
Проблема состоит в том, что следствия, выводимые из таких “систематически противоречивых” высказываний (позволено ли мне назвать их “высказываниями”?), типа
(V) Каждый язык L имеет мета-язык ML
с точностью похожи на следствия, выводимые из обычных всеобщих высказываний типа “Все люди смертны”. Учитывая дополнительную предпосылку, что L1, L2, L3 … являются языками, каждый, кто принимает (V), немедленно должен заключить, что
L1 имеет мета-язык ML1 ,
L2 имеет мета-язык ML2
тем же способом, что и, принимая высказывание “Все люди смертны”, можно немедленно заключить (учитывая дополнительную предпосылку, что Том, Дик и Гарри – люди), что Том смертей, Дик смертен и Гарри смертен. Тем не менее, согласно предположению Парсонса, систематически противоречивый дискурс представляет собой простой и несводимый тип дискурса, который не следует понимать по типу других видов языкового употребления
