Тема 6

ВРЕМЕННАЯ ЛОГИКА

Овремененные высказывания. Логика времени как первопорядковая временная теория. Виды временных модальностей. Минимальная временная логика Kt. Семантика временной логики. Расширения минимальной временной логики. Определение алетических модальностей через временные.

Литература:

    , Введение в логику. Гл. 8 §4 Прайор   Предтечи временной логики – Логос, №2- 2000 Символическая логика – СПб, изд-во С.-Петербургского университета, 2005, с. 437-446

Дополнительная литература:

    Burgess J. P. Basic Tese Logic // Handbook of Philosophical Logic. – 1984. - V. II. - C.89-133 Goldblatt R. Logic of Time and Computation // CSLI Lecture Notes. - 1991. - N 7. - C.1-137. Harel D. Dynamic Logic // Handbook of Philosophical Logic. - 1984. - V. II. - C.497-604 van Benthem J. Temporal Logic // Handbook of Logic in Artificial Intellegence and Logic Programming. – 1992 . - V. III. Свойства времени - Logical Studies №6 – 2001 аким временем мы пользуемся? – Логос, №2- 2000. аким временем мы пользуемся? – Логос, №2- 2000. , , Представление знаний о времени и пространстве в интеллектуальных системах. М., Наука, 1989 Логики с модальными временными операторами - Logical Studies Логические системы с модальными временными операторами - Logical Studies

Задания:

Из п. п. 4.1. – 4.2. главы 8 учебника «Введение  в логику» сделать выписки в тетрадь по плану:

- овременнёные высказывания

- временной параметр

- временная характеристика

- временной ряд (и их виды)

- язык логики времени как язык прикладной первопорядковой теории


Нужно выписать в тетрадь возможные свойства отношения временного порядка (аксиомы) - с. 332 учебника. Выписать, как задать интервально построение временной логики в рамках логики предикатов. Прочтите отрывок статьи Прайора (ссылка на портале) и выпишите тезисы в тетрадь. Сделайте выписки в тетрадь из п.4.3. и 4.4.:

- виды временных модальностей

- формулировка исчисления Kt

- семантика минимальной временной логики

6.         Из п.4.5. §4 гл.8 учебника сделайте выписки о постулатах временных логик

7.        Из п.4.6. §4 гл.8 учебника сделайте выписки в тетрадь о различных возможностях выражения алетических модальностей через временные и связанных с этим сложностей, а также попыток их преодолеть.