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

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

Лекції

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

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