- •Н. Г. Мозгова, а.М. Мозговий
- •Isbn 966-7979-29-6
- •З м і с т частина і
- •Ч а с т и н а I як користуватись навчальним посібником
- •Що необхідно представити для отримання заліку:
- •Основні вимоги до знань, вмінь та навичок студентів
- •Блочно-модульна структура курсу логіки
- •Модуль 2
- •Модуль 3
- •Блок № 2. Судження Модуль 4
- •Модуль 5 Логічні відношення між категоричними судженнями. Основні закони логіки
- •Модуль 6 Складне судження
- •Блок № 3. Умовивід Модуль 7 Безпосередній дедуктивний умовивід
- •Модуль 8 Простий категоричний силогізм
- •Модуль 9 Виводи логіки висловлювань
- •Модуль 10
- •Модуль 11
- •Методичні поради, плани та вправи
- •1. Обмеження і узагальнення понять
- •2. Поділ поняття
- •3. Визначення поняття
- •Модуль № 4 Заняття № 2 просте судження
- •1. Визначте структуру суджень (знайдіть s, логічну зв’язку та р), висловлених такими реченнями:
- •2. Визначте якість таких висловлювань:
- •3. Визначте кількість таких суджень:
- •4. Чим одиничні судження відрізняються від часткових? Яка схожа ознака характеризує одиничні і загальні судження?
- •5. Визначте кількість і якість таких висловлювань, звівши їх до одного з чотирьох типів: а (sp), е (sp), і (sp), о (sp):
- •7. Виконайте те ж саме, що і в завданні 6:
- •8. Виконайте те ж саме що і в завданні 6:
- •12. Сформулюйте ті висловлювання, які випливають з відношень s I p, зображених на поданих нижче діаграмах Ейлера:
- •13. Які категоричні судження може виражати кожна з приведених діаграм Ейлера?
- •14. Скільки і яких категоричних висловлювань необхідно, щоб точно виразити зображені на діаграмах Ейлера відношення трьох термінів? Сформулюйте їх:
- •Модуль № 6 Заняття № 3 складне судження
- •1. Складне судження та його види
- •2. Таблиці істинності пропозиційних зв’язок
- •Модуль № 7 Заняття № 4 безпосередній дедуктивний умовивід
- •1. Безпосередні виводи
- •2. Категоричний силогізм
- •Модуль № 9 Заняття № 5 виводи логіки висловлювань
- •1. Умовно-категоричні умовиводи
- •2. Розділово-категоричні та умовно-розділові умовиводи
- •Модуль № 11 Заняття № 6–7 доведення та спростування
- •13. Визначте вид аргументації:
- •14. Побудуйте прямі доведення:
- •18. З’ясуйте, чи правильні такі два доведення:
- •20. Яку логічну помилку допущено в наведених міркуваннях:
- •Тематичний план завдань із срс
- •Експрес–тест до модуля 1
- •10. Назвіть не менше 5-и функцій логіки.
- •Експрес–тест до модуля 2
- •Експрес–тест 3 до модуля 3
- •Експрес–тест до модуля 4
- •Експрес–тест до модуля 5
- •7. Назвіть не менше 2-х видів несумісності простих суджень.
- •8. Запишіть не менше 3-х випадків значень істинності двох протилежних суджень.
- •Експрес–тест до модуля 6
- •4. Теж саме для сильної диз’юнкції.
- •Експрес–тест до модуля 7
- •Експрес–тест до модуля 8
- •Експрес–тест до модуля 9
- •Експрес–тест до модуля 10
- •Експрес–тест до модуля 11
- •Завдання для складання словника базових понять логіки:
- •100 Базових понять логіки
- •93. Антитеза.
- •Аналітичні тести до модуля № 1
- •Аналітичні тести до модуля № 2
- •2. Підберіть поняття, які б відповідали таким коловим схемам:
- •Аналітичні тести до модуля № 3
- •Аналітичні тести до модуля № 4
- •Аналітичні тести до модуля № 5
- •5. Наведіть приклад суджень а(sр) та е(sр) з однаковими s та р, коли вони були б:
- •Аналітичні тести до модуля № 6
- •Аналітичні тести до модуля № 7
- •Аналітичні тести до модуля № 8
- •1. Перевірте правильність силогізмів за допомогою діаграм Ейлера. У разі помилки вкажіть, яке правило порушено:
- •2. Перевірте правильність силогізмів:
- •Аналітичні тести до модуля № 9
- •1. Формалізуйте умовиводи і перевірте їх правильність за допомогою таблиць істинності:
- •2. За структурою схем визначте, які з них є правильними виводами:
- •3. Зробіть те саме, що і в завданні 1:
- •5. Перевірте правильність виводу лише за структурою:
- •Аналітичні тести до модуля № 10
- •Аналітичні тести до модуля № 11
- •- 5 -
Модуль 5 Логічні відношення між категоричними судженнями. Основні закони логіки
Порівнянні та непорівнянні судження. Сумісні та несумісні. Еквівалентні прості судження. Закон тотожності як принцип правильного мислення. Помилки, як наслідок порушення закону тотожності. Часткова сумісність простих суджень. “Логічний квадрат” як систематичний огляд відношень між простими категоричними судженнями. Відношення протилежності. Закон суперечності як принцип правильного мислення. Відношення суперечності між простими судженнями. Закон виключеного третього як принцип правильного мислення.
Модуль 6 Складне судження
Поняття складного судження. Елементарне (атом) та складне (молекула) висловлювання. Пропозиційна змінна. Логічний сполучник, логічна операція, символи логічних операцій. Утворення молекулярних висловлювань з атомарних. Поняття таблиці (матриці) істинностей, правила їх утворення для формули, що складається з “n” атомів. Визначення логічних операцій: кон’юнкції, диз’юнкції, сильної диз’юнкції, імплікації, подвійної імплікації, заперечення. Антецедент та консеквент імплікації. Матеріальна імплікація та умовне висловлювання. Формалізація вербальних висловлювань: засоби та правила. Поняття завжди істинної формули. Відношення еквівалентності між складними висловлюваннями. Еквівалентні формули. Особливості імплікації, її визначення через випадок істинності. Відношення логічного слідування. Алгоритм виявлення логічного слідування.
Блок № 3. Умовивід Модуль 7 Безпосередній дедуктивний умовивід
Умовивід як логічна форма, його структура. Поняття вивідного знання. Вивід як відношення логічного слідування. Необхідні та ймовірні виводи. Дедуктивні виводи: категоричні та виводи логіки висловлювань. Безпосередні та опосередковані дедуктивні умовиводи. Поняття правильного та неправильного умовиводу. Алгоритм перевірки виводу на правильність. Обернення (conversio) судження, його правила та виключення. Просте обернення та обернення з обмеженням. Перетворення (obversio) судження, його правила. Протиставлення предикатові (contrapositio praedicatum), його правила та виключення. Безпосередні дедуктивні виводи за “логічним квадратом”.
Модуль 8 Простий категоричний силогізм
Поняття простого категоричного силогізму. Терміни силогізму: більший, менший, середній. Крайні терміни силогізму. Визначення силогізму. Аксіома силогізму. Силогізм стверджувальний та заперечний. Об’ємна інтерпретація термінів силогізму. Загальні правила силогізму стосовно термінів та засновків. Фігури та модуси силогізму. Правильні модуси силогізму. Особливі правила фігур категоричного силогізму. Помилки в силогізмі як наслідок порушення його правил. Виключення з правил категоричного силогізму. Силогізм з виділяючим судженням. Слабкі модуси силогізму.
Модуль 9 Виводи логіки висловлювань
Поняття про виводи логіки висловлювань. Правильні і неправильні структури виводів логіки висловлювань. Суто умовні виводи. Умовно-категоричні виводи. Modus ponens. Modus tollens. Ймовірні модуси умовно-категоричних виводів. Суто розділові виводи. Modus tollendo ponens. Modus ponendo tollens. Умови їх коректності та їх різновиди. Правильні структури виводів як закони логіки і правила виводу. Умовно-розділові виводи. Проста конструктивна дилема. Складна конструктивна дилема. Проста деструктивна дилема. Складна деструктивна дилема. Скорочені силогізми: умовно-категоричні, розділово-категоричні.