Временная логика: операторы прошлого и будущего и пример рассуждения

Фраза «дверь открыта» может быть истинной утром и ложной вечером. Если просто обозначить её одной буквой и не уточнять момент оценки, легко потерять различие между «дверь была открыта», «когда-нибудь откроется» и «всегда будет открыта». Временная логика — область формальной логики, изучающая способы представления и проверки рассуждений, в которых существенно, когда нечто истинно.

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

Три связи, без которых понятие трудно понять

Временная логика и логика высказываний

Классическая логика высказываний умеет работать с «не», «и», «или», «если — то». Но сама по себе она не задаёт, в какой момент истинна фраза. Временные операторы дополняют обычные средства, позволяя оценивать утверждения относительно выбранного момента. Формула «не p» отрицает p в том же моменте оценки; формула «раньше p» говорит о наличии подходящего момента в прошлом. Это разные высказывания.

Временная логика и модальность

Модальная логика исследует операторы вроде необходимости и возможности. Временная логика родственна ей по способу построения формальных языков, но вместо общей необходимости рассматривает отношения моментов: «когда-то было», «когда-то будет», «всегда было», «всегда будет». При этом «в будущем произойдёт» не означает «событие необходимо при любых возможных обстоятельствах». Возможность будущего и предсказание будущего — не одно и то же.

Временная логика и философия времени

Философы спорят, представляет ли время единственную линию, как трактовать открытое будущее и отличаются ли прошлое, настоящее и будущее онтологически. Формальная система может исследовать разные допущения: линейный порядок моментов либо ветвящиеся возможные продолжения. Но выбор модели сам по себе ещё не доказывает, что реальный мир имеет такое устройство. Логика помогает ясно выразить разногласие, а не отменяет потребность в философском аргументе.

Разобранный пример с проверкой вывода

Пусть p означает «читальный зал открыт». Возьмём три последовательных момента: утро, день и вечер. Предположим, зал закрыт утром, открыт днём и закрыт вечером. Оцениваем предложения утром.

• F p — «когда-нибудь в будущем p»: истинно утром, поскольку зал будет открыт днём.
• G p — «во все будущие моменты p»: ложно утром, поскольку вечером зал закрыт.
• P p — «в некоторый момент прошлого p»: в этой модели ложно утром, если мы рассматриваем только заданные три момента и до утра нет моментов модели.
• F (не p) — «в будущем когда-нибудь не p»: истинно утром, так как вечером зал закрыт.

Отсюда видно: из F p нельзя вывести G p. Наличие хотя бы одного будущего момента, когда p истинно, не гарантирует истинности p в каждом будущем моменте. Контрпример уже построен: день делает F p истинным, вечер — G p ложным. Это логическая проверка формы вывода, а не бытовой совет о режиме библиотеки.

Есть важная тонкость: в системах с другим пониманием временных операторов — например, когда «всегда в будущем» включает текущий момент или когда время ветвится, — детали истинности формул могут измениться. Поэтому пример использует стандартное чтение операторов Прайора для линейной последовательности моментов и не претендует на описание всех вариантов временной логики.

Как складывался инструментарий

1. 1950-е годы — Артур Прайор. Его работы создали основу современной логики временных высказываний; в изложении Stanford Encyclopedia of Philosophy особенно значимо введение операторов прошлого и будущего. Монография «Time and Modality» вышла в 1957 году.
2. 1968 год — Ханс Камп. В диссертационной работе формализованы бинарные отношения «с тех пор как» и «пока не», расширившие средства описания временных связей между событиями.
3. Дальнейшая разработка. На этой базе возникли разнообразные системы, применяемые в семантике языка, представлении знаний и формальной верификации поведения программ. Это не означает, что любая такая система взаимозаменяема с философской логикой времени Прайора.

Где заканчивается понятие

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

Итог. Временная логика нужна, когда логический вывод зависит от порядка моментов и различия «иногда» и «всегда». Сначала уточняют временную модель и значения операторов, затем проверяют истинность посылок и корректность перехода к заключению. Без этих условий даже простая фраза о будущем может быть понята двояко.

Источники

• Stanford Encyclopedia of Philosophy: Temporal Logic — определения операторов, история, формальные системы и применение.