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