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

сказываний), необходимо, как известно, иметь независимое от соответствующего формализма (интуитивное) понятие общезначимости как того, что свойственно всем общезначимым выражениям рассматриваемого языка. Общезначимые выражения в этом смысле обозримы до по-строения формализма, служащего их экспликации. При этом требуется, чтобы общезначимость, как она определяется в логическом исчислении, или формальное определение общезначимости, соответствовала интуитивному ее пониманию. Установление общезначимости данного выражения за конечное число шагов означает указание разрешающей процедуры для рассматриваемого свойства выражения. Аналогично этому, чтобы адекватно описать естественный язык, необходимо располагать независимым от конкретного лингвистического исчисления, или метода семантической репрезентации, понятием синтаксической и семантической правильности выражения этого языка.

Можно ли таким же образом рассматривать выражения естественного языка? Есть ли нечто, что присуще всем и только правильно построенным его выражениям, что знает лингвист или логик, когда он приступает к экспликации посредством некоторого формализма, посредством задания формального определения правильности языковых выражений как построения разрешающей процедуры для рассматриваемого свойства языковых выражений? Эти вопросы требуют специального анализа, к которому мы и перейдем.

2. ОСМЫСЛЕННОСТЬ И СЕМАНТИКА ЯЗЫКА

Разграничение синтаксического и семантического компонентов грамматики в интерпретативной концепции обоснованно влечет разграничение двух аспектов правильности построения языкового выражения естественного языка — синтаксического и семантического. Аналогию между логическим и лингвистическим исчислениями видят в следующем. При построении формального языка, осуществляемом посредством указания его первичных знаков и правил образования его выражений, предполагается возможность определенной семантической интерпретации порождаемых соответствующим исчислением выражений языка. При этом, как правило, исключается ситуация, когда некоторые выражения языка вовсе не получают интерпретации и потому ничего не утверждают о рассматриваемом множестве объектов. Однако, если предположить принципиальную

194

возможность такой ситуации, например за счет расширения логического исчисления или определенной стандартной его интерпретации, тогда язык, порождаемый таким исчислением, будет содержать как синтаксически неправильно построенные выражения, так и бессмысленные, но синтаксически правильно построенные выражения. В качестве такого — «интерпретационно неполного» языка — и рассматривается естественный язык (см. 178).