Проблема смысла

74

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

В указанной теории собственные имена являются «логически определенными» относительно рассматриваемой интерпретации, т. е. их экстенсии понимаются как инвариантные относительно возможных миров и контекстов их употребления, что выражается формулой (х)П {х~а), где а ?— имя, (х) — квантор общности, х — индивидная переменная, П — модальный оператор необходимости (224, с. 235). Иными словами, полагается, что имеется фиксированное множество индивидов (как возможных денота-ций имен), которое является областью значения функций, конституирующих их смыслы. Таким образом, если i — .возможный мир и Ei — множество объектов, существующих в i, тогда объединение множеств Ei для всех i в данной интерпретации может рассматриваться как множество всех возможных индивидов. Семантический статус имен в работах Монтегю претерпел значительные изменения, что связано с исследованием аналогии между именами и кванторными выражениями75