ВЕСТНИК ВГУ, Серия “Лингвистика и межкультурная коммуникация”, 2004, № 2 ЛОГИКА СМЫСЛА © 2004 А. С. Кравец Воронежский государственный университет (Статья подготовлена при финансовой поддержке РГНФ. <...> ) В данной работе мы хотели бы рассмотреть одно из самых существенных свойств смысла: его логичность. <...> Поэтому подлинное царство смысла в духе, в сознании человека. <...> Это специально созданная для выражения смысла система, всеобщий хранитель и транслятор человеческих смыслов. <...> Очевидный ответ выглядит довольно просто: логичное – это то, что подчиняется законам логики. <...> Вопрос о приложимости формальной логики к обыденному языку и коммуникации дискутируется весьма продолжительное время. <...> Уже в самом названии “формальная логика” как бы допускается мысль, что естественный язык обычно выходит за пределы указанной формальности. <...> Проблема состояла в том, что понимание речевых актов базируется на умозаключениях, которые выводятся не столько из эксплицитной, манифестируемой в речи формы высказывания, сколько из имплицитных предпосылок, включающих распознавание намерений говорящего, учет контекста и социокультурных норм коммуникации. <...> Лакофф назвал ее “естественной логикой”, т. е. логикой, при ЛОГИКА СМЫСЛА сущей употреблению естественного языка. <...> Основное противостояние развернулось по вопросу: можно ли построить такую логику (формализованную систему), которая учитывала бы особенности естественной логики, или же различия между естественной логикой и требованиями формализации являются настолько принципиальными, что ни о какой формализованной логике речевых актов не может быть и речи. <...> Помимо присущей языку неоднозначности лексем существует ряд других барьеров на пути формализации естественной логики. <...> Вывод следствий из суждения предполагает использование формальных символов, таких как ~ (отрицание), ∧ (конъюкция), ∨ (дизъюнкция), ⊃ (следование), ∀(x) (квантор всеобщности), ∃( )x (квантор ix (квантор единственности <...>