Соответственно всякая модельная теория - это анафема универсалистам (это, между прочим, основной мотив нелюбви Витгенштейна к теории множеств).
В другом плане универсалист не может говорить об истине как соответствии. В самом деле, я подозреваю, что некоторая версия универсалистской предпосылки является при самом глубоком анализе (столь же логическом, сколь и психологическом) скрытым мотивом большинства тех т.н. "теорий истины", которые не рассматривают истину как соответствие между предложениями и фактами.
Несколько терминологических комментариев могут способствовать прояснению природы обсуждаемого мною контраста. Фундаментальная и по большей части несознаваемая природа этого различия отражается в трудности нахождения не требующих разъяснения выражений для двух контрастирующих точек зрения. Я впервые ввел выражения "язык как исчисление" и "язык как универсальный посредник" в качестве обобщении терминов Хейдженорта "логика как исчисление" и "логика как язык", которые он использовал в особом случае указанного контраста6. С тех пор я пришел к выводу, что эти выражения, особенно термин "язык как исчисление", не являются само собой разумеющимися и даже могут вводить в заблуждение. Аналогия между языком и исчислением была использована в философии XX в., для того чтобы осветить три разных момента. А именно - (1) якобы чисто формальный характер языка и его законов; (2) потребность производить реальные, подобные исчислению, манипуляции при использовании языка: (3) возможность переинтерпретировать язык столь же свободно, как интерпретировать неинтерпретированное исчисление. Ранее было замечено, "что выделение (1) - такая же характерная черта верящих в универсальность языка, как и сторонников концепции "языка как исчисления". Ни то, что здесь имею в виду я, ни (2) не есть причина, по которой Витгенштейн сравнивает язык с исчислением. Что я подчеркиваю в моем использовании технического термина "язык как исчисление" - это просто и единственно переинтерпретация в смысле (3).
Почему разные философы стали на универсалистскую позицию? Возможно, что ответов здесь почти столько же, сколько универсалистских философов. Для некоторых это просто допущение, часто скрытое. Некоторые философы, например, Витгенштейн. верят в универсальность языка, исходя из глубокого убеждения, хотя на разных этапах своего пути приводят для этого все новые и новые основания. Что до Витгенштейна, то это было глубоко укоренено в его общей вере, что вся семантика, в буквальном смысле, невыразима. В то же время это также основывалось на феноменологической природе витгенштейновских простых объектов, постулированных в "Трактате". Будучи феноменологическими, они могут, почти в буквальном смысле, быть показаны. Однако ввиду их роли в качестве базисных объектов, из которых строится все иное, они не могут быть определены или описаны в языке. Так раннее витгенштейновское различение между говорением и показыванием можно законно рассматривать в метафорическом или в почти буквальном смысле. В поздней философии Витгенштейна невыразимость значений отдельных слов и правил, которым они подчиняются, частично обязана сложности того, что мы совершаем в акте реализации лингвистического значения и частично (и более успешно) - приоритету языковой игры как целого над ее правилами.
Одно особое (и исторически важное) основание для принятия универсалистского взгляда и, в частности, идеи о невыразимости семантики является трансцендентальным или, возможно, прагматическим. Оно утверждает данное человеческое действие как конституирующее мир наших понятия в более общем плане. Согласно этой точке зрения, мы не можем отделить себя от своих понятий, поскольку у нас нет возможности остановить нашу концептуальную практику без их утраты. Но если мы продолжаем практику, которая, согласно этому подходу, лежит в основе всех "проповедей", т.е. всех использовании языка, то мы стоим на позиции концептуального status quo и не можем обсуждать ее в нашем языке без того, чтобы уже ее не принять.
Этот способ обоснования концепции невыразимости не является, тем не менее, убедительным. Не видно причины, почему понятия, которыми мы должны владеть, для того чтобы говорить о нашем языке, не могут также иметь подоплеку в человеческой активности. Поэтому прагматический довод о невыразимости нашего концептуального мира не убедителен
Иная несколько отличающаяся группа оснований для тезиса о невыразимости связана с понятием анализа Неопределимость и иная невыразимость наших понятий реально означает неопределимость наиболее базисных символов нашего языка, и они не могут быть определены как раз потому, что такая определимость потребовала бы обращения к еще более базисным символам. Для мыслителен этого рода, частично представленных Дж.Муром, невыразимость значении основана на требовании, чтобы каждый анализ был завершен. В конечных пунктах такого концептуального анализа мы уже не можем что-либо сказать, поскольку они суть то, что мы должны принять в нашем языке, чтобы вообще исходить из какого-то смысла7.
Этот тип мотивирования тезиса о невыразимости опирается, тем не менее, на предпосылки независимости семантического контекста (композициональность, атомарность), которые далеко не очевидны и представляются мне, по здравому рассуждению, в конечном счете неприемлемыми.
Интересное и глубокое основание веры в универсальность языка и в невыразимость семантики состоит в убеждении, что такая невыразимость коренится в природе нашего языка и более конкретно в природе основных понятий, относящихся к его семантике, особенно крайне важного понятия истины. Относительно его значения следует указать, что понятие истины связано с любым значением предложения (пропозициональным значением), поскольку предложение говорит то. что оно говорит, сообщая нам. каким был бы мир. если бы оно было истинным (как это особенно подчеркивал Витгенштейн) Такая центральная роль понятия истины относится к числу того, что настоятельно утверждает Хилари Патнэм8.
"Антиреалист может использовать истину внутритеоретически в смысле "теории избыточности", но он не имеет понятий истины и обозначаемого взятых вне рамок данной теории. Однако объем связан с понятием истины. Объем термина есть как раз) то, относительно чего термин истинен антиреалист должен отвергнуть понятие объема так же, как и понятие истины" (выделено в оригинале).
Здесь стоит рассмотреть особый случай яркого контраста между универсальностью языка и идеей языка как исчисления. Есть конкретная проблема, которая может служить в качестве "решающего эксперимента" для данного контраста или, как минимум, для проблемы невыразимости семантики. Это вопрос об определимости истины. Одна из причин значимости этого вопроса заключается в том, что понятие истины - единственное наиболее важное семантическое отношение, т.е. отношение между языком и миром. А причина данной причины не просто в том, что истинность или ложность предложения важна для коммуникативных и других прагматических целей. Как было только что отмечено, отношение истинного предложения к факту, делающему его истинным, является решающим для значения предложения. Предложение означает то, что оно означает, через посредство сообщения, каким был бы мир, если бы оно было истинным.
Вторая причина, по которой стоит сосредоточиться на вопросе о невыразимости истины, состоит в том, что об этом можно достаточно много сказать. Относительно данной проблемы есть и два более ранних, и эффективные новые результаты Фактически то, что мы здесь имеем - это интересный пример того, как явно технические результаты могут вызывать воистину замечательные последствия в фундаментальных предпосылках целых философских традиций.
Если мы теперь взглянем на современную философию или, скорее, на философию XX в с точки зрения данного контраста, то многие известные участники философской драмы (которую Рорти пытается представить комедией нравов) неожиданно проявят себя в незнакомых ролях. Прежде всего, если взять аналитику, то оказывается, что в ранней истории современной логической теории доминировала, чтобы не сказать производила террор, универсалистская традиция Эта традиция включает в себя значительно отличающиеся варианты - Готтлоба Фреге, раннего и среднего Бертрана Рассела, Людвига Витгенштейна на протяжении всей его деятельности, Венский кружок в его фазе "формального способа речи", У. Куайна и А. Черча среди других.
Есть много ярких признаков громадной силы этой универсалистской традиции в логической теории. Они выражаются, помимо всего прочего, в недооценке и даже игнорировании деятельности логиков, принадлежащих к другим философским традициям, - таких, как Чарпьз Пирс, в почти полном непонимании, с которым были встречены ранние теоретико-модельные идеи Давида Гильберта и в параноидальном страхе Геделя быть непонятым в том случае, если он сформулирует свои результаты о неполноте как результаты, относящиеся к неопределимости арифметической истины (что повлекло их переформулировку как теорем о дедуктивной неполноте) и в совершенном отсутствии теоретико-модельных страниц среди сотен статей, написанных Куайном. На уровне более масштабных достижений гегемония универсалистской, традиции проявляется в относительно позднем развитии теории моделей как главной технической дисциплины в математической логике и в позднем развитии серьезной теории моделей для модальной и интенсиональной логики.
Как обычно, один из лучших показателей универсалистской позиции состоит в отношении разных мыслителей к вопросу о понятии истины.