Код: 316389Назва:
Формальна логіка
Анотація: 1 трим.,4 год./тиж.,іспит, 2 зал.б.
Нормативний курс, мета якого - ознайомити студентів з основами традиційної й сучасної формальної логіки. Розглядаються засадничі поняття класичної логіки предикатів і силогітики. Курс дає уявлення про основні методи доведення і спростування, формує навички правильної арґументації, сприяє формуванню аналітичного способу мислення, розвиває логічну культуру студентів, а також ознайомлює з основними типами логічних парадоксів.