CC BY
62
МАТЕМАТИЧЕСКАЯ ЛОГИКА
ОНТОЛОГИЯ ТЕЧЕНИЯ ВРЕМЕНИ:
АБСТРАКТНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ МОДЕЛИ
А.М. Анисов
Отдел эпистемологии и логики Институт философии РАН ул. Гончарная, 12/1, Москва, Россия, 109240
В статье с помощью абстрактных вычислительных моделей на основе созданного автором языка программирования ABT строится онтология течения времени. Одна из моделей эксплицирует оригинальную концепцию атомарного времени, возникшую в средневековой арабской философии.
Ключевые слова: течение времени, становление, вычислительная модель, арабская философия времени.
§1. abt-модель течения времени
В [3] был описан абстрактный язык программирования ABT, далеко выходящий за рамки стандартных теорий вычислимости. Воспользуемся этим языком для моделирования течения времени. Процесс течения времени или становления связан как с утратой части прошлого, так и с новыми приобретениями в будущем. Но становление — не хаотический процесс. В его основе лежат определенные закономерности, которые, однако, не должны быть слишком «жесткими». Необходимо избегать как крайности полного произвола, так и крайности предопределённости хода течения времени. Соблюсти оба эти условия можно за счет ввода в модель становления, с одной стороны, стабилизирующего звена — формальной теории времени, а с другой — моделей этой теории, которые до известных пределов варьируются и, тем самым, позволяют избегать фатальной неизбежности возникновения или исчезновения тех или иных ситуаций или событий. Приступим к осуществлению намеченной программы.
Пусть язык LS содержит следующие символы.
1. Индивидные переменные (переменные первого порядка)
x, y, z, xl, ^ ..., ...
2. Одноместные предикатные переменные (переменные второго порядка)
X Y, Z хъ ^ ..., х^ ...
3. Одноместную предикатную константу Н.
4. Двухместную предикатную константу Е.
5. Логические связки и кванторы по переменным всех типов.
6. Технические символы (пробел, левая и правая скобки).
Термами первого порядка являются индивидные переменные. Термами второго порядка являются предикатные переменные и константа Н. Если а — терм первого порядка и Г, А — термы второго порядка, то выражения вида Г(а), А(а) и Г Е А — атомарные формулы. Атомарными формулами будут, например, выражения Н(х), X(x), XЕ Y, XЕ Н и т.п. Остальные пункты определения правильно построенных формул, формулировка логических аксиом и правил вывода обычные (см., напр., [5. Гл. 5]).
Равенство термов первого порядка можно ввести по определению: а » в является сокращением формулы УГ(Г(а) ^ Г(в)). Короче, а » в УГ(Г(а) ^ ^ Г(в)). В свою очередь, равенство термов второго порядка Г = А есть сокращение формулы Уа(Г(а) ^ А(а)): Г = А Уа(Г(а) ^ А(а)). При этом дополнительно принимаем аксиому VX1VX2VY1VY2 (X = Y1 & X2 = Y2) ^ X Е X2 ^ Y1 Е Y2)). Знак «=» остаётся знаком равенства в метаязыке.
В подразумеваемой смысловой интерпретации значениями переменных первого и второго порядка являются события и множества событий соответственно. Среди множеств событий выделяются моменты времени — те множества, которые принадлежат полю отношения раньше, чем. Это отношение обозначается символом Е, момент настоящего символом Н.
Введём для удобства еще несколько сокращений: ^ог3Y(X Е YV YЕ X) (X — момент времени),
X\\ Y XЕ Y V Y Е X V (X = Y & ш(Щ) (сравнимость двух моментов времени),
Щ (X Е У V У Е X) & VZ(—(X Е Z Е Y) & -(Y Е Z Е X)) (X и Y — соседние моменты времени).
Аксиомами теории Т8 в языке Ь8 являются следующие формулы, образующие из-за пункта 1 бесконечный список.
1. VX(ш(X) ^ 3Х13Ьс2...ЭХ11(Дх1) & X(x2) &...& X(xr) & —X » x2) & —X » x3) & ...
& —^(x1 ~ Xn) & —(x2 » X3) & —(x2 » X4) & ... & — (х2 » Xn) & ... & —^ ~ XJЧ1) & —(xJ• » xj+2) & ... & —^ ~ xn) & ... & —(хп-1 » xn))) (для каждого п > 1 имеем отдельную аксиому 1п)
2. Vx3X(ш(X) & X(x))
3. VX—(X Е X)
4. VXVYVZ(X Е Y & Y Е Z ^ X Е Z)
5. VX(ш(X) ^ X\\H)
6. VXVYVZ(Y Е X & Z Е X ^ Y\\Z)
7. VX(ш(X) ^ ЗY(Y Е X & Y\X))
8. VX(3 Y(XЕ Y) ^ ЗZ(XЕ Z & X\Z))
9. 3X3Y(H Е X& H Е Y & И^& & X* Y)
На этом список аксиом Т8 исчерпан.
Очевидно, аксиомы 3 и 4 утверждают, что отношение Е является отношением частичного порядка. Существование моментов времени следует, например, из аксиомы 2. Кроме того, из 2 вытекает, что не существует событий вне времени. Схема аксиом 1 гарантирует бесконечность каждого момента времени. Аксиома 9 позволяет доказать теорему Т8 I— ш(И). Из аксиомы 5 вытекает сравнимость с И по отношению Е любого момента времени, отличного от И (такие моменты существуют в силу непустоты и антирефлексивности Е). Иными словами, каждый неравный И момент времени либо раньше, чем И, либо позже, чем И. Аксиома 6 запрещает ветвление в прошлое (в этом случае говорят о линейности времени в прошлое). Так как Т8 — ЗХ(ш(Х>), то отсюда и из аксиомы 7 получаем отсутствие начала времени. Вместе аксиомы 7 и 8 утверждают, что отношение Е дискретно. Наконец, из аксиомы 9 следует, что время ветвится в будущее от момента настоящего И.
По-видимому, не все аксиомы Т8 одинаково интуитивно приемлемы. В принципе можно было вместо Т8 взять другую теорию, постулирующую иные свойства времени. Подчеркнем, однако, что дискретность времени существенна для того типа моделей динамической концепции времени, которые мы рассматриваем в данной работе.
Определим предикаты прошлого Р, настоящего Н и будущего Е: Р(Х) X Е И, Н(Х) X = И, Е(Х) И Е X. В любой модели М = <и, 1> теории Т8 множество моментов прошлого 1(Р) линейно упорядочено, а множество моментов будущего 1(Е) частично упорядочено отношением 1(Е) (здесь и — непустое множество, являющееся универсумом модели М, I — функция интерпретации этой модели, доопределённая на множестве {Р, Н, Е} следующим образом:
1(Р) = Ш: О 1(Е) 1(И)}, 1(Н) = {1(И)}, 1(Е) = {О: 1(И) 1(Е) О}).
Положим 8 =м 1(Р) и 1(Н) и 1(Е). Тогда 8 является множеством моментов времени в модели М. Модель М = <и, Л> теории Т8 называется корректной, если
1) для любого момента времени ш е 8 выполнено условие |1(Е)| < |2ш| (т.е. число моментов будущего меньше, чем кардинал множества всех подмножеств любого прошлого, настоящего или будущего момента);
2) для любых моментов ш1, ш2 е 8 таких, что ш1 1(Е) ш2 множество {ш е 8: ш1 1(Е) ш 1(Е) ш2} конечно или пусто;
3) существует множество счетных ординалов С такое, что |С| > ю и (Уа е С) (а е и).
Данное определение связано с обеспечением ¿-корректности рассматриваемой ниже АВТ-программы ВБСОМШО.АВТ, а также обусловлено содержательными соображениями (о них речь пойдёт ниже).
Возьмём произвольную модель М = <и, 1> теории Т8 (то, что эта теория имеет модели, не вызывает сомнений). Назовем функцию I функцией выбора прошлого для М, если f удовлетворяет следующим условиям:
1) f определена на семействе 8;
2) (Уш е 1(Е)) (®(ш) = ш);
3) (Уш е 8!(Е)) ((ю < |Г(т)|) & (®(ш) с т) & (шЩш) Ф 0));
4) (Уш, ш' е 8) (ш Ф ш' ^ ®(ш) Ф £(ш')).
Так определённая функция I является взаимно однозначной.
Положим 8' =м 1'(Р) и 1'(И) 1'(Е). Будем говорить, что модель М' = <и', Л*> есть сужение в прошлое модели М = <и, 1> теории Т8, если выполнены следующие условия, в которых используется функция f выбора прошлого для М:
1) Г(И) = ОДИ)), 1'(Р) = {ш': (Зш е 1(Р)) (ш' = ®(ш))};
2) 1'(И) = {!(И)} и Г(Е) = ВД;
3) для всех ш1, ш2 е 8', если 1^1(ш1) 1(Е) 1^1(ш2), то выполняется ш1 I' (Е) ш2;
4) и' = и8'.
Отметим, что равенство и' = и8' обеспечивает выполнимость аксиомы 2. Ясно, что и' с и и М' модель Т8.
Введём новую константу Т8' для обозначения теории, получающейся из Т8 заменой аксиомы 9 на формулу ш(И). Существование моделей для Т8' следует из аналогичного факта для Т8, так как Т8' — подтеория Т8.
Выберем в модели М = <и, Л> теории Т8 произвольный момент ш, соседний с 1(Я) и такой, что J(И 1(Е) ш. Затем отбросим все моменты, несравнимые с ш. Положим
1) 8' =м {ш': ш' 1(Е) ш V ш 1(Е) ш' V ш = ш'} (получается, что 8' с 8 и 8' Ф 8, поскольку в модели М имеются моменты, несравнимые с ш, что вытекает из аксиомы 9 теории Т8);
2) и' =м и8' и I' (И =м ш;
3) I' (Е) есть сужение 1(Е) на множество 8'.
Очевидно, что М' = <и', 1'> — модель теории Т8'. По определению, модель М' теории Т8' является переходом в будущее относительно модели М теории Т8.
Пусть М1 = <и1, 11> — произвольная модель теории Т8, являющаяся расширением модели М = <и, 1> теории Т8' таким, что
1) и с иь ^(Р) = 1(Р), 11(И) = 1(И);
2) 1(Е) с 11(Е) и при этом множество соседних с 11(И) моментов, удовлетворяющих условию ш е (11(Е)\1(Е)) & 11(И) 1(Е) ш, не пусто.
Назовем М1 первым расширением в будущее для модели М.
Далее, пусть М' = <и', 1'> — любая модель теории Т8, для которой выполняются следующие условия:
1) и с и' и ^(Р) = I'(Р);
2) существует взаимно однозначная функция f из 81 =м 11(Р) и 11(И) и 11(Е) на 8' =м I' (Р) и I' (И) и I' (Е) такая, что
a. ш1 Jl(E) ш2 ^ ^шО I' (Е) £(ш2);
b. для всех ш е и выполняется ш с ^ш), £(ш)\ш Ф 0.
Тогда М' назовём вторым расширением в будущее для модели М.
Напомним, что ординал ю = {0, {0}, (0, {0}}, (0, (0), (0, {0}}},...}, где множества 0, {0}, {0, {0}}, {0, {0}, {0, {0}}}, ... представляют числа 0, 1, 2, 3, ... . В качестве ю* возьмем множество {..., {{0, {0}, {0, {0}}}}, {{0, {0}}}, {{0}}}, т.е. положим ю* =Df {а: (Зв е ю\{0}) (а = {в})}. Тогда для каждого положительного n е ю соответствующее отрицательное число -n есть просто {n} е ю*. Отношение порядка на множестве ю совпадает с отношением е, суженным на ю. Множество ю* упорядочим следующим образом:
(V{n},{m} е ю*) ({n} < {m} ^Df m е n).
Ясно, что так определенный порядок на множестве ю* изоморфен порядку на множестве отрицательных целых чисел.
Здесь и далее в этом параграфе принимается равенство LD = ю* + ю, т.е. множество LD упорядочено по типу множества всех целых чисел. Из описания множеств ю и ю* следует, что множество Е(ю* + ю) = E(LD) счётно. Кроме того, из равенства |E(LD(x))| = |E(LD)|, выполняющегося для каждого x е LD, следует, что множество LD является Е-равномерным (1).
Завершив предварительные шаги, перейдём к построению ABT-программы BECOMING.ABT, моделирующей течение времени на основе теории TS.
Программа BECOMING.ABT
11 DELETE X
12 CHOOSE X | (X отрезок LD) & X = Y+
13 IF X = LD THEN END
14 DELETE Y
15 CHOOSE Y | (Y отрезок LD) & Y = X+
16 IF Y = LD THEN END
17 DELETE X1
18 CHOOSE X1 | X1 |= TS & X1 — сужение в прошлое для Y1
19 DELETE Y1
110 CHOOSE Y1 | Y1 |= TS' & Y1 — переход в будущее относительно X1
111 DELETE X1
112 CHOOSE X1 | X1 |= TS & X1 — первое расширение в будущее для Y1
& X1 корректен & |Mm(X)| < |Mm\(Mm(X) u Mm(Y) u Mm(X1) u
Mm(Yi))|
113 DELETE Y1
114 CHOOSE Y1 | Y1 |= TS & Y1 — второе расширение в будущее для X1
& Yj корректен & |Mm(Xj)| < |Mm(Yj)|
115 GOTO Ij
Вопрос о выполнимости программы BECOMING.ABT отложим на конец параграфа, а сейчас обратимся к концептуальной стороне дела.
С содержательной точки зрения процесс выполнения программы BECOMING.ABT подходящим ABT-компьютером @ моделирует становление во времени, которое представляет из себя трансфинитный цикл, не имеющий ни начала, ни конца. Цикл обеспечивается инструкциями I1 — I6 и I15, в совокупности
составляющими каноническую программу СС_ЬБ (см. [3]). При этом инструкции 13 и 16, завершающие цикл, в данном случае не нужны и могут быть исключены из программы ББСОМШО.АБТ.
Метамоментом рассматриваемой модели становления будем называть модель М = <и, 1> теории Т8, возникшую после выполнения инструкции 114. Все остальные модели, появляющиеся на свет в ходе выполнения программы ВБСОМШО.АБТ, образуют квазиметамоменты, каждый из которых, с одной стороны, есть след предыдущего исчезающего метамомента, а с другой — представляет из себя этап возникновения следующего нового метамомента.
Сосуществование в памяти компьютера двух метамоментов (это означало бы сосуществование двух метанастоящих) недопустимо по философским причинам, поэтому сосуществовать могут либо метамомент и квазиметамомент, либо квази-метамомент и квазиметамомент. На самом деле нет необходимости при обсуждении проблемы сосуществования добавлять «в памяти компьютера», поскольку в динамических универсумах существовать означает существовать в памяти. Те объекты, которые не находятся в памяти, не могут считаться существующими. Таким образом, достаточно проследить за перераспределением памяти, чтобы убедиться в том, что не возникает запретных ситуаций сосуществования уже прошедшего и еще не наступившего.
Первой инструкцией, не относящейся к каноническому циклу СС_ЬБ, является инструкция 17. После ее выполнения существует только метамомент М, возникший в предыдущем цикле. Затем выполняется инструкция 18 — метамомент по-прежнему существует, но уже рядом с квазиметамоментом, являющимся его следом. После выполнения 19 остается только след безвозвратно ушедшего метамомента. При этом теряется часть ситуаций, образовывавших универсум и из М.
На следующем шаге (инструкция 110) налицо первые признаки зарождения следующего метамомента: выбирается новое настоящее. Однако процесс потерь продолжается — ведь выбор настоящего сопровождается исчезновением всех альтернатив, утративших возможность осуществления в будущем. После выполнения 111 об этих альтернативах остается только гадать. Сказанное, между прочим, имеет отношение к расхожему вопросу о том, дозволительно ли сослагательное наклонение в истории или нет? В рассматриваемой относительно простой модели становления ответ на поставленный вопрос однозначно отрицательный, но это обстоятельство не предрешает решения проблемы в более сложных моделях исторического процесса.
Последние шаги связаны с дальнейшей актуализацией нового метамомента, протекающей уже без каких-либо потерь в том смысле, что ни отдельные ситуации, ни множества ситуаций (моменты) не исчезают. На шаге 112 расширяется и множество ситуаций, и множество будущих альтернатив. Выполнение 113 устраняет лишь то, что и так содержится в первом расширении в будущее. Наконец, второе расширение в будущее (обогащающее возникающее настоящее и имеющиеся будущие альтернативы развития новыми ситуациями) в ходе выполнения 114 приводит к образованию нового метамомента. При этом сохраняет существование результат первого расширения — квазиметамомент. Затем цикл повторяется вновь.
В результате выполнения инструкций I12 и I14 должны получаться корректные модели теории TS. В содержательном плане пункт 2 определения корректной модели предотвращает процессы, в которых количество шагов трансфинитного цикла не согласуется с количеством моментов времени. Точнее, в соответствии с интуитивным представлением о том, что каждый момент прошлого когда-то был настоящим, а любой из моментов будущего может стать настоящим, необходимо иметь сохраняющее порядок взаимно однозначное соответствие между множеством ю* + ю и каждым из максимальных линейно упорядоченных подмножеств множества моментов времени. Тогда для каждого момента времени можно указать шаг трансфинитного цикла (отрезок множества ю* + ю), на котором этот момент либо был настоящим, либо является настоящим, либо, возможно, им будет.
Как убедиться в том, что программа BECOMING.ABT будет успешно выполняться на подходящем ABT-компьютере? Программа BECOMING.ABT не только не должна завершать свое функционирование, но и не должна иметь начального шага выполнения. Выполнение таких программ возможно только на компьютерах с бесконечной памятью, что также накладывает свою специфику на рассуждения об ABT-программах. В этих условиях свойства /-корректности уже не достаточно: требуется ввести понятие корректности относительно прошлого, или р-коррект-ности, фиксирующее отсутствие начала процесса. ABT-программы, являющиеся одновременно и/-, и ^-корректными, будем называть t-корректными.
Если п — ABT-программа и I какая-либо инструкция из п, то запись вида Тп указывает на то, что процесс выполнения п на подходящем ABT-компьютере не имеет начала, а запись вида Т(1)п указывает на отсутствие первого выполнения инструкции I. Далее, запись типа (\(Г)п(I)Т}Q будет означать, что процесс выполнения I не имеет ни первого, ни последнего шага, и что после каждого выполнения I предикат Q истинен. ABT-программу п, удовлетворяющую условию {Т^п^Т}^, назовем тотально t-корректной относительно I и Q.
Ключевой в программе BECOMING. ABT является инструкция I14, выполнение которой завершает построение очередного метамомента. Всё, что на самом деле требуется, — это получить корректную модель теории TS. Так что утверждение о тотальной ¿-корректности программы BECOMING.ABT сформулировать несложно: {{T(I14)BECOMING.ABT(I14)T} Y1 |= TS & Y1 корректен.
Теорема о тотальной ¿-корректности программы BECOMING.ABT (2).
Утверждение {{T(I14)BECOMING. ABT(I14)T} Y1 = TS & Y1 корректен истинно тогда и только тогда, когда программа BECOMING.ABT выполняется на АВТ-компьютере @ = <Mm, Pr> с бесконечной памятью. При этом в памяти Mm может находиться любая корректная модель M теории TS такая, что |E(M)| < |Mm|.
Описанная в данной главе модель становления является универсумом с ограниченными ресурсами (уором). После выполнения инструкции I14 возможно, в частности, использование всей памяти без остатка для размещения сменяющих друг друга структур. На примере построенного уора хорошо видны, как нам представляется, специфические проблемы, возникающие в динамических универсумах, моделирующих течение времени.
§2. авт-интерпретация философии времени мутазилитов
Концепция времени представителей раннего калама мутазилитов является оригинальным достижением средневековой арабской мысли. Как нам представляется, в предельно кратком виде (подробнее см. [2]) эта концепция сводится к следующим шести основным положениям.
1. Моменты времени у мутазилитов не являются точечными объектами. Они наделены некоторой структурой, в основе которой пара событий.
2. События оказываются действиями. Пары сменяющих одно другое действий производят момент времени и, наоборот, любой момент есть такая пара действий, сменяющих одно другое.
3. В конкретных примерах первое действие может означать уничтожение, а второе действие — сотворение.
4. Момент у мутазилитов не длится, хотя и образован двумя событиями. Но эти события-действия сменяют друг друга и никогда не наличествуют вместе, и потому не могут быть отделены друг от друга, «разрезаны».
5. Модель времени мутазилитов является дискретной: она состоит из атомарных моментов времени.
6. В каждый момент атомарного времени мироздание уничтожается и возникает вновь: время течет.
Перед нами, несомненно, динамическая концепция времени. Более того, ей нет аналогов в европейской традиции. Никто и никогда там не представлял становление с такой глубиной и детализацией. Время у мутазилитов предстаёт не как застывшая геометрическая структура, а как состоящий из сменяющих друг друга действий дискретный процесс, одни части которого уже в прошлом, другие только предстоит осуществить, а какое-то действие осуществляется здесь и теперь. Вместо метафор и апелляций к интуиции арабская философия предлагает основанное на процессуальной логике объяснение хода течения времени.
Сопоставим эти положения с динамической ABT-теорией времени, которая была построена в предыдущем параграфе. Как мы видели, эта теория имеет следующие особенности.
1. Каждый момент (точнее, метамомент, но это сейчас не важно) времени структурирован и представлен шестью событиями.
2. События оказываются действиями.
3. Имеются точно синтаксически и семантически заданные действия DELETE (логическая операция уничтожения) и CHOOSE (логический аналог сотворения).
4. Момент не длится в том смысле, что длится только время, состоящее из сменяющих друг друга моментов. «Разрезать» сам момент бессмысленно, хотя в его составе шесть событий-действий: как только какое-то из действий будут отброшено, выполнение оставшихся станет логически невозможным, течение времени прекратится!
5. Каждый актуально существующий момент m имел непосредственного предшественника m- (если m не первый момент) и будет иметь непосредственного последователя m+ (если m не последний момент). Таким образом, время оказывается дискретным.
6. Моменты времени, а вместе с ними всё мироздание (в модели теории), исчезают (но не полностью!) и появляются вновь (как бы прибавляя новое к старой основе). Время течет, мироздание находится в процессе становления.
Течение времени в сильно упрощённом виде может быть представлено следующим шести шаговым циклом преобразований п над тремя переменными M, P и F, представляющими мир настоящего (или мир актуально существующих вещей и событий) M, прошлое P, являющееся частью мира M, и грядущее новое будущее F, которое миру М не принадлежит.
1. Недетерминированным образом выбирается собственная часть М: CHOOSE P | P с M и P ф M. M и P сосуществуют, значения этих переменных определены. Значение F не определено.
2. Мир M уничтожается: DELETE M. Теперь переменная М не определена, ей ничего не сопоставлено. Зато переменная P по-прежнему определена. Это прошлое, та часть исчезнувшего мира, которая уцелела. Значение F не определено.
3. Недетерминированным образом выбирается новое будущее: CHOOSE F | F ф 0 и P n F = 0. Значения переменных P и F определены. Значение M не определено.
4. Возникает новый мир М: CHOOSE М | M = P u F. Прошлое соединилось с будущим. Все три переменные M, P и F определены.
5. DELETE P, F. Есть только настоящее. Значения переменных P и F не определены, M определено.
6. GOTO 1. Возврат к шагу 1.
Формально, прокомментированные шаги 1—6 сводятся к выполнению следующей ABT-программы п.
(п)
1. CHOOSE P | P с M & P Ф M
2. DELETE M
3. CHOOSE F | F Ф 0 & P n F = 0
4. CHOOSE М | M = P u F
5. DELETE P, F
6. GOTO 1
ABT-программа п в процессе выполнения осуществляет переход от момента настоящего к следующему настоящему. Поскольку двух «настоящих» быть не может, они никогда не сосуществуют: прежде, чем появится новое настоящее (шаг 4), предыдущее успевает исчезнуть (шаг 2). Из таких дискретных переходов складывается течение времени. Точно таким же образом осуществляется переход от акта уничтожения к акту сотворения у мутазилитов. Возникает естественный вопрос: сколько длится этот переход? Но этот вопрос неправильно поставлен. Его пресуппозицией является утверждение, что ABT-программа п или переход мутазилитов выполняется во времени, что каждый соответствующий цикл занимает некоторое время. Однако, данное утверждение в рассматриваемой ситуации ложно. Само выполнение ABT-программы п или сам по себе переход от акта уничтожения к акту
сотворения у мутазилитов порождает время. Бессмысленно утверждать, что порождение времени происходит во времени, что оно занимает какое-то время. Становление или течение времени не происходит во времени, оно и есть время.
Как же тогда быть с законным фундаментальным вопросом: Сколько прошло времени или сколько пройдёт (потребуется) времени? На данный вопрос ни концепция мутазилитов, ни моделирующая ее вычислительная интерпретация, представленная ABT-программой п, ответа не дает. Эти конструкции онтологически первичны, в них еще нет счета времени. Чтобы такой счет мог возникнуть, требуется, как минимум, осуществить два существенных усложнения исходной модели. Во-первых, надо мир М представить в виде метамомента: упорядоченной структуры «внутренних» моментов. Например, такая структура могла бы удовлетворять аксиомам о ветвлении моментов в будущее и их линейности в прошлое, как уже было показано. Во-вторых, на множестве подмножеств тем или иным образом упорядоченных моментов необходимо ввести функцию меры или какой-то подходящий ее аналог. Но всё это технически сложно и лежит далеко за пределами построений мутазилитов и проблемы их интерпретации.
Еще одно напрашивающееся возражение связано с использованием терминов «раньше, чем», «позже, чем», «сейчас», «теперь» и т.п. применительно к процессу выполнения ABT-программы п или актам уничтожения и сотворения мутазилитов. Не являются ли обороты типа «пусть сейчас выполняется шаг n ABT-програм-мы п», «шаг 3 ABT-программы п выполняется раньше, чем шаг 4» «акт уничтожения предшествует акту возникновения» и т.д. незаконными, вводящими темпоральные понятия там, где еще нет времени. На наш взгляд, необходимо выделять два слоя темпоральных понятий. Один слой относится к структуре множества моментов, другой, более глубинный, — к структуре самих моментов. Момент времени структурирован, но не статичным теоретико-множественным образом, а динамически, через смену составляющих его событий или действий. Например, в утверждениях «момент t раньше момента t*» и «акт уничтожения происходит раньше акта возникновения» содержится одинаковое слово «раньше», но за ним в первом и во втором случае скрываются разные понятия, имеющие отдельную область применимости.
Мутазилиты фактически предложили в качестве представления времени двухэлементный цикл уничтожение — возникновение. Но можно ли представить такой цикл шагом 2 и шагом 4 в следующей форме: Мир M уничтожается: DELETE M; Возникает новый мир М: CHOOSE М? По нашему мнению, нельзя. Ведь тотальное уничтожение мира и последующее возникновение ниоткуда взявшегося нового не обеспечивает никакой преемственности между действиями по уничтожению и возникновению.
Однако дело не так просто. Как пишет А.В. Смирнов, «В своем подлинном начальном варианте теория времени, как она была создана первыми мутакалли-мами, мутазилитами (а не пересказана столетия спустя поздними мутакаллимами, ашаритами, а с их слов - и другими мыслителями) отнюдь не предполагает тотальное уничтожение мира и возникновение заново всего мира. Акты уничтожение — возникновение относятся у них только к акциденциям, но не к субстанциям. От-
стаивая субстанциальную устойчивость мира, мутазилиты, вероятно, видели в этом ответ на вопрос о преемственности между отдельными моментами существования мира» [2. С. 158].
Вернемся к вопросу о вычислительной интерпретации концепции времени мутазилитов. Акты уничтожения и сотворения можно представлять как сложные, т.е. составленные из нескольких базовых (далее неделимых) действий. В этом случае наша ABT-программа п воспроизведет двухэлементную модель мутазилитов посредством соединения шагов: шаги 1—2 соответствуют уничтожению, шаги 3—5 — возникновению. Правда, при этом шаг 6 всё-таки выпадает. Однако, это так только с формальной стороны. В содержательном отношении нет никаких сомнений, что акты уничтожения и возникновения в концепции мутазилитов повторяются вновь и вновь, образуя то, что мы теперь называем циклом.
Утверждать, что двухэлементный цикл мутазилитов не сопоставим напрямую с шестиэлементным циклом ABT-теории — все равно, что отрицать прямую сравнимость двухтактных и четырехтактных двигателей внутреннего сгорания. А если вспомнить, что в двухтактном двигателе за один такт выполняется несколько операций, которые в четырехтактном двигателе разделены, то аналогия становится поистине полной. Но четырехтактный двигатель лучше двухтактного. Поэтому мы не призываем вернуться к двухтактной темпоральной модели мутазилитов. Но для своего времени эта модель была высочайшим достижением. Более того, если уж говорить о проблеме времени сегодня, то в философском отношении лучше пользоваться концепцией мутазилитов, чем современными лишенными каких бы то ни было динамических темпоральных характеристик геометрическими моделями физиков.
В заключение кратко обсудим ещё одну любопытную проблему. Последовательность шагов уничтожение — возникновение у мутазилитов не случайна, т.е. она не обращается. Сначала уничтожение ф), потом возникновение (О). Но вот вопрос: можно ли уничтожить то, чего нет, уничтожить не существующее? На этот вопрос напрашивается отрицательный ответ: уничтожить можно только уже существующее, т.е. то, что возникло в предшествующий момент времени. А если так, то действие уничтожения предполагает, что какой-то мир до этого акта уже существовал. Но и он возник лишь благодаря тому, что до этого был уничтожен более ранний мир и т.д., до бесконечности. Время в этом случае не должно иметь начала!
......DC, DC, DC, DC......
Именно этот вариант интерпретации динамической концепции времени реализован в философии суфизма: здесь существующий во времени мир «параллелен» существующему в вечности Богу и, как и последний, не имеет временного начала.
Однако возможно и другое решение: Бог мог сотворить первый мир из ничего, породив затем цепочку уничтожений и возникновений.
С, DC, DC, DC, DC......
Этот вариант реализован в концепциях тех мутазилитов, которые придерживались коранического тезиса о творении мира из ничего и, следовательно, о начале мира во времени.
Что касается предлагаемой вычислительной ABT-интерпретации, то последовательность сначала уничтожение, потом возникновение в ней была четко реализована. Шаг 2 уничтожения мира М предшествует шагу 4 сотворения нового М. Но теперь вопрос о начале времени решается однозначно: ABT-программа п не имеет первого шага выполнения. Это легко формально доказать, опираясь на заданную семантику операторов языка ABT. Такова цена вопроса о том, в какой последовательности осуществляются акты уничтожения и сотворения. Но можно ли реализовать вторую возможность, в которой время имеет начало? В качестве ответа предъявим следующую ABT-программу п*.
(п*)
1. CHOOSE М | M Ф 0
2. CHOOSE P | P с M & P Ф M
3. DELETE M
4. CHOOSE F | F Ф 0 & P n F = 0
5. CHOOSE М | M = P и F
6. DELETE P, F
7. GOTO 2
Процесс выполнения этой программы идёт как раз по типу ряда С, DC, DC, DC, DC......с первым шагом, соответствующим началу времени. Затем акты уничтожения и возникновения (именно в таком порядке) повторяются до бесконечности.
А как быть с симметричным вопросом о конце времён? В логике рассуждений мутазилитов нет никаких оснований для выбора последнего момента времени. И если Бог решит когда-то уничтожить мир, но затем его не воссоздавать, то сделано это будет в неведомом будущем и по причинам, выходящим за границы концепции времени как таковой. В ABT-теории предъявить программу, моделирующую течение времени и при этом обречённую на завершение своей работы, не так то просто. Можно, конечно, ввести счётчик числа циклов, по завершению которого программа остановится. Но кто решится сказать, сколько в точности мгновений осталось существовать миру?
примечания
(1) Функция E, константа LD и понятие Е-равномерности введены в [1] и также в [4].
(2) Доказательство этой теоремы мы не приводим, т. к. из-за своей технической сложности оно выпадает из ориентированного на доступность материала статьи. Его можно найти в работе [1].
литература
[1] Анисов А.М. Время и компьютер. Негеометрический образ времени. М., 1991.
[2] Анисов А.М., Смирнов А.В. Логические основания философии времени мутазилитов // Философский журнал. 2009. № 2 (3). С. 132—163.
[3] Анисов А.М. Креативная недетерминированная вычислимость // Вестник Российского университета дружбы народов. Серия «Философия». 2009. № 3. С. 80—92.
[4] Анисов А.М. Феномен течения времени. Логико-философский анализ. LAP LAMBERT, 2012.
[5] Черч А. Введение в математическую логику. М., 1960.
ONTOLOGY CURRENTS OF TIME: ABSTRACT COMPUTING MODELS
A.M. Anisov
Department of Epistemology and Logic Institute of Philosophy RAS
Goncharnaya, 12/1, Moscow, Russia, 109240
In article by means of abstract computing models on the basis of the language of programming ABT created by the author is under construction ontology currents of time. One of models specifies the original concept of atomic time which has arisen in medieval Arabian philosophy.
Key words: current of time, becoming, computing model, the Arabian philosophy of time.
references
[1] Anisov A.M. Vremja i komp'juter. Negeometricheskij obraz vremeni. M., 1991.
[2] Anisov A.M., Smirnov A.V. Logicheskie osnovanija filosofii vremeni mutazilitov. Filosofskij zhurnal. 2009. No. 2 (3). S. 132—163.
[3] Anisov A.M. Kreativnaja nedeterminirovannaja vychislimost'. VestnikRossijskogo universiteta druzhby narodov. Serija «Filosofija». 2009. № 3. S. 80—92.
[4] Anisov A.M. Fenomen techenija vremeni. Logiko-filosofskij analiz. LAP LAMBERT, 2012.
[5] Cherch A. Vvedenie v matematicheskuju logiku. M., 1960.
