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

Родовой характер положения дел означает, что его можно или нельзя получить в некоторых случаях, а следовательно, можно или нельзя воспроизвести повторно. Я буду рассматривать родовой характер как существенное свойство всех положений дел, которые могут включаться в каузальные или другие номические связи друг с другом. Реализацию положения дел(19) в некотором случае можно также назвать локализацией положения дел в пространстве и времени. Мы будем обращать внимание только на временной фактор.

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

Рассматриваемое множество положений дел я буду также называть "пространством состояний", В нашем

[79]

формальном анализе везде будет предполагаться, что пространства состояний являются конечными.

Допустим, что полное состояние мира в данном случае можно описать путем установления любого данного элемента некоторого пространства состояний, независимо от того, получается он или нет в этом случае. Удовлетворяющий этому условию мир можно назвать "миром Трактата". Именно такого рода мир исследовал Витгенштейн в своем "Логико-философском трактате". Он представляет собой частный случай более общей концепции структуры мира, которую можно назвать логическим атомизмом.

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

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

На основе ПЛ мы строим следующую (элементарную) временную логику(20).

К алфавиту ПЛ добавляется новый символ Т, представляющий бинарную связку. Выражение "p Т q" читается так: "Сейчас происходит событие p, а затем, т.е. в следующий момент, происходит событие q".

[80]

Выражения слева и справа от Т могут быть соединением переменных и функционально-истинностных связок. Особый интерес представляет случай, когда они являются описаниями состояния. Полное выражение будет тогда говорить, что в данный момент мир находится в определенном состоянии, а в следующий момент находится в том же самом состоянии или в каком-то другом.

Выражения слева и справа от Т могут сами содержать символ Т. Можно построить цепочку формул - Т ( - Т (- Т ... ))..., описывающих состояния, которые последовательно, т.е. в различные моменты некоторого отрезка времени, проходит мир. Особый интерес представляет случай, когда выражения, обозначенные как "-", являются описаниями состояния. Цепочку такого типа будем называть (фрагментом) истории мира. Термин "история" имеет двойственное значение: он может означать последовательность как самих полных состояний мира, так и их описаний.

Мы получим "логику" с оператором Т, если к аксиомам пропозициональной логики добавим следующие четыре аксиомы:

T1. (p\/q T r\/s )<-> (р T r ) \/ (p T s) \/ (q T r) \/ (q T s)

T2. (p T q) & (p T r) -> (p T q & r)

T3. p <->^(p T q \/ ~q)

T4. ~ (p T q & ~q),

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