Тема 4. Дедукція у логіці висловлювань і логіці предикатів (2 год.).

4.1. Вираження аргументів у логіці висловлювань.

4.2. Правила дедуктивного виводу в логіці висловлювань.

4.3. Стратегії побудови породжень в логіці висловлювань.

4.4. Redictio ad absurdum.

4.5. Правила дедуктивного виводу в логіці предикатів.

4.6. Стратегії побудови породжень в логіці предикатів.

Література:

Івін О.А. Логіка. – К.: АртЕк, 1996.

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

Тофтул М.Г. Логіка. – К.: Академія, 1999.

Хоменко І.В., Алексюк І.А. Основи логіки. – К.: Золоті ворота, 1996.

Pollock J. L. Logic: An Introduction to the formal study of Reasoning. – University of Arizona, 2009. – P. 71-99, 143- 151.

Tidman P., Kahane, H., Logic and Philosophy: A Modern Introduction, Belmont: Wadsworth Publ. Co., 1999. – P. 73-125, 161-184, 205-207, 210-224.

Willson W.K. The Essentials of Logic. – New Jersey, 1999. – Р. 79-88, 123-131.

Тема 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.

Тема 7. Логіка дискурсу і діалогу, логічні моделі аргументації (2 год.).

7.1. Семантичні теорії дискурсу.

7.2. Логіка і теорія діалогу.

7.3. Аргументація і діалог.

Література:

Демьянков В.З. Когнитивная лингвистика как разновидность интерпретирующего подхода // Вопросы языкознания. – 1994. – № 4. – С. 17-33.

Ивин А. А. Теория аргументации: Учебное пособие. – М.: Гардарики, 2000. – 416 с.

Chesnevar C. I., Maguitman A.G., Loui R. P. Logical Models of Argument // ACM Computing Surveys. – V. 32, № 4. – 2000. – P. 337-383.

Gärdenfors P. The Emergence of Meaning // Linguistics and Philosophy. – 1993. – V. 16, № 3. – P. 285-309.

Muskens R., Benthem J. van, Visser A. Dynamics // Handbook of Logic and Language [J. Van Benthem and A. Ter Meulen, editors]. – Amsterdam, Lausanne, New York, Oxford, Shannon, Tokyo: Elsevier; Cambridge, Massachusetts : The MIT Press, 1997. – P. 587-648.

Pollock J. L. Defeasible reasoning [Електронний ресурс]. – Режим доступу: http://www.oscarhome.soc-sci.arizona.edu/~pollock.

Prakken H., Vreeswijk G. A. W. Logics for Defeasible Argumentation // Handbook of Philosophical Logic, second edition [D.Gabbay, F. Guenthner, eds.]. – Dordrecht, Boston, London: Kluwer Academic Publishers, 2002. – V. 4. – P. 219-318.

Walton D. The Place of Dialogue Theory in Logic, Computer Science and Communication Studies // Synthese. – 2000. – V. 123, № 3. – P. 327-346.