Тема 3. Судження як форма мислення.
План
Характеристика судження.
Структура судження.
Розподіленість термінів судження.
Види суджень.
Відношення між простими категоричними судженнями (за логічним квадратом).
Логічні операції над судженнями:
обернення;
перетворення;
протиставлення предикату.
Література:
Гетманова А. Д. Учебник по логике. 2-е изд. — М.: «Владос», 1995. — 303 с.
Глава 3, с. 65-88.
Гетманова А. Д. Логика: Учебник для студентов пед. Вузов. — М.: Высш. шк., 1986. – 288 с.
Глава 2, с. 70-97.
Кириллов В. И., Старченко А. А. Логика: Учебник. — М.: Высш. Школа, 1982. — 262 с.
Глава 4, 5, с. 58-96.
Свинцов В. И. Логика: Учебн. для вузов. — М.: Высш. Школа, 1987. — 287 с.
Глава 3, с. 75-115.
Жеребкін В.Є. Логіка.- К., 1999.
Тофтул М.Г. Логіка: Посібник для студентів вузів.- К., 1999
Конверський А.Є. Логіка: Підручник.- К., 1999
Жоль К.К. Вступ до сучасної логіки. - К.: Вища школа, 1992.
Хоменко І.В., Алексюк І.А. Основи логіки. – К.: Золоті ворота, 1996.
Марценюк С.П. Логіка: Курс лекцій.- К., 1993.
Гетманова А. Д. Логика: Учебное пособие. — М., 1994.
Тема 4. Умовивід як форма мислення.
План
Характеристика умовиводу.
Умовиводи із простих суджень:
безпосередні умовиводи;
простий категоричний силогізм.
3. Умовиводи із складних суджень:
3.1 розподільно-категоричний умовивід;
умовні умовиводи:
3.2.1. умовно-категоричний умовивід;
3.2.2. умовно-розподільний умовивід.
Література:
Гетманова А. Д. Учебник по логике. 2-е изд. — М.: «Владос», 1995. — 303 с.
Глава 5, с. 110-179.
Гетманова А. Д. Логика: Учебник для студентов пед. Вузов. — М.: Высш. шк., 1986. – 288 с.
Глава 5, с. 125-198.
Кириллов В. И., Старченко А. А. Логика: Учебник. — М.: Высш. Школа, 1982. — 262 с.
Глава 8 - 11, с. 126-214.
Свинцов В. И. Логика: Учебн. для вузов. — М.: Высш. Школа, 1987. — 287 с.
Глава 6, с. 190-244.
Жеребкін В.Є. Логіка.- К., 1999.
Тофтул М.Г. Логіка: Посібник для студентів вузів.- К., 1999
Конверський А.Є. Логіка: Підручник.- К., 1999
Жоль К.К. Вступ до сучасної логіки. - К.: Вища школа, 1992.
Хоменко І.В., Алексюк І.А. Основи логіки. – К.: Золоті ворота, 1996.
Марценюк С.П. Логіка: Курс лекцій.- К., 1993.
Гетманова А. Д. Логика: Учебное пособие. — М., 1994.
Тема 5. Доведення і спростування.
План
Логічна характеристика доведення.
Види доведень.
Правила доведення.
Помилки в доведенні.
Література:
Хоменко І. В. Логіка – юристам: Підручник. – К.: Четверта хвиля, 1998. – 392 с.
Розділ 9, с. 219-248; практикум 9, с. 321-336.
Гетманова А. Д. Учебник по логике. 2-е изд. — М.: «Владос», 1995. — 303 с.
Глава 5, с. 110-179.
Гетманова А. Д. Логика: Учебник для студентов пед. Вузов. — М.: Высш. шк., 1986. – 288 с.
Глава 5, с. 125-198.
Кириллов В. И., Старченко А. А. Логика: Учебник. — М.: Высш. Школа, 1982. — 262 с.
Глава 8 - 11, с. 126-214.
Свинцов В. И. Логика: Учебн. для вузов. — М.: Высш. Школа, 1987. — 287 с.
Глава 7, с. 245-277.
Жеребкін В.Є. Логіка.- К., 1999.
Тофтул М.Г. Логіка: Посібник для студентів вузів.- К., 1999
Конверський А.Є. Логіка: Підручник.- К., 1999
Жоль К.К. Вступ до сучасної логіки. - К.: Вища школа, 1992.
Хоменко І.В., Алексюк І.А. Основи логіки. – К.: Золоті ворота, 1996.
Марценюк С.П. Логіка: Курс лекцій.- К., 1993.
Гетманова А. Д. Логика: Учебное пособие. — М., 1994.
Теоретичні питання та практичні завдання до заліку з логіки:
Рівень А
Визначення науки логіки. Предмет її вивчення.
Історичні етапи розвитку логічних знань.
Поняття логічної форми.
Основні формально-логічні закони (тотожності, несуперечності, виключеного третього, достатньої підстави).
Правильність та істинність міркування.
Поняття логічної помилки (паралогізм та софізм). Ознаки правильного (логічного) мислення.
Ім’я та поняття.
Логічні операції обмеження та узагальнення поняття.
Види понять за обсягом та за змістом.
Види відношень між поняттями.
Судження та граматичне речення.
Логічна структура судження.
Дедуктивні умовиводи та їх класифікація.
Індуктивні умовиводи та їх види.
Аналогія, її структура та види.
Простий категоричний силогізм (структура, загальні правила, його фігури і модуси, правила фігур).
Доведення, його логічна структура та способи.
Спростування, його структура та способи.
Правила доведення і спростування. Можливі помилки при їх порушенні.
Навести приклад поняття (або приклад поняття пропонує викладач) за фахом і дати його повну логічну характеристику, тобто:
розкрити його логічну структуру;
обмежити та узагальнити його;
визначити поняття та охарактеризувати наведене визначення:
здійснити поділ його обсягу та охарактеризувати наведений поділ;
вказати до якого виду воно належить за змістом та обсягом;
встановити кілька логічних відношень до інших понять даного роду.
Рівень В
Значення логіки для практичного і теоретичного мислення (міркування).
Поняття та його логічна структура.
Закон оберненого відношення між змістом та обсягом поняття.
Поділ понять, його види та правила.
Визначення понять, його види та правила.
Загальна кількісно-якісна класифікація категоричних суджень та їх логічна форма.
Розподіленість термінів у судженнях А, Е, І, О.
Складні судження, їх види та умови істинності за таблицями істинності.
Запитання і відповіді та їх види.
Характеристика логіки висловлювань.
Типи висловлювань за істинністю та методи їх визначення.
Метод складання таблиць істинності.
Дедуктивні умовиводи та їх класифікація.
Індуктивні умовиводи та їх види.
Безпосередні умовиводи (перетворення, обернення, протиставлення предикату, за логічним квадратом).
Ентимема, її види та правила перевірки.
Псилогізми, їх види та структура.
Епіхейрема.
Логіка тексту (логічна структура тексту, рівні розуміння тексту, логіко-композиційне членування тексту).
Навести приклад судження (або приклад пропонує викладач):
а) простого категоричного судження та дати його повну логічну характеристику, тобто визначити:
його терміни (суб’єкт та предикат);
кількість та якість;
тип за об’єднаною кількісно-якісною класифікацією;
навести логічну форму;
визначити розподіленість термінів та проілюструвати колами Ейлера.
б) складного судження та дати його повну логічну характеристику, тобто:
визначити його вид;
записати його логічну форму (формулу);
визначити умови істинності за табличками істинності.
Рівень С
Метод аналітичних таблиць.
Основні закони логіки висловлювань.
Поняття відношень рівносильності висловлювань. Основні рівносильності.
Відношення логічного слідування, способи його визначення та його практичне значення.
Суто умовні виводи.
Умовно-категоричні виводи.
Розділово-категоричні виводи.
Умовно-розділові (лематичні) виводи.
Загальна характеристика умовиводу, його структура та класифікація.
Навести приклад умовиводу (або його пропонує викладач), тобто:
визначити його вид;
формалізувати його (записати структуру в символічній формі);
проаналізувати його структуру;
визначити, чи правильний він, тобто, чи слідує в ньому висновок з необхідністю.