Підручник охоплює повний курс традиційної логіки і скорочений — сучасної (класичної, некласичної). Засвоєння викладеного в ньому матеріалу дасть змогу студентам пізнати основні закони і форми мислення, схеми побудови правильних міркувань, сформувати навички ефективного відстоювання своїх поглядів і спростування хибних міркувань опонентів, ознайомитися з деякими тенденціями розвитку сучасної логіки. Систематизації й актуалізації знань сприятиме робота над уміщеними в підручнику запитаннями, вправами, задачами і зразками їх розв’язання. Опануванню термінологічної системи логіки допоможе короткий термінологічний словник.

Для студентів вищих навчальних закладів.

Предмет і значення логіки Предмет логіки. Проблема істинності та формально-логічної правильності мислення. Значення логіки. Поняття Сутність та види понять. Поняття та уявлення. Поняття і слово (ім’я). Зміст і обсяг понять. Види понять. Відношення між поняттями. Операції з поняттями. Обмеження й узагальнення понять. Операція поділу понять. Додавання, множення і віднімання понять (їх обсягів). Операція визначення поняття. Судження Сутність, будова і значення судження. Структура судження. Пропозиційна функція. Судження і речення. Роль запитання в пізнанні. Значення суджень як форми мислення. Класифікація суджень. Прості судження. Складні судження. Закони логіки Загальна характеристика законів логіки. Закон тотожності. Закон несуперечності. Закон виключеного третього. Закон достатньої підстави. Закони традиційної логіки і закони класичної логіки висловлювань. Умовивід Умовиводи і їх види. Безпосередні умовиводи. Опосередковані дедуктивні умовиводи. Простий категоричний силогізм. Скорочений силогізм (ентимема). Складні силогізми. Складноскорочені силогізми. Інші види опосередкованих дедуктивних умовиводів. Індукція. Види індуктивних умовиводів. Методи встановлення причинних зв’язків. Роль індукції в процесі пізнання. Аналогія. Гіпотеза Сутність гіпотези. Види гіпотез. Доведення істинності гіпотези. Версія і її види. Побудова і перевірка версій. Доведення і спростування Необхідність доказового мислення. Доведення. Будова і види доведення. Правила доведення. Спростування і його види. Софізми і паралогізми, парадокси і aнтиномії. Мистецтво полеміки Чи можна обійтися без суперечок? Суперечка, її види та форми. Поради полемісту. Загальна характеристика сучасної логіки Виникнення сучасної логіки і її специфіка. Поняття «мова». Поняття «формалізація». Класична логіка Класична логіка висловлювань. Мова класичної логіки висловлювань. Класична логіка висловлювань як учення про складні судження. Закони логіки висловлювань. Закон подвійного заперечення. Закон ідемпотентності. Закон комутативності. Закони контрапозиції. Закон асоціативності. Закон дистрибутивності. Закони де Моргана. Логічний вивід і проблема розв’язання. Поняття «логічний вивід». Основні правила виводу логіки висловлювань. Проблема розв’язання і розв’язуючі процедури. Логіка предикатів. Некласична логіка Загальні особливості некласичної логіки. Модальна логіка. З історії становлення модальної логіки. Загальна характеристика модальної логіки. Алетична логіка. Темпоральна логіка. Деонтична логіка. Епістемічна логіка. Багатозначна логіка. Тризначна логіка Я. Лукасевича. Логіка Давньої Індії Логіка Давньої Греції Зародження логіки у Давній Греції. Логіка Арістотеля. Логіка середньовіччя (схоластична логіка) Логіка епохи Відродження Логіка Нового часу Сучасна логіка З історії логіки в Україні Короткий термінологічний словник Література