Альфред Тарский - Семантическая концепция истины и основания семантики

Для некоторых людей метафизика есть общая теория объектов (онтология) – дисциплина, которую можно разрабатывать чисто эмпирическим путем и которая отличается от других эмпирических наук только своей общностью. Я не знаю, существует ли реально такая дисциплина (некоторые циники утверждают, что для философии обычное дело – крестить еще не родившихся младенцев), однако, думаю, что в таком истолковании метафизика ни у кого не может вызвать возражений, и едва ли она имеет какую-либо связь с семантикой.

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

Другие настаивают на том, что метафизический характер той или иной науки зависит, главным образом, от ее словаря и более конкретно от ее исходных терминов. Термин считается метафизическим, если он не является ни логическим, ни математическим и если он не соединен с эмпирической процедурой, позволяющей нам установить, существует ли вещь, обозначаемая данным термином, или нет. В отношении такого понимания метафизики достаточно напомнить, что мета-язык включает в себя неопределяемые термины лишь трех видов: (1)термины логики, (2)термины соответствующего объектного языка и (3)имена выражений объектного языка. Отсюда ясно, что в мета-языке нет неопределяемых метафизических терминов (опять-таки если их нет в самом объектном языке).

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

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

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

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

Надеюсь, что до некоторой степени можно развеять эти сомнения и что определенный оптимизм в отношении потенциальной ценности семантики для различных областей мышления не лишен оснований.

Для оправдания этого оптимизма, как мне кажется, достаточно указать на два очевидных момента. Во-первых, разработка теории, которая формулирует точное определение некоторого понятия и устанавливает его общие свойства, создает тем самым прочную основу для всех рассуждений, в которые включено это понятие. Следовательно, она не может быть безразлична тому, кто использует это понятие и хочет делать это ясным и непротиворечивым способом. Во-вторых, семантические понятия реально входят в различные области науки, в частности эмпирической науки.

Тот факт, что в эмпирическом исследовании мы имеем дело только с естественными языками, к которым теоретическая семантика применима лишь с определенным приближением, не оказывает существенного влияния на проблему. Хотя, конечно, вследствие этого прогресс в семантике будет оказывать замедленное и ограниченное влияние на эту область. Ситуация, с которой мы здесь сталкиваемся, существенно не отличается от той, которая возникает при наших попытках применять законы логики к аргументации в повседневной жизни или вообще в применениях теоретической науки к эмпирическим проблемам.

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