Шепот на ветру - [47]

уровни и логические типы), что структуры, лежащие в основе языка, в обеих главных категориях, обычно различаемых лингвистами (существительные и глаголы), образуют множество иерархий, определяемых логическим включением (логическими уровнями). Это упорядочение по логическому включению типично для лингвистических преобразований, и явно не характерно для многих паттернов на уровне ПД – что составляет важное различие при выборе способов вмешательства в приложениях паттернов НЛП к изменению поведения. Для нашей нынешней цели отметим следующие дальше отображения, связывающие паттернирование в НЛП, паттернирование в естественном языке и формальные логические системы.

В самом элементарном разделе формальной логики, в исчислении предложений, начатом еще греками, делается попытка формально определить правила правильного рассуждения. Все это предприятие решающим образом зависит от набора логических связок – таких операторов как И, ИЛИ, ЕСЛИ → ТО, НЕ и т.д. Определение этих операторов задается таблицами истинности. Например, таблица истинности для оператора И задается следующим образом:

Таблица истинности, определяющая оператор И

Sⁱ             S^j       Sⁱи S^j

T             T        T

T             F        F

F             T        F

F             F       F

(где T = истинно и F = ложно)

Таблица читается следующим образом: два левых столбца содержат множество из всех четырех возможных перестановок символов T (истинно) и F (ложно) для отдельных предложений Sⁱ и S^j. В третьем столбце перечисляются истинностные значения конъюнкции (соединения оператором И двух предложений Sⁱ и S^j). В итоге истинностная таблица говорит, что если в нашей логической системе заданы два произвольных, правильно построенных повествовательных предложения, то конъюнкция этих двух предложений (соединенных оператором И) истинна в том и только в том случае, когда оба предложения Sⁱ и S^j сами верны, и ложна во всех других случаях.

Истинностная таблица, определяющая оператор ИЛИ

Sⁱ             S^j       Sⁱ или S^j

T             T       T

T             F       T

F             T       T

F             F       F

Эта таблица читается таким же образом и говорит, что если в нашей логической системе задано два произвольных, правильно построенных повествовательных предложения, то дизъюнкция этих двух предложений истинна в том и только в том случае, если одно из этих отдельных предложений или оба истинны, и ложно в противном случае (то есть в случае, когда Sⁱ и S^j оба ложны).

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

Я устал

Вы носите зеленое платье

и если оба эти предложения оказываются при проверке правильными (то есть истинными на языке формальной логической системы), то их конъюнкция, то есть предложение

Я устал и вы носите зеленое платье

считается правильным (истинным). В самом деле, если вы спросите себя, при каких условиях вы сочтете последнее предложение правильным, то вы легко придете к выводу, что сочтете его правильным в точности в том случае, если правильны оба отдельных предложения. Это превосходно согласуется с формальным определением логического оператора И.

Теперь задайте себе параллельный вопрос, при каких условия вы сочтете дизъюнкцию

Я устал или Вы одеты в зеленое платье

точным описанием вашего опыта; вы придете к выводу, что она превосходно согласуется с истинностной таблицей для логического оператора ИЛИ. Иначе говоря, вы признáете, что дизъюнкция справедлива, если истинно одно из двух отдельных предложений. Если же истинны оба предложения, вы, может быть, удивитесь, зачем нужна такая дизъюнкция, но если уж вам придется решить, считать ли ее истинной или нет, то в конечном счете вы припишете ей истинное значение. Конечно, в нормальных обстоятельствах это, несомненно, странное сообщение. Ну и хорошо! Объяснение отрицания НЕ не вызывает трудности, но истинностная таблица для ЕСЛИ → ТО вызывает у многих людей вопросы.

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

Важно заметить, что исчисление предложений имеет совершенно общий характер: оно не зависит от содержания входящих в него отдельных предложений. Каково бы ни было содержание Sⁱ и S^j , если мы знаем их истинностные значения, то мы знаем также значения составных предложений, образованных из них с помощью логических операторов. Это имеет важное значение для вычислительных целей – что и составляет одно из глубоких преимуществ любого формального или синтаксического подхода, и тем самым определяющую характеристику паттернирования НЛП.