О единице метамоделирования

Рассмотрим высказывания следующего толка:

---

x M y ( (r1 P1 r2) C1 (r3 P2 r4) C2 ...), где

---

M - ментальный предикат;

---

x, y - референты ментального предиката (может быть один);

---

r1, r1, ... - референты;

---

P1, P2, ... - предикаты;

---

C1, C2, ... - причинно-следственная связка;

---

Рассмотрим фразу:

---

«Я с утра встаю не выспавшийся»

---

Сходства с приведённой выше формой она не имеет никакого. Попробуем преобразовать:

---

«Я знаю, что я с утра встаю не выспавшийся» (добавили ментальный предикат)

---

«Я знаю, что когда я поздно ложусь спать, я с утра встаю не выспавшийся» (добавили причинную часть и связку)

---

«Я знаю, что:

---

- когда я ложусь в кровать (1)

---

- когда поздно (2)

---

- то я сплю (3)

---

- то я встаю (4)

---

- то утро (5)

---

- то я не выспавшийся» (6) (вынесли предикаты «поздно», «спать», «не выспавшийся» в отдельный блок, также как и предикаты времени)

---

Дальше удобно метамоделировать:

---

(1) Шесть вариантов реализации глагола "знать" (по одному на каждый из блоков в предыдущем варианте).

---

(2) Метамоделирование по четырём квадрантам каждой из пятнадцати двойных связок:

---

- когда я ложусь, то поздно

---

- когда я ложусь, то сплю

---

- ...

---

- когда я ложусь, то не выспавшийся

---

- ...

---

- когда я встаю, то утро

---

- когда я встаю, то не выспавшийся

---

- когда утро, то не я выспавшийся

---

(3) Альтернативно (в качестве бонуса) метамоделирование по девяти квадрантам шести тройных связок

---

---

(До гениальности удобный шаблон для такого дела предложен Л.Кэрролом в книге «Логическая игра»)

---

В некоторых около-математических дисциплинах, занимающихся моделированием «рациональности», бытует мнение, будто люди работают на нечёткой логике. В действительности, пожалуй что, так оно и есть: мир сложный и многогранный. Но задачей исследователя должно быть таки выделения из общего хаоса окружающего некоего стабильного подмножества, которое в неких прагматических рамках таки будет точно описываться классической (чёткой) логикой. Для этого и надо задавать вопросы.

---

До тех пор, пока логика всё ещё не чёткая, исследователю следует (например, используя метамодель), пользуясь неким заранее выбранным алгоритмом (список, конечно, не мой, а известно кем придуманный):

---

— уничтожать обобщения

---

— разделять отдельные обобщения на несколько других

---

— сливать несколько одних обобщений в некоторое другое

---

— создавать обобщения

---

Известно кто не приложил к метамодели полную инструкцию по выполнению этих четырёх операций и точное описание того самого заранее выбранного алгоритма, поэтому продолжаем разбираться сами.