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

[vseslavrus]

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

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

Comments

[metanymous]

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

[vseslavrus]

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

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

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

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

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

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

[metanymous]

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

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

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

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

[metatheo]

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

[dmitry_thinker]

Эта "Логическая игра" - изложение логики, сделанное Кэрроллом для детей. Есть его книга "История с узелками", в ней раздел "Символическая логика" - более строгое и полное изложение для вполне взрослого читателя. Очень интересно на мой взгляд, я неоднократно штудировал.

[vseslavrus]

Спасибо за рекомендацию, попробую почитать после "Логической игры":)