Глава 3: Интеллектуальные предшественники. Логика (4т) ↑
metanymous в посте Metapractice (оригинал в ЖЖ)
Влияние 20-го столетия
Влияние Хомского на НейроЛингвистическое Программирование
Методологическое влияние Трансформационной Лингвистики на НЛП: Различие между компетентностью и исполнением.
Интуиция как законная методология
Вскрытие черного ящика
Модель, лежащая в основе НЛП
Проверка паттерна
Идеальное исследование в моделировании и проверке паттернов
Вопрос о проверке паттернов
Резюме влияния Хомского
Бейтсон
Эриксон
Теория автоматов
Машина Тьюринга
Логика
Может быть, наша позиция вызовет споры, но нам представляется очевидным, что исторические корни логики исходят из внутренней логики естественного языка. Это значит, что создание формальных систем и, в частности, логики (формальных систем, логики предложений, логики предикатов и модальной логики) представляет собой утонченное и очищенное обобщение паттернирования, содержащегося в системах естественного языка. Если принять эту точку зрения, то становится ясным, что, вдобавок ко всем уже наличным применениям логики, она представляет также возможное орудие исследований, ведущих к явному моделированию некоторых отображений, предшествующих преобразованиям F2 естественного языка – что должно составить существенную часть эпистемологии будущего.
Мы формально доказываем (см. Часть Ш, Глава 1, Логические уровни и логические типы), что структуры, лежащие в основе языка, в обеих главных категориях, обычно различаемых лингвистами (существительные и глаголы), образуют множество иерархий, определяемых логическим включением (логическими уровнями). Это упорядочение по логическому включению типично для Лингвистических преобразований, и явно не характерно для многих паттернов на уровне ПД – что составляет важное различие при выборе способов вмешательства в приложениях паттернов НЛП к изменению поведения. Для нашей нынешней цели отметим следующие дальше отображения, связывающие паттернирование в НЛП, паттернирование в естественном языке и формальные логические системы.
В самом элементарном разделе формальной логики, в исчислении предложений, начатом еще греками, делается попытка формально определить правила правильного рассуждения. Все это предприятие решающим образом зависит от набора логических связок – таких операторов как И, ИЛИ, ЕСЛИ → ТО, НЕ и т.д. Определение этих операторов задается таблицами истинности. Например, таблица истинности для оператора И задается следующим образом: