1. Визначення темпоральної логіки
Темпоральна логіка - це розділ модальної логіки, де досліджуються темпоральні вісловлювання та їх відношення в структурі міркування.
Темпоральні вісловлювання - це вісловлювання, для ОЦІНКИ смислу якіх необхідні уточнення з використанн годинний характеристики, тобто зрозуміти, зв язаних з Категорією годині: дата, длительность, змінювання, часовий порядок та Інші. Характерною Ознакою таких вісловлювань є ті, что смороду могут буті відповіддю на запитання «коли?», А такоже могут буті перетворені у запітальні речення зі словом «коли». Для цього до складу темпоральність вісловлювань включаються Такі модальності, як «Було так, що ...», «буде так, що ...», «всегда Було так, що ...», «всегда буде так, що ...», «Ранее», « пізніше »,« одночасно »та їх модіфікації.
приклада темпоральність вісловлювань могут буті Такі речення:
) Допит Свідка БУВ проведень.
) Допит Свідка буде проведень.
) Незабаром буде проведень допит Свідка.
) Щойно БУВ проведень допит Свідка.
) Почінається допит Свідка.
. Історія розвитку темпоральної логіки
Хоча темпоральна логіка як напрямок сучасної логіки вінікла не так давно: лишь у 50-60-ті роки XX століття, темпоральні вісловлювання аналізуваліся Вже в роботах античних філософів. Так, Арістотель, аналізуючі вісловлювання про Майбутні віпадкові події («Можливо завтра буде морська битва»), приходити до висновка, что у вісловлюваннях про майбутнє, істіннім повинною буті тверджень або его заперечення, альо НЕ є необхіднім, щоб Одне Із них Заздалегідь Було істіннім.
Діодор Кронос, аналізуючі часові контексти, Створив своєрідну Концепцію модальностей, де спробував поєднаті темпоральні ї атлетічні їх різновиди. Спроба реконструюваті его уявлення про годину помощью мови сучасної логіки привела до Виникнення Першого числення темпоральної логіки.
У Працюю філософів середньовіччя такоже можна найти міркування, Які стосують темпоральність модальностей. Например, У. Оккам, аналізуючі логічний смисл граматичний часів. Відкрів одну з Головня аксіом темпоральної логіки, так звань «принцип змішування часів»: «Якщо тверджень« Ця річ є »Було колі-небудь істіннім, на Який бі про єкт воно НЕ Вказував, тоді всегда после цього буде істіннім тверджень« Ця річ булу ».
Ж. Бурідан и Альберт Саксонській (1316-1390) такоже аналізувалі темпоральні модальності. Перший спробував Установити умови істінності контекстів, де зустрічаються модальності годині. Другий обґрунтував ЦІ умови.
АВІЦЕННА (980 - 1037) розробляв хронологічну Концепцію імплікації в рамках Загальної Теорії категоричність суджень темпорального типу.
У XX столітті дослідження темпоральність контекстів відновлюється, формується новий напрямок логічного знання - темпоральна логіка.
Перше ее числення Було побудоване в 1955 году англійськім логіком Артуром Прайор. У +1957 и +1967 роках Виходять друком его праці, Які Вже стали класичними. Це «Time and modality» («Час і модальність») и «Past, Present and Future» («Минуле, теперішнє и майбутнє»).
подалі розвиток темпоральної логіки пов'язаний з іменамі М. Решер, Х. Укварт, Х. Кампа, Г.Х. фон Врігта, К. Сегерберга, Дж. Кліффорда та других.
На сучасности етапі розвитку темпоральної логіки вважається, что вона представляет собою множини логічніх систем, Які поділяються на А-логіку і В-логіку. Перша орієнтована на годинну ряд «минуле - теперішнє - майбутнє», одного - «Ранее - одночасно - пізніше». Уперше такий поділ годин рядів БУВ запропонованій англійськім філософом Дж. Мак - Таггардом на качана 20 століття.
А-логіка та У-логіка - це дві самостійні напрямки сучасної темпоральної логіки, Які нельзя звесті одна до одного. Часові ряди А і В є Незалежності и являються собою две Різні точки зору на світ, два способи Опису тихий самих подій.
Перший ряд (А - ряд) застосовується основном в гуманітарних науках, другий (В-ряд) - в природничих. Можна стверджуваті, что темпоральні модальності Першого ряду службовців для Опису процесів становлення світу, темпоральні модальності іншого ряду - для Опису его Існування.
. Мова темпоральної пропозіційної логіки
Мова пропозіційного варіанту темпоральної логіки відрізняється від мови класичної логіки вісловлювань только кількістю логічніх знаків. Окрім знаків логічніх сполучніків до неї такоже входять знаки темпоральність модальностей: Р - знак модальності «буде так, що ...», F - знак ...
