Математическая логика - интересные ссылки

[vseslavrus]

1. Исчисление предикатов.
2. Предикаты (в математической логике).

Пока не понимаю многого. Но дайте время:)

Comments

[metanymous]

Не надо парить мозги на математику. Читай и тренируйся вот на этом материале. Там есть специальная тренировочная игра. Э. считал, что подсознание соблюдает законы логики исчисления предикатов. Но, не в математический форме. Ну а ЛК решил эту проблему и придумал специальную игру:
Льюис Кэрролл
Логическая игра
Автор «Алисы в стране чудес» был, как известно, математиком. В данной книге он описывает игру, которая позволяет графическим образом из двух суждений выводить третье, т.е. выражаясь терминами логики, решать силлогизмы.
http://lib.aldebaran.ru/author/kyerroll_lyuis/kyerroll_lyuis_logicheskaya_igra/

[vseslavrus]

Ну а как же прямое указание от РБ по поводу сути моделей:

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

Если оставить в стороне уравнения в области голографии, до которых мне, зашитому гуманитарию, как до Пекина, остаются минимум две номинализации. Вероятно, таки важные:

- принципы математической логики
- исчисление предикатов
- ну и сам РБ называет модель "исчислением"

Но РБ писал об этом не в контексте коммуникации с подсознанием ведь, а в контексте сути и устройства моделей. Как это нам может быть неинтересно?

А за книжку спасибо, уже читаю:)

[metanymous]

Исчисление предикатов в коммуникации есть использование особенных правил в формулировании высказываний.

И Э. и БиГи такие правила используют. Средний субъект таких правил не использует, потому что их не знает. Правила исчисленных предикатов на пустом месте в голове среднего субъекта создают программы/основы для программ.

Не существует какого-то отдельного контекста "устройства моделей" вне более общего контекста идеи "бинарной психики", в которую и встраивается указанное тобою "устройство моделей".

Книжку эту надо не просто читать. Надо играть в игру, которая изложена в книжке.

[metatheo]

2 семестра я честно пытался разобраться. Затем все последующие годы до окончания института время от времени почитывал литературу по матлогике. До сих пор впринципе мне привлекают игры в формализмы. Последнее, на чем я ломал голову это было лямбда-исчисление. Красивый формализм, но ребус не разрешился.
Что-то мне кажется РБ доступ к каким-то ресурсам так осуществляет, говоря о исчислении предикатов. У меня сразу мысли о каким-то потенциальных перестановках и переборе элементов начинаются. Комбинаторика какая-то. А вот чтоб прямо… Даже не знаю, каким боком владение таким математических аппаратом, как исчисление предикатов можно помочь в деле моделирования.
А вот еще когда РБ говорит о «исчислении», он говорит «calculus» или что-то еще?

[vseslavrus]

C Новым годом, бро!:)

Да, он говорит про calculus. Ну а по-русски это кроме как "исчисление" в контексте математики трудно перевести.

[metatheo]

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

[vseslavrus]

Освежи, конечно. Может быть интересно. А еще в "Логическую игру" Кэррола будет интересно сыграть.

[vseslavrus]

Эриксон открыто писал о математической логике?
Он был знаком с Льюисом Кэрролом?

[metanymous]

Эриксон открыто писал о особенном мышлении подсознания. Но не существует мышления без присущей ему "логики".

Эриксон знал очень много - гораздо больше того, а чем он явно упоминал.

[metanymous]

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