Приложение 1. Минимальная логика целого
Для выражения логики целого, рассмотрим некоторое отношение порядка А £ В – «А меньше или равно В».
Введем равенство
(Е) А = В º А £ В Ù В £ А - А равно В
Отношение £ является отношением нестрогого порядка на некотором множестве К, т.е. для этого отношения выполнены свойства:
1. А £ А – рефлексивность для всех элементов К
2. А £ В и В £ А влечет А = В - антисимметричность
3. А £ В и В £ С влечет А £ С – транзитивность
Примем также следующие определения:
(N) Nul(A) º А £ А Ù "B(B £ B É A £ B) – A есть нулевое начало
(I) Inf(A) º А £ А Ù "B(B £ B É B £ A) – А есть бесконечное начало
(Int) Int(A) º А £ А Ù ùNul(A) Ù ùInf(A) - А есть внутреннее начало
(Р) Рos(А) º А £ А Ù $В(В £ А Ù ù(А £ В)) – А есть положительное (ненулевое) начало
(Lev) Lev(A) º Рos(А) Ú Nul(A) – А есть уровневое начало
(At) At(A) º Рos(А) Ù "B(В £ А Ù Рos(B) É А £ В) – А есть атом
Далее для отношения А £ В введем две версии подобных отношений А £1 В – «А 1-меньше или равно В», и А £2 В – «А 2-меньше или равно В».
Для отношений £1 и £2 могут быть определены все те предикаты, что и для отношения £, но только с индексом 1 или 2. Например:
(Е1) А =1 В º А £1 В Ù В £1 А - А 1-равно В
(N2) Nul2(A) º А £2 А Ù "B(B £2 B É A £2 B) – A есть 2-нулевое начало
(At2) At2(A) º Рos2(А) Ù "B(В £2 А Ù Рos2(B) É А £2 В) – А есть 2-атом
Примем следующие две аксиомы минимальной логики целого:
(AH1) А £i В É А £ В, где i=1,2, - i-порядки влекут общий порядок £
(AH2) "X(Рos 2(X) É $Y(Рos 1(Y) ÙY £ X)) Ù "X"Y(Рos 2(X) Ù Рos 1(Y) É ù(X £ Y)) – любой 2-положительный элемент включает в себя некоторый 1-положительный элемент, но ни один 1-положительный элемент не включает в себя ни одного 2-положительного элемента
При таком представлении логика целого строится как логика двухуровневого порядка – логика порядков £1 и £2, которые можно сравнивать между собой некоторым третьим – «универсальным» - порядком £. Причем, 2-порядок – это порядок более высокого уровня в смысле аксиомы (АН2), так что аксиому (АН2) в сокращенном виде можно было бы записать так:
(АН2*) £1 Ð £2 - 1-порядок меньше 2-порядка, где предикат «Ð» означает как раз то, что записано в развернутой формулировке аксиомы (АН2)
В этом смысле 2-положительные элементы больше 1-положительных элементов. 1-Уровень – это уровень элементов или частей, а 2-уровень – уровень целых.
Например, в качестве 1-уровня можно рассмотреть множество живых клеток, в качестве 2-уровня – множество многоклеточных живых организмов. Между собою клетки могут быть больше или меньше, что определяется 1-порядком £1. В свою очередь, одни многоклеточные организмы могут быть больше или меньше других многоклеточных организмов – эти отношения определяются 2-порядком £2. В то же время верно, что любой многоклеточный организм включает в себя по крайней мере одну клетку, но ни одна клетка не включает в себя ни одного многоклеточного организма.
Определим теперь понятие целого в следующем виде:
(DH) Н(Х) º Рos2(X) – целое - это 2-положительное начало,
где Н(Х) означает, что Х есть целое.
Используя эти определения и аксиомы, можно доказать Теорему Эмерджентности (ТЕ):
(ТЕ) [H(X) Ù Pos1(Y) Ù (Y £ X)] É ù(X = Y) – если Х есть целое, и Y есть содержащееся в нем 1-положительное начало, то Y не равно Х.
Для доказательства этой теоремы, предположим противное, т.е. пусть Х=Y. Но тогда Х £ Y, что противоречит аксиоме (АН2).
Таким образом, Теорема Эмерджентности утверждает, что целое отлично от любого содержащегося в нем 1-положительного начала.
Приведем пример конкретной логики целого. Пусть Х, Y, Z … - различные множества, как конечные, так и бесконечные. Введем на этих множествах два предиката:
FinSet(X) – X есть конечное множество (в том числе пустое множество Æ)
InfSet(Х) – Х есть бесконечное множество
Определим далее порядки на множествах в следующей форме:
X £ Y º X Í Y, где «X Í Y» означает, что Х есть подмножество множества Y
X £1 Y º X Í Y Ù FinSet(X) Ù FinSet(Y)
X £2 Y º X Í Y Ù (InfSet(X) Ú Х= Æ) Ù (InfSet(Y) Ú Y= Æ)
Отсюда получаем, что 1-уровень образован в этом примере всеми конечными множествами, а 2-уровень – всеми бесконечными множествами и пустым множеством. Можно показать в этом случае выполнение аксиом логики целого (АН1) и (АН2). В качестве целых здесь выступают бесконечные множества, и свойство эмерджентности достигается именно на основе бесконечности. Таким образом, бесконечность может быть представлена как одно из эмерджентных свойств целых, построенных на множествах.
Дата добавления: 2016-04-02; просмотров: 451;