Временная логика
ВРЕМЕННАЯ ЛОГИКА, раздел современной модальной логики, изучающий логические связи временных утверждений (в которых временной параметр включается в логическую форму). Временная логика возникла в 1950-х годах (работы английского логика А. Н. Прайора), хотя первые попытки учесть роль времени в логическом выводе относятся ещё к античности (Аристотель, Диодор Крон). Временная логика включает множество логических систем (логик), распадающихся на две группы:
1) А-логики времени, рассматривающие временные утверждения, истинностное значение которых может быть разным в разные моменты времени (утверждения с переменным моментом отнесения, в качестве которого обычно выступает «настоящее», то есть момент произнесения утверждения: «Гремит гром» и т.п.);
2) В-логики времени, имеющие дело с временными утверждениями, истинностное значение которых не меняется с течением времени («Гегель родился в 1770», «Плотин жил раньше Боэция» и т.п.).
А-логики ориентированы на временной ряд «прошлое - настоящее - будущее», В-логики - на временной ряд «раньше - одновременно - позже». Последние рассматривались главным образом в контексте конкретных проблем, связанных с формализацией фрагментов физики, биологии, апорий Зенона Элейского и др. (Р. Карнап, Дж. Вуджер, С. Шираиши). А-логики обычно формулируются в терминах «было», «есть» и «будет». Утверждениями, доказуемыми в расширениях, так называемых минимальных временных логик, предполагаются определённые эмпирические свойства времени (такие, как его бесконечность или конечность, плотность или дискретность). Предложенная Г. Х. фон Вригтом логика времени с двуаргументным оператором «и затем» может интерпретироваться также как логика изменения.
Реклама
Временная логика нашла многочисленные приложения в анализе естественного языка, в исследованиях в области искусственного интеллекта, в компьютерных науках.
Лит.: Prior А.N. Time and modality. Oxf., 1957; idem. Past, present and future. Oxf., 1967; Rescher N., Urquhart А. Temporal logic. N. Y., 1971; Clifford J.Е. Tense and tense-logic. The Hague, 1975; Вригт Г. Х. фон. Логикофилософские исследования. Избр. труды. М., 1986; Карпенко А. С. Фатализм и случайность будущего: логический анализ. М., 1990; Ивин А. А. Модальные теории Я. Лукасевича. М., 2001.
А. А. Ивин.