Материал: Блинов А. и др. Аналитическая философия
Систематическое исследование дедуктивной функции логики известно как теория доказательства. Систематическое исследование дескриптивной функции — теория моделей, или логическая семантика. В последней класс М(S) моделей предложения S определяется следующим образом. Во-первых, мы должны иметь некоторый класс (множество, область) моделей, т.е. структур подходящего вида. Во-вторых, указание на S должно давать нам критерий, согласно которому некоторый член М класса способен служить моделью S. По мнению Хинтикки, центральной для его рассуждения является вторая проблема. Благодаря чему М является моделью S? Ответ таков: М является моделью S ттт S истинно в М. Определение истинности должно задавать условия, при которых предложение истинно в модели. Тот вид определения истинности, к которому таким образом подводит Хинтикка — это определение в духе Тарского. Причем, по мнению Хинтикки, идея рекурсивного определения, которой руководствовался Тарский — это именно то, что лингвисты называют композициональностью: принцип, согласно которому семантические свойства сложного выражения являются функциями составляющих его более простых. Однако мы не можем сказать этого об истинностных значениях, поскольку выражения, составляющие квантифицируемые предложения, могут содержать свободные переменные; представляя собой открытые (незамкнутые) формулы, а не предложения, они не могут иметь истинностные значения. Именно поэтому Тарский определяет истинность предложения с помощью другого понятия — выполнимости, применимого также и к открытым формулам. Последнее отношение раскрывается, в свою очередь, через функцию оценки (valuation), состоящую в приписывании каждой индивидной константе и каждой индивидной переменной рассматриваемого языка индивидов как их значений (values). Тогда, с теоретико-модельной точки зрения, тарскианская истинность является относительной к модели М и значению v. Функция оценки приписывает каждому нелогическому примитивному символу, включая индивидуальные переменные х1, х2, ..., хi ..., подходящий элемент из модели М. Предложение (замкнутая формула) истинно тогда и только тогда, когда имеется выполняющее его значение. Выполнение определяется рекурсивно: так, (хi)S[хi] выполняется значением v ттт существует значение, отличающееся от v только для аргумента хi и выполняющее S[хi]. Аналогичным образом, v выполняет (хi)S[хi] ттт каждое значение, отличающееся от v только по хi, выполняет S[хi]. Для пропозициональных связок выполнение характеризуется обычными табличными условиями истинности. Для атомарной формулы R(хi, хj) выполняется v ттт <v(хi), v(хj)>v(R). Совокупность этих положений и составляет рекурсивное определение истины.
Если определение истины эксплицитно формулируется в метаязыке, то этот метаязык содержит элементарную арифметику, а к синтаксису первопорядкового языка применима техника Геделя. Характеристика истинности должна иметь форму экзистенциального квантора второго порядка (или конечной последовательности таких кванторов), приписанного к первопорядковой формуле. Сама же истина определяется во второпорядковом языке, где кванторы могут быть заданы на функциях оценок. Условия истинности — свойство значения предложения, а не значения символа. Последнее должно определяться отдельно и принимается за уже известное при определении условий истинности и определении истины. Тарского критиковали за "нелегитимное" привлечение понятия символического значения, однако проект Тарского именно и направлен на определение условий истинности через символические значения, т.е. на определение значения предложения через значения составляющих его символов.
В неопределимости истины и других аналогичных негативных результатах Хинтикка видит парадигмальные воплощения такого подхода к анализу отношения языка к миру, где язык рассматривается как универсальный посредник (универсальность языка)104. Согласно универсалистской концепции, язык — неустранимый посредник между нами и миром, без которого мы не можем обойтись. Мы не можем выйти за пределы своего языка и воплощаемой им понятийной системы и видеть его со стороны, и не можем обсуждать в нашем языке отношения, связывающие его с миром. Эти отношения составляют значения слов и других выражений нашего языка; их совокупность есть то, что известно в качестве семантики этого языка. Тем самым одним из наиболее важных следствий универсалистской позиции является невыразимость семантики.
С такоей точки зрения, тот, кто верит в невыразимость семантики, вполне может разрабатывать идеи о способах связи нашего языка с миром (например, Фреге, ранний Витгенштейн, Венский кружок в период "формального способа речи", Куайн и Черч). Но такой "семантик без семантики" должен отрицать выразимость в языке основных семантических идей: они могут быть переданы лишь невербально, поскольку опираются на невыразимое и необъяснимое допонятийное предзнание. Реалистический метаязык, в котором мы могли бы обсуждать наш собственный используемый язык, является, согласно универсалистам, химерой, поскольку смысл такого метаязыка заключается в том, чтобы быть господствующей позицией, с которой мы можем обсуждать отношения нашего обычного "объектного языка" к реальности. В другом плане универсалист не может говорить об истине как соответствии.
Предположения Тарского относительно языка в целом, как языка математики, так и того, что он называл "разговорным языком", не являются очевидными и нуждаются в более тщательном исследовании. Языки, которые рассматривал Тарский — прежде всего эксплицитно выраженные формальные языки. Основа огромного влияния Тарского состоит в том, что он показал, как эксплицитно определить понятие истины для большого (и, очевидно, репрезентативного) класса таких языков. Но главное философское влияние работы Тарского, по мнению Хинтикки — в том, что он показал, при данных допущениях, что определение истины может быть дано для формального языка лишь в более сильном метаязыке. Здесь сложно полностью согласиться с Хинтиккой: вряд ли это само по себе можно считать самостоятельным результатом — скорее это приложение идей Рассела о разграничении объектного языка и метаязыка к определенной предметной области, к теории истины. Но в любом случае данный результат приводит к полному подтверждению универсалистской позиции в решающем случае истины, так как в применении к нашему реально используемому языку — "разговорному языку" Тарского — это означает, что истина может быть определена лишь в более сильном метаязыке. Но вне нашего используемого языка нет более сильного метаязыка. Поэтому в плане того, что действительно имеет философское значение, определения истины невозможны. В этом смысле истина буквально невыразима.
Однако остается спорным, соответствует ли разговорный язык условиям теоремы Тарского о такой невозможности. Тарский, очевидно, остро сознавал данную проблему. Реальные причины, по которым он возражал против определений истины в разговорном языке, фактически основаны больше на открытости и неправильности естественных языков, чем на его собственной теореме. Основная мнимая иррегулярность, которую имел в виду Тарский, состояла в неудаче его формального подхода к определению истины, т.е. в неудаче принципа композициональности, реальное значение которого в предложенной теории — семантическая независимость от контекста. Предпосылка о такой независимости от контекста в семантике естественных языков, по мнению Хинтикки, совершенно необоснованна. Он считает, что отрицательные результаты Тарского — хотя они и правильны — не закрывают проблему, а те следствия, которые им принято приписывать, весьма дискуссионны. Неопределимость таких металогических понятий как истина, общезначимость (истинность во всех моделях) и логическое следование на первопорядковом уровне показывает, что обычная первопорядковая логика в некотором важном смысле не является самодостаточной. Отсюда проясняется несогласие Хинтикки с предложением Фреге считать первопорядковые кванторы предикатами второго порядка (предикатами одноместных предикатов), которые сообщают, является ли данный предикат пустым или непустым, допускающим исключения или нет и т.д. Здесь игнорируется тот факт, что кванторы могут быть приписаны к сложным предикатам или простым более чем одноместным. В терминах теоретико-игровой семантики вопрос здесь в том, является ли наша семантическая игра игрой с полной информацией. Позиция Фреге содержит утвердительный ответ, однако такой ответ не учитывал бы различие между дескриптивной и дедуктивной функциями логики.
Когда мы говорим о логике первого порядка, что она — кванторная, то этим сказано еще не все: логика первого порядка не есть логика кванторов, которые берутся сами по себе; это — логика зависимых кванторов. Зависимость иллюстрируется такими предложениями, как
(1) хуS[х, у],
где значение у зависит от значения х. Фрегеанская же интерпретация кванторов как предикатов высшего порядка не может должным образом семантически объяснить предложение, подобное (1). Более того, это общее пренебрежение к идее зависимости кванторов привело Фреге к ошибке особого рода: в формулировке своих правил образования предложения он исключил некоторые вполне возможные (интерпретируемые) варианты зависимости и независимости между кванторами. Простейшая несводимая кванторная приставка, которую Фреге непреднамеренно исключил — это квантор Генкина, представимый ветвящейся структурой:
ху
(
2) S[х,
у, z, u]
zu
Смысл этой записи состоит в том, что y находится для всякого данного x, а u находится для всякого данного z, однако эти две процедуры происходят независимо друг от друга. (Ср. с формулой
(2") хуzuS[х, у, z, u]
где выбор u зависит не только от выбора z, но и от сделанных ранее выборов x и y.)
Однако для вывода одного квантора из области действия другого более удобно использовать линейную символику. Например, (2) может быть записано, как
(3) хz (у / z) (u / х) S[х, у, z, u],
где / — отношение независимости.
Систематическое использование линейной символики (отношения независимости, его обращения и соответствующих истинностных предикатов) порождает то, что Хинтикка называет "независимо-дружественной" или "допускающей независимость" (independence-friendly — IF) логикой первого порядка. Это сильное расширение обычной первопорядковой логики, позволяющее независимость там, где принятая запись Фреге—Рассела запрещает ее.
По мнению Хинтикки, IF-логика более адекватна в роли подлинно базисной или элементарной логики, чем классическая первопорядковая, поскольку IF-логика не привлекает идей, которые бы уже не предполагались обычной первопорядковой логикой. Единственное явное новшество, которое следует уяснить для понимания IF-логики первого порядка — это идея кванторной независимости. Но понять независимость — это значит понять зависимость, что необходимо для понимания обычной первопорядковой логики. При этом среди особенностей первопорядковых языков для IF-логики есть тот факт, что если включить в такой язык определенные средства говорить в нем самом о его синтаксисе, то можно дать полное определение истины для этого языка в нем самом. Этот результат представляет проблему определимости истины в новом свете и лишает негативный результат Тарского его философского значения. Он показывает, что предпосылки теоремы Тарского столь ограничительны, что она не применима даже к самым основным логическим языкам, которые только можно вообразить.
Определимость истины в IF-языках первого порядка есть фактически доказательство того, что тезис о невыразимости неверен и что в действительности можно обсуждать семантику языка в нем самом. Результаты, подобные тем, что получил Тарский, фактически составляют твердое ядро любого рационального основания для общего тезиса о невыразимости, но более тщательный анализ ситуации ведет к заключению, диаметрально противоположному тому, что, как обычно считают, следует из результатов Тарского. Все философское значение теорем о неполноте и неопределимости следует, по мнению Хинтикки, переоценить, поскольку он показал, что результаты Тарского не имеют тех негативных философских следствий, которые им первоначально приписывали и которые у них обычно подразумевают.
В итоге, с учетом аргументов Филда и Хинтикки, попытка выполнения Тарским требования онтологической нейтральности может вызвать следующие комментарии. Концепция Тарского не решает вопрос о природе истинности и даже, по сути, не ставит такой задачи: она лишь показывает, как от утверждений о реальности мы можем перейти к утверждениям об истинностных значениях предложений, при каких условиях мы можем это сделать — а важнейшим среди этих условий является собственно уже наличие какой-либо теории истины, представляющей собой не что иное, как ответ на вопрос о природе истинности. Сама же по себе концепция Тарского такого ответа не дает. Если я реалист, то для меня возможность утверждать "снег бел" может не означать, что это предложение вообще как-то относится к моему понятию истины, а когда я утверждаю или отрицаю предложение "Предложение "снег бел" истинно", то это предложение может быть никак не связано с возможностью утверждать первое: мои условия утверждаемости "предложение "снег бел" истинно" могут быть такими, что я не могу одновременно — в том же отношении к истине или как эквивалент предложения об истинности предложения — утверждать "снег бел". Моя эпистемическая позиция может быть такова, что "снег бел" для меня вообще не утверждение, т.е. его высказывание не позволяет истинностной корреляции (в духе Тарского) с высказыванием второго предложения, которое, поскольку в нем задействованы условия истинности, для меня является утверждением. Эта позиция может быть такова, что не позволяет эквивалентности между "снег бел" как обыденным высказыванием, имеющим свое специфическое назначение в языке, и "истинно, что снег бел" как высказыванием, привлекающим условия истинности и опирающимся на понятие истинности. Чтобы высказать первое, мне вообще не нужно понятие истины.
Часто утверждается, что концепция Тарского представляет дефляционную концепцию истинности105, показывая, как могут быть эквивалентны предложение языка и предложение, приписывающее этому предложению истинностное значение. Однако Тарский устанавливает эту эквивалентность через понятие имплицированности предложения об истинности предложении в утверждении самого оцениваемого предложения – что не очевидно, поскольку эту связь импликации не следует принимать как нечто само собой разумеющееся: в этом случае тезис (устанавливающий эквивалентность между двумя видами предложений) окажется предпосылкой, как это у Тарского и происходит. По-видимому, более обоснованным является мнение Керкэма, приписывающего Тарскому онтологический наивный реализм106: по его мнению, возражения Тарского против определения его концепции как реалистической (параграфы 18 и 19 статьи "Семантическая концепция истины...") носят эпистемологический, а не онтологический характер.
В любом случае концепцию истины Тарского правильно будет определить как модификацию формально-логической концепции истины, поскольку и та, и другая показывают, как при выводе одного предложения из других его истинностные значения последних сохраняются в выводе и обусловливают его истинностное значение, но не решают вопрос о природе истинности посылок. Это означает, что концепция истины Тарского не может быть удовлетворительнее, чем корреспондентная или другие классические концепции истины в том отношении, что она не решает и даже не ставит перед собой тех задач, для решения которых разрабатывались эти концепции. Концепция Тарского по отношению к ним нейтральна, но нейтральность по отношению к теориям истины еще не делает ее онтологически нейтральной. Ее тезис фактически применим к любым критериям истины, которые могут появиться в рамках грамматических структур, совместимых со структурами знакомых нам естественных языков: она представляет собой скорее надстройку над теорией истины, чем теорию истины в собственном смысле слова, и унаследует онтологические обязательства той теории истины, которая будет использована в ее рамках.
5. Философия лингвистического анализа
5.1 "Лингвистический поворот" в философии хх века
Как пишет В.А.Ладов, "Конечно же, термин "аналитическая философия" очень широк, велико количество тематических и методических "оттенков" в исследованиях тех мыслителей, кого, так или иначе, причисляют к данной традиции. И все же общее эпистемологическое ядро не вызывает сомнений — это "лингвистический поворот" в философии, к которому напрямую причастны "классики" аналитической традиции: Г. Фреге, Б. Рассел, Д. Мур, Л. Витгенштейн. Стремясь все к той же "ясности и отчетливости" данного, философ-аналитик, после совершения "лингвистического поворота", спрашивает уже не о мире самом по себе, а о том, что мы имеем в виду, когда говорим о мире, т.е. о смысле и корректности построения наших высказываний о мире."1
Трудно уже определить кому принадлежит ставший ныне знаменитым термин "Лингвистический поворот"2, однако книга с таким названием вышла в 1967 году (второе, расширенное издание — 1992) под редакцией Ричарда Рорти, которого, в ходе его эволюции, неоднократно упрекали за ренегатство от аналитики, однако чьему развитию —в направлении гуманитарных наук — нельзя отказать в определенной логике.
Книга содержит 37 текстов 29 авторов (некоторых из них по несколько текстов или в соавторстве) и 2 дискуссионные группы, объединенные в 4 темы; редакторское предисловие, введение и библиографию, насчитывающую 985 работ (преимущественно на английском языке), посвященных лингвистическому методу в философии и смежным темам, появившимся в период с 1930 по 1965 год. Эта библиография, составленнная Джеромом Неу и Ричардом Рорти, включает дискусссии, сопоставляющие лингвистические и различные философские методы, а также ссылки на другие расширенные библиографии и перекрестные ссылки.
Все эти работы были опубликованы ранее (некоторые из них, правда, были переведены здесь на английский впервые). Среди них такие темы, как "Классические утверждения тезиса о том, что философские вопросы являются вопросами языка" (тексты Морица Шлика, Рудольфа Карнапа, Густава Бергманна, Гилберта Райла, Джона Уиздома, Нормана Малькольма); "Метафилософские проблемы философии идеального языка", — Ирвинг Копи, Макс Блэк, Элис Эмброуз Лазеровитц, Родрик Чизом, Джеймс У. Корнман, Уиллард ван Орман Куайн; "Метафилософские проблемы философии обыденного языка" — Чизом, Джон Пассмор, Гровер Максвелл и Герберт Фейгль, Манли Томпсон, Ричард Хеэр, Пол Хенле, Питер Гич, Корнман, Дж.О.Урмсон, Стюарт Хэмпшайр, Дж. Уорнок, Стэнли Кэвелл; "Пересмотры, переоценки и перспективы" — Дадли Шапир, Хэмпшайр, Урмсон, "Royaumont Colloquium", П.Ф.Стросон, Макс Блэк, Джерролд Дж. Катц, Иегошуа Бар-Хиллел.
Вступительная статья (самый большой текст в книге) начинается со впечатляющего сравнения других революций в философии с "лингвистическим поворотом" — взгляда, согласно которому философские проблемы могут быть решены (или элиминированы) либо путем реформирования нынешнего языка (в данном случае преимущественнно имеется в виду язык науки), либо путем его лучшего, более адекватного понимания, устранения из него путаницы. На этом, в частности, основании ряд исследователей (в особенности причисляющие АФ к неопозитивизму) приходит к выводу о том, что, в отличие от логического анализа языка, задача философа-аналитика с точки зрения лингвистической философии (прежде всего атрибутируемой позднему Витгенштейну) состоит не в том, чтобы реформировать язык в соответствии с некоторой логической нормой, а в детальном анализе действительного употребления естественного разговорного языка с тем, чтобы устранить недоразумения, возникающе вследствие неправильного его употребления. Так, согласно лингвистической философии, такой анализ приводит к выявлению причин постановки философских проблем, которые будто бы возникают в результате неправомерного расширения обыденного словоупотребления. Возражая против любых проявлений техницизма в философии, связанного с использованием специального понятийного аппарата, и отстаивая чистоту употребления естественного языка, лингвистическая философия противопоставляет себя сциентизму в философии — в частности, сциентизму логического позитивизма.
Однако задача Рорти далеко не сводится к этому противопоставлению. Рорти обсуждает некоторые из попыток обосновать эти воззрения, иследует предполагаемый беспредпосылочный характер лингвистической философии, пробует урезонить извечную междоусобицу сторонников анализа идеального и обыденного языков и в итоге приходит к выводу (который он через несколько десятков лет значительно пересмотрел — или, точнее, расширил) о том, что будущее философии напрямую зависит от ее лингвистических анализов. Можно сказать, таким образом, что Рорти — это метафилософский критик, чье исследование направлено не на конкретные темы, стили или терминологии в философии, но на то, каким образом философские проблемы могут представлять собой нечто иное, нежели рост напряжения или изменение динамики соотношения между этими темами, стилями или терминологиями. Представляется важным подчеркнуть это, поскольку понимание этого практически полностью, самым прискорбным образом отсутствует в отечественной среде, считающейся философской, но тем не менее самым простодушным образом считающей философов-аналитиков сводящими философские проблемы к языковым.