(4) (□(Θ ⊃ □Θ)) ⊃ (◊Θ ⊃ ◊□Θ) — из (2), подстановка в акси-
ому 2 К
(5) ◊Θ ⊃ ◊□Θ — из (2), (4), modus ponens
(6) ◊□Θ — из (3), (5), modus ponens
(7) ◊□Θ ⊃ □Θ — принцип S5
(8) □Θ — из (6), (7), modus ponens
(9) Θ — из (8), принцип □Θ ⊃ Θ
Подобно как для Неиного Николая Кузанского21, для Θ
также верно положение ∀х(х ∼ ((х ⊃ Θ) ⊃ х)), в том числе (Е(Мир)
∼ (Е(Мир) ⊃ Θ) ⊃ Е(Мир)), или просто, если использовать не ло-
гику пропозиций или предикатов, а логику объектов, (Мир ∼
((Мир ⊃ Θ) ⊃ Мир)). Говоря языком ПМО, Θ есть модельная
единица или модульная единица22 — но не просто какого-либо
модуса или моды, а любого модуса и любой моды, так что ∀Х(Х
= Х↓Θ), и что ∀Y(Y = Y↑Θ). Или в несколько иной записи, по ана-
логии с теоремой модельной единицы и теоремой модульной
единицы ПМО23: ∀а(Modus(a) ⊃ ∃b((b = Θ) ∧ Model(b, a) ∧ Mod(a,
a, b))) — для всех модусов имеет место, что если a есть модус, то
есть некоторый b, который равен Θ, и b есть модель a, и a есть
мода самого себя в этой модели b; а также ∀а(Modа(a) ⊃ ∃b((b =
Θ) ∧ Modul(b, a) ∧ Mod*(a, a, b))) — для всех мод имеет место, что
21
«Неиное определяет и себя самого, и все; в самом деле, на мой вопрос: "Что
есть неиное?" — уместнейшим ответом будет: неиное есть не что иное как,
неиное, а на мой вопрос: "Что есть тогда иное?" - правильным ответом будет,
что иное есть не что иное как иное; равным образом мир есть не что иное как
мир, и так далее обо всем, что можно назвать» ; «Бог же из-за того, что Он не
иной для иного, еще не есть иное: хотя и кажется, что неиное и иное проти-
воположны друг другу, но иное не противоположно Ему, раз имеет от Него
бытие в качестве иного, как мы сказали раньше. Как видишь теперь, пра-
вильно утверждают богословы, что Бог есть все во всем и в то же время ничто
из всего» — Николай Кузанский. О неином. // Николай Кузанский Сочине-
ния в 2-х т. Т. 2. М., Мысль, 1980, с. 367, 197.
22
Моисеев В.И. Логика Открытого Синтеза: В 2 томах. Том 1: Структура, При-
рода и Душа. Кн. 1, с. 248-249, 251.
23
Там же, с. 272.
75