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

В разное время семантическую концепцию истины упрекали в том, что она включает в себя некоторые метафизические элементы. Упреки подобного рода предъявлялись не только теории истины, но всей области теоретической семантики [34].

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

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

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

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

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

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

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

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