|
№ Таким образом, наш анализ еще раз показывает, что при всем возможном многообразии критериев отождествления объектов основой такого отождествления, как и определения содержания осуществляемого посредством языковых выражений указания на объекты, является информация, содержащаяся в конкретных концептуальных системах как части определенного контекста употребления языковых выражений. Именно ссылка на такого рода информацию и дает, как мы увидим, необходимую предпосылку решения двух других фундаментальных проблем современного логико-философского анализа естественного языка — установления критериев осмысленности языковых выражений и проблемы анализа соотношения мнения и знания. Глава IV ОСМЫСЛЕННОСТЬ ЯЗЫКОВЫХ ВЫРАЖЕНИЙ: ПРОБЛЕМА КРИТЕРИЕВ 1. ЛИНГВИСТИЧЕСКИЕ И ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ: ГРАНИЦЫ ИХ АНАЛОГИИ Целесообразность сопоставления двух факторов — концептуальной системы носителя языка и постулируемой «семантики языка» — очевидна при рассмотрении вопроса об осмысленности языковых выражений как проблемы ус~ тановления критериев осмысленности при поиске критериев правильности их построения. Построение семантической теории естественного языка в этом смысле можно рассматривать как попытку построения разрешающей процедуры для понятия «осмысленное выражение естественного языка» и тем самым как попытку систематического разграничения осмысленных и бессмысленных выражений. Проведение такого разграничения базируется на предположении, что осмысленные выражения образуют рекурсивное множество: речь идет об объяснении способности носителей языка порождать, соответственно распознавать не только осмысленные выражения, но и бессмысленные. Попытка построения такой разрешающей процедуры, как было показано выше, в современных формальных исследованиях естественного языка осуществляется путем построения определенного исчисления, посредством которого определяется правильность строения, а в семантическом аспекте — осмысленность языкового выражения. Такое исчисление, рассматриваемое в качестве некоторой формальной системы, можно назвать лингвистическим исчислением. Для логического исчисления проблема разрешимости, как известно, состоит в установлении того, является данная последовательность знаков, т. е. выражение данного 190 языка, теоремой или нет. Успешность проведения аналогии между логическим и лингвистическим исчислениями, очевидно, зависит от возможности рассмотрения в качестве теорем конечных выражений, порождаемых посредством правил лингвистического исчисления. В логическом исчислении семантическим аналогом синтаксического понятия «теорема» является понятие «общезначимое выражение». Идея построения логического исчисления — в кодификации, систематизации того, что называют «логическими истинами», т. е. общезначимых выражений: соответствующий формализм служит для спецификации таких общезначимых выражений, которые слишком сложны для интуитивного понимания логика. Соответственно логическое исчисление полагается адекватным, если оно порождает все и только общезначимые выражения. Так как множество таких выражений является бесконечным, оно не может быть охарактеризовано перечислением его членов: такая характеристика достигается абстракцией специфической рекурсивной структуры. — 144 —
|