[userpic]

4) Глава 3: Интеллект. предшественники. Логика (4т) 

metanymous в посте Metapractice (оригинал в ЖЖ)

Следующая логика, в порядке возрастания сложности, это исчисление предикатов, где изучается истинность предложений формальной системы, содержащей кванторы. Типичными образцами этого уровня логики являются выражения следующего вида:
 х х смертен
 y y желтый.

Простейший перевод их в нормальные английские тексты таков:
Для всех х , х смертен или Все смертно
Для некоторого y, у желтый или Нечто – желтое

Здесь символ  изображает квантор общности – выражаемый в терминах естественного языка словами все, каждый, любой, всё, всегда (всё время) и т.д., тогда как символ  означает квантор существования, некоторый, некий, нечто, иногда и т.д. Взаимодействие квантора общности (), например, с отрицанием (~) дает ни один, никакой, никто, ничего, никогда и т.д. (~)
В первой модели, созданной и закодированной в НЛП – метамодели – содержится специфическое возражение, относящееся к квантору общности. Это явление демонстрируется следующим диалогом:
Клиент: Все меня ненавидят
Терапевт: Все? (с вопросительной интонацией)
Терапевт ставит здесь намеренно под вопрос некоторое обобщение клиента, составляющее часть его мысленной карты, препятствующей ему осуществить его полные возможности и существенно улучшить качество его жизни. Предложение клиента имеет вид:
 х х меня ненавидит
где переменная х пробегает множество всех людей
Возражение терапевта представляет собою требование к клиенту, чтобы тот уточнил свою мысленную картину, внеся в нее различия, которых в ней прежде не было. Такое ущербное мышление и его выражение часто лежит в основе препятствий, мешающих общему развитию личности, поскольку выборы, не представленные в мысленной карте клиента – это выборы, отсутствующие в его мире.
Приведем, наконец, пример из логики высшего порядка – модальной логики, где встречаются такие выражения:
Необходимо ждать до следующей недели, чтобы выполнить ваш запрос.
Невозможно выполнить ваш запрос тотчас же.
При переводе в модальную логику символ □ представляет необходимо, а символ ◊ представляет возможно. Тем самым сочетание ~ ◊ представляет не возможно или невозможно.
□ (х) х ждать до следующей недели, чтобы выполнить ваш запрос
~ ◊ (х) х выполнить ваш запрос тотчас же
Конъюнкция модальных операторов необходимости и возможности (не)возможности с квантором общности составляет особенно зловещее множество представлений в мысленной карте клиента. Метамодель ставит под вопрос эти модальные операторы следующим образом:
Клиент: Необходимо ждать до следующей недели,
чтобы выполнить ваш запрос.

Терапевт: А что случится, если вы не будете ждать до следующей недели, чтобы выполнить мой запрос?
Клиент: Невозможно выполнить ваш запрос тотчас же.
Терапевт: А что случится, если вы выполните мой запрос тотчас же?
Есть и другие примеры применений этих видов логики, уже закодированные для использования в НЛП. Наша цель здесь – указать заинтересованным читателям на интеллектуальных предшественников НЛП в надежде, что они ознакомятся с ними, углубив свое знание этих богатых источников паттернов, и сделают из этого дальнейшие вклады в паттерны НЛП.
Резюме