2. Інформаційний обсяг навчальної дисципліни

Змістовий модуль 1. Класична логіка.

Тема 1. Специфіка логіки як науки

Феномени чуттєвого та раціонального пізнання. Поняття про логічне. Істинність та правильність суджень. Метод формалізації міркування. Сутність формальної логіки, об’єкт та предмет її дослідження. Завдання та функції формальної логіки. Співвідношення основних форм мислення. Зв'язок логіки з іншими науками. Етапи розвитку логічного знання. Розвиток логіки як науки в Україні. Логіка і мова: основи математичної та символічної логіки.

Тема 2. Поняття як форма мислення

Співвідношення між предметом, словом, іменем та поняттям. Ознаки предмету як смислове значення знака. Загальна та істотна ознаки як основа поняття. Поняття як форма мислення. Класифікації ознак предмета, відображених у понятті. Знання про клас і підклас, рід та вид у структурі загальних та збірних понять. Обсяг та зміст понять. Закон зворотного відношення обсягу та змісту понять. Класифікації понять. Методи утворення понять. Визначення понять, його види. Структура визначення, правила визначення понять. Прийоми, подібні до визначення. Номінальне та реальне визначення, види реального визначення. Операції обмеження та узагальнення понять. Додавання, віднімання, множення понять. Операція поділу понять. Види поділу. Відмінності між класифікацією та дихотомічним поділом. Правила поділу, помилки при їх порушеннях. Логічні відношення між поняттями. Сумісність та несумісність понять як результат їх порівнянності та непорівнянності.

Тема 3. Судження як форма мислення

Дослідження суджень засобами атрибутивної логіки. Судження як форма мислення. Типова структура судження. Зв’язок між логічною змінною та логічною постійною у судженні. Поняття терміну у судженні. Судження і речення. Поділ суджень на прості та складні. Види простого судження, структура простих суджень. Поняття квантора у судженні. Просте атрибутивне (категоричне) судження та його види. Запис судження мовою атрибутивної логіки. Таблиці істинності для формул атрибутивної логіки. Розподіленість термінів у судженні. Логічний квадрат. Відношення між судженнями у логічному квадраті. Функціонально-істиннісні залежності між судженнями у логічному квадраті. Види складного судження, структура складних суджень. Дослідження висловлювань засобами пропозиційної логіки. Визначення пропозиційної логіки.

Тема 4. Закони логіки.

Поняття про закон. Класифікація законів. Педагогічні закони як результат логічного опрацювання сфери освіти. Риси правильного мислення (логічні закони). Відмінності та співвідношення між законами логіки і логічними законами. Визначення законів логіки у термінах атрибутивної та пропозиційної логіки. Закони в атрибутивній логіці і логіці висловлювань: закон тотожності, закон несуперечності, закон виключеного третього, закон достатньої підстави, закони подвійного заперечення, закони ідемпотентності, закони комутативності, закони контрапозиції, закони асоціативності, закони дистрибутивності, закони де Моргана. Специфічні закони пропозиційної логіки. Основні закони логіки предикатів.