Логико-философские исследования (Избранные труды)

T1. (p\/q T r\/s)‹-› (р T r) \/ (p T s) \/ (q T r) \/ (q T s)

T2. (p T q) amp; (p T r) — › (p T q amp; r)

T3. p ‹-›^(p T q \/ ~q)

T4. ~ (p T q amp; ~q),

а к правилам вывода пропозициональной логики добавим правило: если эквивалентность некоторых выражений доказана, то они взаимозаменимы (правило экстенсиональности).

Если число возможных полных состояний мира (в данном случае) равно 2**n, то число возможных историй мира в m последовательных моментах равно 2**(m*n). Удобно говорить, что n измеряет "ширину" мира, а m измеряет "длину" его истории. Дизъюнкцию 2**(m*n) различных возможных историй мы будем называть Т-тавтологией или "тавтологичной историей". Она говорит о всех возможных путях изменения мира, когда "время проходит" от первого момента до момента т., никак не ограничивая действительный ход событий. Таким образом, эта тавтология вообще ничего не говорит о его реальной истории.

Понятие T-тавтологии дает нам критерий логической истинности для исчисления со связкой Т. Можно показать, что в данном исчислении доказуемы те, и только те, формулы, для которых доказуема их эквивалентность T-тавтологиям. Это означает, что логика связки Т является семантически полной. Она также разрешима; относительно любой данной формулы можно показать, является ли она (доказывается ли ее эквивалентность) T-тавтологией.

Как должно быть ясно из приведенных объяснений и структуры нашего формализма (особенно аксиомы Т2), в нашей временной логике время рассматривается как дискретное, как линейное течение исчислимых последовательных случаев (мгновений, моментов времени). Как и в случае допущения о логико-атомистической структуре мира, здесь также можно задать вопрос: "действительно" ли время имеет дискретную структуру? Не следует ли рассматривать время как "плотное", по крайней мере, т. е. такое, что между двумя любыми моментами времени всегда есть третий? И не следует ли считать его непрерывным? Нет необходимости останавливаться здесь на этих вопросах. Логика связки Т в качестве упрощенной модели временной последовательности состояний мира вполне удовлетворяет целям нашего анализа.

Следует обратить внимание, что под "упрощенностью" модели я понимаю логическую простоту ее концептуальной структуры. Когда в научном анализе каузальные связи формулируются как функциональные зависимости между переменными или когда в математических исчислениях анализируются функции, может оказаться значительно проще трактовать время как континуум, чем рассматривать его как развертывание дискретных моментов. Понимание законов природы как системы дифференциальных уравнений тесно связано с идеей непрерывности времени и пространства. Однако с логической точки зрения эта концепция чрезвычайно запутана и сложна и нелегко определить ее отношение к "действительности". Идея континуума, по-видимому, — это "идеализация", сглаживающая неровную поверхность действительности.

Можно добавить в исчисление коннективного T-оператора временной квантор, например понятие "всегда" ("всякий раз, когда"). Если "всегда" обозначить символом /\, то "никогда" можно определить как /\ ~, а "иногда" — как ~ /\ ~. Если добавить символ /\ в алфавит Т-исчисления, то в нашем логическом языке можно сформулировать такие высказывания, как "Всякий раз, когда есть p, в следующий момент будет q". Символически: /\ (p — › ~ (p T q)). Мы не будем обсуждать проблемы аксиоматики и металогики (вопросы полноты, разрешимости и т. п.) в отношении этой кванторной логики дискретного времени[112].

Следующий, и последний, концептуальный элемент, добавляемый в наш формализм, — это оператор М. Оператор М выражает понятие возможности. Невозможность будет определяться как ~М, а необходимость — как ~М~. Аксиоматика нужной нам модальной логики должна обладать по крайней мере такой же силой, как система, образованная пропозициональной логикой, правилом экстенсиональности и следующими аксиомами:

M1. М (p \/ q) ‹-› М p \/ M q.

M2. p — › М p.

М3. ~ М (p amp; ~ р).

Мы не будем доказывать теоремы на основе этих аксиом и даже пытаться выразить результаты наших рассуждений в символическом языке ПЛ+Т+Л+М исчисления. Проблема надлежащей формализации логики обусловленности и каузального анализа (как я предлагаю его называть) в значительной мере остается еще открытой, но я надеюсь, что со временем она будет решена. В данной работе в лучшем случае предлагаются лишь отдельные компоненты, необходимые для ее решения.

Вместо формального анализа в рамках исчисления я буду использовать квазиформальный метод представления и иллюстрации посредством простых топологических фигур (деревьев). Пусть кружки обозначают полные состояния мира, "образованные" из некоторых "элементарных" n состояний. Последовательности кружков, связанных линиями слева направо, будут выражать возможные истории мира. Если кружок связан более чем с одним кружком, стоящим непосредственно справа от него, то эти последние означают альтернативные возможные состояния мира, следующие за состоянием, представленным первым кружком.