Тимчасова логіка

ТИМЧАСОВА ЛОГІКА, розділ сучасної модальної логіки, що вивчає логічні зв'язки тимчасових тверджень (у яких тимчасовий параметр входить у логічну форму). Тимчасова логіка виникла у 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 та tense-logic. The Hague, 1975; Врігт Г. Х. тло. Логікофілософські дослідження. Ізбр. праці. М., 1986; Карпенко А. С. Фаталізм та випадковість майбутнього: логічний аналіз. М., 1990; Івін А. А. Модальні теорії Я. Лукасевича. М., 2001.

---