Понятие смысла Фреге имеет познавательную функцию: оно вводится прежде всего для решения проблемы познавательной ценности, или информативности, истин-
Фрегевская традиция нашла продолжение в исследованиях современных логиков — Д. Дэвидсона, Д. Льюиса, Р. Монтегю, Д. Каплана, М. Крессвелла, Я. Хинтикки и др. Они ставят перед собой цель объяснить, как выражения естественного языка могут использоваться для передачи информации о мире, и предполагают в качестве фундаментальных для анализа семантики выражений языка использование понятий истины и указания, или референции. Действительно, для лингвиста не существенно, какие предложения языка выражают истину, а какие — ложь (т. е. знание истинностного значения предложения), какие выражения обозначают один и тот же предмет, а какие — нет, однако он должен установить, при каких условиях то или другое предложение выражает истину (т. е. знание истинностных условий предложений языка)1, ибо именно знание условий, при которых данное предложение выражает истину, является важным для его понимания носителями языка. Хотя выяснение истинности предложений есть дело конкретных наук, изучение истинностных условий обоснованно относится к компетенции семантики (см. 119). Таким образом, идея смысла предложения здесь рассматривается как неотделимая от информации относительно того, что данное предложение является истинным, что мир соответствует истинностным условиям предложения. Поэтому построение семантической теории естествен- 1 Хотя Монтегю, например, полагает, что данные, относящиеся к действительному истинностному значению предложений, являются контрольными для любой семантической теории, семантическая теория не является адекватной, если в ней можно получить ложные предложения в качестве следствий истинных предложений (221). 4 Заказ № 67949 ного языка рассматривается как построение теории истины для выражений этого языка, следующей в принципиальных чертах теории истины, предложенной Тарским для формализованных языков (см. 300). Последняя представляет собой конечную аксиоматизированную теорию, множество теорем которой состоит из биусловных предложений (т. е. предложений, соединенных связкой «если и только если»), или так называемых Т-предложений, получаемых из схемы «s является истинным, если и только если р» (например, «Предложение «Снег является белым» истинно, если и только если снег является белым»). Здесь s заменяется именем или описанием предложения, а «р»— самим предложением, представляющим истинностные условия, или его переводом в зависимости от того, содержится ли объектный язык в метаязыке. Существенным для данной схемы является то, что теория характеризует истинность предложения, не используя концептуальных средств, не содержащихся в рассматриваемом предложении. — 35 —
|