- •Н. Г. Мозгова, а.М. Мозговий
- •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 -
Модуль № 11 Заняття № 6–7 доведення та спростування
Методичні поради
Дане практичне заняття є підсумковим у вивченні теми № 5 “Логічні основи теорії аргументації”. Його метою є поглиблення та закріплення знань логічних основ теорії доведення та спростування; формування навичок аналізу будь-яких концепцій, їх обгрунтованості та вірогідності, і практичних вмінь логічно обгрунтувати свої погляди та аргументовано критикувати (спростувати) позицію пропонента зі спірного питання чи проблеми. Названі вище якості є необхідним компонентом професійної компетентності будь-якого фахівця і теоретичною підставою його практичної діяльності.
Успішне розв’язання практичних вправ, які винесено на дане заняття, вимагає твердих знань правил доведення і спростування, а також видів та причин можливих помилок, які виникають при аргументуванні та критиці. При цьому слід мати на увазі, що інтуїтивна очевидність формується під впливом досягнень науки, результати якої завжди мають елемент деякої відносності та незавершеності. Якраз цим викликана першочерговість вимог перевірки вірогідності, критичності, раціональності та обгрунтованості – саме тих характеристик знання, які розкривають різні сторони його логічності та показують ступінь засвоєння усього курсу логіки, а не тільки питань теорії доведення та спростування.
Заняття складається з теоретичних питань та практичних вправ. Ці вправи є двох типів: або фрагменти предметних міркувань, або формалізовані задачі та доведення (спростування). Необхідно розв’язати задачі різних типів, готуючись до заняття. Оскільки заняття розраховане на чотири години, то друге двогодинне заняття буде письмовою контрольною роботою.
Після вправ наводяться переліки основної та додаткової літератури.
Теоретичні питання
1. Поняття доведення та його види.
2. Поняття спростування та його способи.
3. Правила доведення.
4. Правила спростування.
ВПРАВИ
1. За допомогою правила modus ponens умовно-категоричного силогізму доведіть, що: АВ, ВС, А отже С.
2. За допомогою правила modus tollens умовно-категоричного силогізму доведіть, що:АВ, ВС, ~С отже ~ А.
3. Перевірте коректність відповідних правил виводу (правил слідування):
а) (А, В)(АВ) – правило ведення кон’юнкції;
б) А(АВ), В(АВ) – правило ведення диз’юнкції;
в) (А В)А, (АВ)В – правило усунення кон’юнкції
г) (А С, ВС, АВ)C – правило усунення диз’юнкції (проста
конструктивна дилема).
4. Перевірте коректність відповідних правил і сформулюйте їх:
а) (~(А В), А)~В; (~(АВ), В)~ A – правило усунення заперечення кон’юнкції;
б) (А В, ~А)В; (АВ, ~В)A; (~АВ, А)В; (А~В, В)A - правило modus tollendo ponens.
5. Застосувавши відомівам правила виводу, доведіть що:
а) А В, ВС, СD, DF, A отжеF;
b) A B, BC, CD, DF, ~F отже ~A.
6. Проаналізуйте приведений фрагмент тексту. Чи є в ньому доведення?
Теорія відносності з’явилась в епоху, коли все яскравіше розкривалась неспроможність механіцизму. І сама ця теорія була спрямована проти спроби вибудувати всю фізику на підвалинах механіки Ньютона. Звичайно, що за таких умов вона зустрічала відчайдушний відсіч, який часом доходив до шаленого опору з боку переконаних механіцистів, які ніяк не могли змиритися з новим етапом у розвитку фізики. Дуже влучно про це сказав М.Планк, який зазначав, що той, хто розглядає механістичний світогляд як постулатфізичного мислення взагалі, ніколи не визнає принцип відносності. П.Леонард стверджував, що теорія відносності означає неможливість механістичного розуміння природи.
7. Припустімо, що нам вдалось логічно вивести з висловлювання “число Х ділиться на 10” висловлювання “число Х є парним числом”. Яке умовне висловлювання при цьому буде доведено?
8. Проведіть аналіз поданого нижче доведення. Використовуйте не тільки дані в тексті, але й припустимі аргументи. Зобразіть схему доведення.
Загальнозаперечні судження обертаються завжди в загальнозаперечні. І дійсно, якщо обсяг S повністю виключається з обсягу Р, то і обсяг Р повністю виключається з обсягу S. Наприклад, якщо “жоден кажан не є польовою мишею”, то, в свою чергу, “жодна польова миша не є кажаном”.
9. Побудуйте пряме доведення теореми:“Якщо кожен з двох доданків ділиться на якесь ціле число, то і їх сума ділиться на те ж число”. Зобразіть схему доведення в символічній формі.
10. Побудуйте пряме доведення теореми:“ Діагоналі ромба взаємно перпендикулярні”. Проведіть логічний аналіз доведення в символічному вигляді, зобразивши схему доведення.
11. Здійсніть пряме доведення теореми: “Відрізки двох паралельних прямих, які знаходяться між паралельними площинами є рівними”. Зобразіть схему доведення, вказавши допустимі правила виводу.
12. Побудуйте пряме доведення теореми:“Катет прямокутного трикутника, який лежить напроти кута в 30, дорівнює половині гіпотенузи”. Запишіть доведення в формалізованому вигляді і випишіть ті закони логіки, які при цьому використовуються.