Язык, онтология и реализм

являемся смертными существами, необходимо принять, что «поддающийся изучению язык имеет конечное число семантических примитивов» [Дэвидсон, 2003, с. 34] и мы в состоянии понимать все остальные выражения только потому, что их значение обусловливается значением содержащихся в них этих семантических примитивов и правилами, указывающими, как значение сложных выражений определяется на основе значений простых выражений и способов их соединения. Согласно Дэвидсону, композициональность объясняет не только, как мы обучаемся языку, но и чему именно мы обучаемся. Кроме того, благодаря композициональности естественного языка его теория значения допускает конечную аксиоматизацию, т. е. она может (и должна, считает Дэвидсон) быть представлена как система, содержащая конечный набор аксиом, из которых для каждого из потенциально бесконечного числа предложений естественного языка выводится теорема, задающая его значение.

Во-вторых, теория значения должна быть холистской, т. е. она должна признавать семантическое первенство предложений над словами, т. е., иначе говоря, зависимость значения слов от значения предложений, в которых они встречаются. На первый взгляд, этот холизм несовместим с композициональностью языка: если значение предложения есть функция от значений его составных частей, последние должны иметь семантическое первенство, однако у Дэвидсона холизм — лишь обратная сторона композициональности. Поскольку единицей коммуникации, по его мнению, выступает не отдельное слово, а предложение в целом, значение слова определяется тем систематическим вкладом, который оно вносит в содержащие его предложения и извлекается из значения этих предложений в соответствии с той ролью, которую оно в них играет. Мы знаем значение слова, только если понимаем предложения, в которых оно встречается. Вместе с тем, считает Дэвидсон, нельзя понимать отдельное предложение, не понимая других предложений, в которых встречаются его составные части, но эти другие предложения включают новые составные части, которые, в свою очередь, могут быть поняты, только если мы обратимся к тем предложениям, которые их содержат и т. д. В результате любое слово и любое предложение может быть понято, только если поняты все слова и все предложения. Как пишет Дэвидсон, «если значение предложений зависит от их структуры и мы понимаем значение каждого элемента этой структуры только как абстракцию, полученную из всей совокупности предложений, в которых этот элемент фигурирует, то мы можем задать значение любого предложения (или слова), только задав значение каждого предложения (или слова) в языке. Фреге говорил, что только в контексте предложения слово имеет значение; в том же духе он мог бы добавить, что предложение (и, соответственно, слово) имеют значение только в контексте всего языка» [Davidson, 1984, p. 22]. Из сказанного следует, что первая и основная цель теории значения — это показать, как задается значение предложений.

В-третьих, в вопросе о значении предложения Дэвидсон обращается к идее, согласно которой значение предложения можно задать, сформулировав условия, при которых оно является истинным. Корни этой идеи можно найти у Фреге [Frege, 1884, § 32], считавшего, что мысль или смысл, выражаемый предложением, определяется условиями, при которых предложение-имя обозначает Истину, однако более приемлемую формулировку этой идеи, не предполагающую трактовку предложений как имен истинностных значений, дал Витгенштейн в «Логико-философском трактате»: «…знать значение предложения — значит знать, что имеет место, когда оно истинно» (4.024) [98]. Но главным апологетом и выразителем этой идеи стал Дэвидсон, положивший ее в основу своей теории значения, которая получила поэтому название истинностно-условной семантики (truth conditional semantics). По существу, эта идея означает, что для понимания предложения нам не нужно знать, является ли оно истинным или ложным, но нам нужно знать, что имеет место в мире, когда это предложение истинно. Важно отметить, что для Дэвидсона тезис о том, что «задание условий истинности есть способ задания значения предложения» [Дэвидсон, 2003, с. 54], не является простым допущением в теории; он пытается его обосновать, продемонстрировав неприемлемость иных традиционных трактовок значения предложений.

Итак, по замыслу Дэвидсона, теория значения должна содержать конечный набор аксиом, из которого для любого предложения s языка L выводилась бы теорема, задающая его значение. Наибольший интерес для Дэвидсона представляет вопрос о том, какую форму должны иметь теоремы в теории значения, отвечающей сформулированным им требованиям. Он начинает с рассмотрения предположения, что эти теоремы должны иметь форму:

(1) s означает m,

где s — предложение из языка L, а m — его значение. По мнению Дэвидсона, в этой форме предложения соотносятся с их значениями как с особыми абстрактными сущностями. Подобно Куайну, Дэвидсон отвергает идею, согласно которой значением выражения является связываемая с ним сущность, но делает это по несколько иным причинам; как он отмечает, его «возражения против значений (как сущностей — Л.М.) … состоят не в том, что они абстрактны или что условия их идентификации неопределенны, а в том, что их использование ни в чем не проявляется» [Davidson, 1984, p. 21]. Ситуация принципиально не улучшится, считает Дэвидсон, если мы изменим форму задающей значение теоремы следующим образом:

(2) s означает, что p ,

где s заменяется именем предложения из L, а p — предложением метаязыка, определяющим его значение. Хотя в этом случае выражение «означает, что» является сентенциальным оператором, а не функцией, соотносящей имена с сущностями, оно создает интенсиональный контекст и сопряжено поэтому с крайне сложными проблемами [99]. Тем самым Дэвидсон отвергает семантические теории, в которых для характеристики значения (понимаемого, скажем, как употребление) допускается использование интенсиональных понятий. Единственный выход он видит в том, чтобы отказаться в теории значения от такого «обильного рациона» [100]. Для этого он предлагает заменить в рассматриваемой схеме интенсиональное выражение «означает, что» экстенсиональной истинностно-функциональной связкой эквиваленции, выражаемой словами «если и только если». Выбор этой связки объясняется тем, что в теории значения должна устанавливаться эквивалентность по значению между s и p. Чтобы эта замена была корректной, нужно превратить имя «s» в предложение, а для этого Дэвидсон вводит предикат T и тем самым получает следующую форму задающей значение теоремы:

(3) s есть T, если и только если p .

Эта схема будет выполнять возложенную на нее функцию (т. е. будет задавать значение предложения s), если, считает Дэвидсон, s будет описанием предложения объектного языка, указывающим, как оно составлено из значимых частей, а р будет замещаться самим s (в случае когда объектный язык является частью метаязыка) или переводом этого предложения s на метаязык. Теперь остается только уточнить, что представляет собой предикат T. По мнению Дэвидсона, этот предикат должен быть таким, чтобы все задающие значение теоремы были истинными, т. е. чтобы «s есть T» было истинно, когда истинно p , и ложно, когда ложно р. Наиболее подходящим кандидатом в этом случае оказывается предикат «истинно», и в результате мы имеем окончательную форму задающей значение теоремы:

(T) s истинно, если и только если p .

А это есть не что иное, как «условие адекватности» или «конвенция Т» из теории Тарского. Как пишет Дэвидсон, «для получения этого вывода мы прошли довольно извилистый путь, однако сам вывод можно сформулировать просто: теория значения для языка L показывает, „каким образом значения предложений зависят от значений слов“, если в ней содержится (рекурсивное) определение истинности в языке L» [Дэвидсон, 2003, с. 53]. Таким образом, согласно Дэвидсону, условие адекватности определяет условия истинности для каждого правильно построенного предложения языка L и тем самым обеспечивает все, что должна дать нам теория значения, задача которой — показать, как приписываются значения предложениям этого языка.

Как известно, Тарский очень пессимистически оценивал возможности применения его теории к естественным языкам в силу ряда особенностей последних: во-первых, из-за их семантической