Эмпиризм, семантика и онтология

Недавно проблема абстрактных объектов снова встала в связи с семантикой, теорией значения и истины. Некоторые семантики говорят, что определенные выражения обозначают определенные объекты; в число этих обозначаемых объектов они включают не только конкретные материальные вещи, но также и абстрактные объекты, например свойства, обозначаемые предикатами, и суждения, обозначаемые предложениями[2]. Другие резко возражают против этой процедуры как нарушающей основные принципы эмпиризма и ведущей назад к метафизической онтологии платоновского типа. Целью этой статьи является выяснение этого спорного вопроса.

Если кто-либо хочет говорить на своем языке о новом виде объектов, он должен ввести систему новых способов речи, подчиненную новым правилам; мы назовем эту процедуру построением языкового каркаса для рассматриваемых новых объектов. А теперь мы должны различить два вида вопросов о существовании: первый — вопросы о существовании определенных объектов нового вида в данном каркасе; мы называем их внутренними вопросами; и второй — вопросы, касающиеся существования или реальности системы объектов в целом, называемые внешними вопросами. Внутренние вопросы и возможные ответы на них формулируются с помощью новых форм выражений[3]. Ответы могут быть найдены или чисто логическими методами, или эмпирическими методами в зависимости от того, является ли каркас логическим или фактическим. Внешний вопрос имеет проблематический характер, нуждающийся в тщательном исследовании.

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

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

Принятие новых объектов выражается в языке введением языкового каркаса—новых форм выражений, которые должны употребляться в соответствии с новой группой правил. Здесь могут быть новые имена для конкретных объектов соответствующего рода; но некоторые такие имена могут уже встречаться в языке до введения нового каркаса (так, например, вещный язык содержит слова типа «синий» и «дом», конечно, до введения каркаса для свойств; и он может содержать слова, подобные «десять» в предложениях вида «у меня десять пальцев», до введения каркаса для чисел). Последний факт показывает, что наличие постоянных соответствующего типа — рассматриваемых как имена объектов нового рода после того, как введен новый каркас,— не является достаточно надежным признаком принятия нового рода объектов. Поэтому введение таких постоянных не должно рассматриваться как существенный шаг при введении каркаса. Двумя существенными шагами являются скорее следующие. Во-первых, введение общего термина, предиката более высокого уровня для нового рода объектов, позволяющего нам сказать о каждом частном объекте, что он принадлежит к этому роду (например, «Красное есть свойство», «Пять есть число»). Во-вторых, введение переменных нового типа. Новые объекты являются значениями этих переменных; постоянные (и замкнутые сложные выражения, если таковые имеются) подставляются вместо этих переменных[6]. С помощью этих переменных могут быть сформулированы общие предложения о новых объектах.

Куайн был первым, кто признал важность введения переменных, как указания на принятие объектов. «Онтология, к которой обязывает человека употребляемый язык, охватывает именно те объекты, которые он рассматривает как входящие... в область значений его переменных»

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

Введение новых способов речи не нуждается в каком-либо теоретическом оправдании, потому что оно не предполагает какого-либо утверждения реальности.

От внутренних вопросов мы должны ясно отличать внешние вопросы, то есть философские вопросы, касающиеся существования или реальности всей системы новых объектов в целом. Многие философы рассматривают вопрос такого рода как онтологический вопрос, который должен быть поставлен, и ответ, на который должен быть получен до введения новых языковых форм. Это введение, как они считают, будет законным только в том случае, если оно будет оправдано онтологической интуицией, дающей утвердительный ответ на вопрос о реальности. В противоположность этому взгляду мы полагаем, что введение новых способов речи не нуждается в каком-либо теоретическом оправдании, потому что оно не предполагает какого-либо утверждения реальности. Мы можем все же говорить (как мы и делали) о «принятии новых объектов», поскольку эта форма речи является обычной, но при этом следует иметь в виду, что эта фраза не значит для нас ничего больше, кроме принятия нового языкового каркаса, то есть новых языковых форм. Прежде всего она не должна интерпретироваться как относящаяся к допущению, вере или утверждению «реальности объектов». Ничего этого здесь нет. Предложение, претендующее на утверждение реальности системы объектов, является псевдоутверждением, лишенным познавательного содержания. Конечно, здесь перед нами стоит важный вопрос; но это практический, а не теоретический вопрос; это вопрос о том, принять или не принять новые языковые формы.

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

Дополнительно:

Формализованные языки – это языки, построенные как исчисления.

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

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

[1] Т.е. содержащие свободные переменные.

Дата добавления: 2015-07-16