Первая аксиома


Следующие сообщения | Ответить на сообщение | Философия всеединства

Однажды 25 апреля 2006 года в 20:32:27 Моисеев В.И. в ответе на сообщение про Моё недоперепонимание, посланное Никита в 25 апреля 2006 года в 11:57:49: написал(а):

Ну что же, Никита,
В вашем последнем письме узнаю многое из того, о чем я говорил, переложенное на более близкие вам понятия вашего подхода. Буду рад, если эти идеи вы сможете ассимилировать в своей системе.
Но все же мне кажется, что вы не вполне сжились с идеей экрана не просто как антитезиса, а некоторого специфического вида антитезиса, связанного именно с проективно-модальными интуициями (как мне показалось, у вас есть тенденция сведения экрана просто к самому низкому уровню антитезиса-материи).
Поэтому я мог бы предложить в дальнейших наших рассуждениях перейти к элементам более формальной аксиоматики, делающей строгими конструкции экранных онтологий.
Для этого, правда, надо знать элементы логики высказываний и предикатов. Например, что такое конъюнкция, дизъюнкция и другие логические операции, что такое функции и предикаты, кванторы существования и всеобщности и т.д.
Если для вас эти темы незнакомы, то предложите, в каком направлении двигаться дальше.
Если же вам это известно, то вот, например, формулировка первой аксиомы Проективно Модальной Онтологии:

(АО1) Moda(a,b) влечет (Modus(a) и (Для любого d верно(Moda(b,d) влечет Moda(a,d)) и Moda(b,b))

Здесь Moda – двуместный предикат, и формула Moda(a,b) означает, что a есть мода модуса b, Modus(a) – а есть модус. Слово «влечет» выражает импликацию, союз «и» - конъюнкцию, выражение «для любого d верно» - квантор всеобщности по переменной d.
В этой первой аксиоме определяются свойства отношения «быть модой модуса» (Modа). Требуется, чтобы это отношение было транзитивным и рефлексивным, чтобы всякая мода одновременно была и модусом. Эти требования делают отношение Moda отношением нестрогого порядка.
ВИМ


Следующие сообщения:

Ответить на сообщение

Ваше имя:

Ваш e-mail:

Тема сообщения:

Текст сообщения:

Ссылка на URL (по желанию):

Заголовок (название) ссылки:

Ссылка на URL картинки (по желанию):

Пароль:


Следующие сообщения | Ответить на сообщение | Философия всеединства