Мета та завдання «логіки»
Головна причина підвищення значущості логіки як фундаментальної навчальної дисципліни пов'язана з значними успіхами у створенні та застосуванні нових інформаційних технологій. Комп'ютер, як відомо, є нічим іншим, як логічною машиною. Тому інформаційна цивілізація, що формується сьогодні, вимагає незрівнянно вищої, ніж раніше, логічної культури. Знання логічної теорії дозволяє глибше усвідомити підстави та можливості формалізації розумової діяльності з чим безпосередньо пов'язане майбутнє логічних машин, інформаційних технологій.
Студенти мають можливість порівняти Програму курсу "Логіки" з аудиторними заняттями за своєю формою навчання та спеціальності, і виходячи з цього зорієнтувати свою самостійну роботу з вивчення теорії логіки.
Слід звернути увагу, що оволодіння основами логіки, як і математики, вимагає послідовності і систематичності у вивченні матеріалу, необхідності поєднання освоєння теорії з виконанням вправ з кожної теме. Тільки вміння застосовувати правила логіки в практичній роботі стосовно конкретних висловлювань, міркувань може свідчити знання цих правил, тобто. логічну теорію. Тому суть семінарських занять з логіки – виконання вправ та розв'язання завдань з відповідних тем теорії логіки.
Робоча програма з логіки
1. Логіка як наука.
Предмет вивчення логіки. Істинність думки та формальна правильність міркувань. Зміст та логічна структура думки.
Концепція логічної форми. Основний принцип формальної логіки. Концепція логічного закону.
Виникнення та основні етапи розвитку логіки як науки.
Теоретичне та практичне значення логіки. Роль логіки у формуванні переконань, у підвищеннікультури мислення. Логіка та сучасний науково-технічний прогрес. Проблеми управління та логіка. Логіка та сучасний менеджмент.
2. Підстави логічної культури.
Логіка та мова. Мова як знакова інформаційна система. Логічний аналіз мови як виявлення логічних форм і законів. Концепція закону. Логічні терміни: логічні зв'язки, квантори. Роль штучних мов логіки виявлення структури думки.
2.1. Концепція.
Поняття як логічна форма мислення. Основні логічні прийоми формування понять: аналіз, синтез, порівняння, абстрагування, узагальнення.
Відносини між поняттями. Порівнянні та незрівнянні поняття. Сумісні та несумісні поняття. Типи сумісності: різнооб'ємність, перехрещення, підпорядкування (ставлення роду та виду). Типи несумісності: підпорядкування, протилежність, протиріччя. Кола Ейлера висловлювання відносин між поняттями.
Логічна операція «Визначення понять». Явні та неявні визначення. Логічні правила очевидного визначення, логічні помилки.
Логічна операція «розподіл понять». Логічні правила розподілу понять, логічні помилки.