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

В-третьих, в вопросе о значении предложения Дэвидсон обращается к идее, согласно которой значение предложения можно задать, сформулировав условия, при которых оно является истинным. Корни этой идеи можно найти у Фреге [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.