Тема 5. Модальна логіка і семантика можливих світів (2 год.).

5.1. Мова модальної логіки висловлювань.

5.2. Модальні аксіоми.

5.3. Системи модальної логіки.

5.4. Семантика можливих світів: модальні моделі, відношення досяжності.

5.5. Аналітичні дерева у модальній логіці.

Література:

Ішмуратов А.Т. Вступ до філософської логіки. – К.: Абріс, 1997. – С. 97-98, 101-108.

Символическая логика: Учебник. – Спб.: Изд во С. Петерб. ун та, 2005. – С. 345 - 360.

Fitting M., Mendelsohn R.L. First-Order Modal Logic. – Dordrecht, Boston, London: Kluwer Academic Publishers, 1998. – P. 1-24, 67-73.

Priest G. An introduction to Non-Classical Logic. – Cambridge University Press, 2008. – P. 20-48.

Tidman P., Kahane, H., Logic and Philosophy: A Modern Introduction, Belmont: Wadsworth Publ. Co., 1999. – P. 370-378.

Тема 6. Логіка часу; логіка граматичних часів (tense logic) (2 год.).

6.1. Мова логіки часу.

6.2. Аксіоматична побудова логіки часу.

6.3. Семантика логіки часу.

Література:

Гольдблатт Р. Логика времени и вычислимости. – М.: ОИЛКРЛ, 1992.

Ишмуратов А.Т. Логические теории временных контекстов. – Киев: Наукова думка, 1981.

Ішмуратов А.Т. Вступ до філософської логіки. – К.: Абріс, 1997. – С. 108 -137.

Символическая логика: Учебник. – Спб.: Изд во С. Петерб. ун та, 2005. – С. 415-451.

Fitting M., Mendelsohn R.L. First-Order Modal Logic. – Dordrecht, Boston, London: Kluwer Academic Publishers, 1998. – P. 24-28.

Priest G. An introduction to Non-Classical Logic. – Cambridge University Press, 2008. – P. 49-55.

Не нашли, что искали? Воспользуйтесь поиском: