Темпоральная логика

Понятие времени как фундаментальной категории

Фундаментальным понятием для темпоральной логики является время.

В понятии времени концептуализируется:

• необратимая изменчивость мира,
• процессуальность характера его существования,
• существование в мире не только предметов и объектов, но и событий.

Общее понятие времени включает аспекты, отображаемые в более специальных понятиях, таких как:

• одновременность,
• временная последовательность,
• длительность и направленность (представления о прошлом, настоящем и будущем).

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

Время – это одна из тех реалий, которые с древности определяют смысловое поле мировосприятия человека. Самосознание, господствующее в различных культурно-исторических периодах, определяется в том числе и характером рассмотрения времени, способом включения его в систему мыслительных категорий:

• ранние этапы развития человечества характеризуются циклическим характером представления о времени. Это было связано с тем, что для человеческого существования были крайне важны циклические процессы – суточный и годичный циклы, циклы обращения Луны. В этом плане реликтовым представляется восточный календарь;
• позже сформировалось линейное представление о времени. В то же время, до сих пор в понимании времени значительна роль циклических (периодических) процессов: они заложены в основу эталонов измерения времени.

Становление темпоральной логики

Темпоральная логика появилась в начале 1950-х. Ее основоположником считают А. Н. Прайора. Однако необходимо признать заслугу Г. В. Ф. Гегеля в формировании парадигмы временной логики, философско-методологическим основанием которой выступает принцип конкретности истины. Здесь необходимо вспомнить о гегелевском требовании анализировать конкретные ситуации с учетом текучести реальности. Сам А. Н. Прайор признавал близость темпоральной логики к диалектической.

Складывание конкретных научных предпосылок темпоральной логики происходило под влиянием лингвистических исследований вопроса грамматических времен глагола. Особую роль сыграла система «семи времен» О. Есперсена, который различал времена:

• высказывания,
• действия,
• ссылки.

Параллельно шли научные и философские изыскания по проблематике времени:

• уточнение интуитивных предположений о времени,
• экспликация темпоральных понятий,
• определение темпоральных обстоятельств аргументации.

Истоки темпоральной логики можно обнаружить в трудах античных философов. В первую очередь следует отметить трактат Аристотеля «Об истолковании», в котором говорится, что простое высказывание – это звукосочетание, которое обозначает присущность или неприсущность чего-либо с различением во времени. Рассматривая фаталистический аргумент о «завтрашнем морском сражении», Аристотель допускает непостоянство истинности и ложности суждения во времени. Именно анализ этого аргумента в XX веке вдохновил Я. Лукасевича на изучение возможности создать исчисление, учитывающее временную квалификацию суждения.

Стоическо-мегарская философская школа принимала идея суждения с временной квалификацией. Диодор Крон приводил примеры суждений типа «сейчас имеет место день», истинные в одно время и ложные в другое. Импликацию «если А, то В» он понимал следующим образом: «Никогда не было времени, в которое А было бы истинным при ложности В». Ему принадлежит формулировка главенствующего аргумента, комбинирующего временную и модальную квалификации суждений. Согласно этому аргументу, три суждения несовместимы:

• все истинные суждения о прошлом необходимы;
• из возможного не следует невозможное;
• нечто, чего нет сейчас не будет, все же является возможным.

Этот образец использования модальной и временной логики до сих пор исследуется в философском анализе. Так, в результате анализа и логической реконструкции этого аргумента Прайор пришел к построению первых аксиоматических систем темпоральной логики. Позднее он реконструировал идеи У. Оккама и Ч. С. Пирса, что позволило разработать интересную модель «ветвящегося времени». Эта модель оказалась в фокусе внимания темпоральной логики и ее прикладных аспектов.

Средневековая логика дала условия истинности временных суждений. Ж. Буридан установил, что суждение, выражаемое высказыванием прошедшего времени, является истинным, если вещи были такими, как о них в нем говорится, а будущего – если будут такими, как о них говорится. К этому же периоду относятся разработки концепции возможных миров (У. Оккам, Д. Скот, В. Бурлей) и открытие некоторых аксиом темпоральной логики, в частности, закон Оккама: если суждение «эта вещь есть» было истинно, то всегда после этого будет истинным суждение «эта вещь была».

В Новое время интерес к временным квалификациям логических форм ослаб, чтобы позднее возобновиться и уже не исчезать.

Среди применений темпоральной логики можно назвать:

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