Робочий тематичний план курсу

34 аудиторні години 2 кредити ЄКТС 20 годин – лекції 14 годин – семінари форма контролю – залік термін викладання – ІII семестр Укладач: Навроцький Володимир Вячеславович, д.філос.н.

Мета курсу– засвоєння студентами основ сучасної формальної логіки. Розглядаються основні поняття класичної логіки висловлювань, класичної логіки предикатів, модальної логіки, семантики можливих світів, логіки природної мови. Курс дає уявлення про основні методи доведення і спростування, формує навички правильної аргументації, сприяє формуванню аналітичного способу мислення, розвиває логічну культуру студентів. Курс «Логіка» слугує вступом до спецкурсів з філософії мови.

Програма курсу

Лекції

Тема 1. Предмет логіки, логіка і мова, міркування і аргументи (2 год.).

Тема 2. Синтаксис логіки висловлювань (2 год.).

Тема 3. Семантика логіки висловлювань (2 год.).

Тема 4. Синтаксис логіки предикатів (2 год.).

Тема 5. Семантика логіки предикатів (2 год.).

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

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

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

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

Семінари

Тема 1. Предмет логіки, логіка і мова, міркування і аргументи (2 год.).

1.1. Визначення логіки.

1.2. Основні етапи розвитку логіки.

1.3. Теоретичне і практичне значення логіки.

1.4. Логіка і мова.

1.5. Міркування і аргументи.

Література:

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

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

Конверський А.Є. Логіка. – К.: Четверта хвиля, 1998.

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

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

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

Pollock J. L. Logic: An Introduction to the formal study of Reasoning. – University of Arizona, 2009. – P. 3-27.

Willson W.K. The Essentials of Logic. – New Jersey, 1999. – Р. 9-19.

Тема 2. Синтаксис і семантика логіки висловлювань (2 год.).

2.1. Логічні оператори.

2.2. Формули логіки висловлювань.

2.3. Символізація висловлювань.

2.4. Правила істинності.

2.5. Таблиці істинності.

2.6. Тавтології.

2.7. Тавтологічні імплікації і тавтологічні еквівалентності.

Література:

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

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

Конверський А.Є. Логіка. – К.: Четверта хвиля, 1998.

Мельников В.Н. Логические задачи. – К.: Вища школа, 1989.

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

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

Pollock J. L. Logic: An Introduction to the formal study of Reasoning. – University of Arizona, 2009 – P. 29-55.

Willson W.K. The Essentials of Logic. – New Jersey, 1999. – Р. 47-78.

Тема 3. Синтаксис і семантика логіки предикатів (2 год.).

3.1. Індивідні константи, функціональні символи і предикатні символи.

3.2. Квантори та індивідні змінні. Вільні і зв’язані входження змінних.

3.3. Правильно побудовані формули логіки предикатів.

3.4. Інтерпретація у логіці предикатів.

3.5. Правила істинності.

3.6. Імплікації та еквівалентності.

Література:

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

Конверський А.Є. Логіка. – К.: Четверта хвиля, 1998.

Мельников В.Н. Логические задачи. – К.: Вища школа, 1989.

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

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

Pollock J. L. Logic: An Introduction to the formal study of Reasoning. – University of Arizona, 2009. – P. 102-142.

Willson W.K. The Essentials of Logic. – New Jersey, 1999. – Р. 107-122.