Анализ языка и развитие логической теории

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

Для логики важны общие логические закономерности мышления, реализуемые в тех или иных языковых конструкциях. Логические компоненты — важный фактор образования высказываний и организации текста.

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

В логике правильным способом рассуждения является такой, который никогда не приводит от истинных предпосылок к ложным заключениям. Это требование вводит в соприкосновение логику как теорию вывода с семантикой. Вывод считается корректным тогда и только тогда, когда условия истинности его предпосылок составляют подмножество условий истинности его заключений.

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

Отсюда делается вывод о том, что необходима ревизия семантического способа обоснования логического вывода с целью расширения сферы его применения.

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

Основным инструментом во всех вариантах теоретико-модельной семантики является рекурсивное определение истинности.

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

Одна из важных проблем логического анализа естественных языков — проблема единой логической структуры предложений. Ее актуальность обусловлена прежде всего тем обстоятельством, что, с одной стороны, аппарат классической логики предикатов интерпретируется обычно на объективированных высказываниях типа «Снег бел», «Земля вращается вокруг Солнца» и т.п. С другой стороны, встречается большое количество релятивизованных к говорящему предложений, логическая структура которых до конца не ясна и, как представляется на первый взгляд, не согласуется со стандартными представлениями о логической структуре. Таковы, например, предложения: «Снег бел!», «Идет дождь?», «Увы, Земля вращается вокруг Солнца», «Я обещаю прийти» и т.п. Иначе говоря, существует проблема согласования релятивизованных и объективированных предложений в рамках некоторых единых представлений об общей логической структуре предложений естественных языков.