Аналитическая философия

тот признак, обладание которым является [для атомарного предложения] необходимым и достаточным, если каждое сложное предложение должно быть определено как истинное или иначе в соответствии с его составом из атомарных предложений... Семантическое значение атомарного предложения (и, следовательно, любого предложения) является именно его истинностным значением – истинно оно или нет... Сначала мы устанавливаем, что семантическое значение сингулярного термина – это тот конкретный объект, к которому он имеет референцию: тогда из этого следует, что семантическое значение одноместного предиката дается, устанавливая, для каких объектов он является истинным, двухместного предиката – для какой пары объектов он является истинным, и т.д.388.

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

Даммит описывает различие между смыслом и референцией, заявляя, что смысл есть компонент значения, и поэтому дать теорию смысла выражения значит дать (частично) некоторую теорию того, что знает говорящий, когда он понимает это выражение. Рассматривая смысл как определение референции, мы тем самым предполагаем, что таким образом принят во внимание вклад внеязыковой действительности. Так, Фреге расценивал различие между смыслом и референцией как одно из своих фундаментальных открытий – смысл выражения не может состоять только в его наличии у него референции, какой бы она ни была. С такой точки зрения, смысл определяет референциальное/семантическое значение. Последнее представляет собой признак, который является необходимым и достаточным для определения истинности предложения: для того, чтобы предложение имело семантическое значение, оно должно быть способно быть истинным или ложным, и оно должно в самом деле быть или истинным, или ложным. Смысл выражения определяет его семантическое значение и, поскольку семантическое значение является или истинным, или ложным, определяет его как истинное или ложное. Референция есть семантическое значение, поэтому смысл выражения определяет его референцию и, поскольку референция указывает только на истинность или ложность, определяет его как истинное или ложное. Эта теория смысла определяет референцию слов (это – основополагающий тип теории, построенный на сингулярных терминах и остенсивном определении) при условии, что внеязыковая действительность принята во внимание и отношение языковых выражений к ней служит предметом этой теории.

Такое различение между смыслом и референцией очевидно может быть рассмотрено как направленное против стандартной семантики Дэвидсона. Здесь два отправных пункта.

Тарский стремился произвести преобразование неформальной классической семантики в формальное определение истины для формализованного языка. В результате мы имеем предметом два формализованных языка – объектный язык и метаязык, в котором мы определяем истину для объектного языка.