ДЕСКРИПТИВНЕ ВИСЛОВЛЮВАННЯ 7 страница

1. Відновіть ентимеми до повних силогізмів з дотриманням їх правил. За якими ознаками, після цього, можна встановити неприйнятність цих ентимем?

1.1. Він не хворий, оскільки у нього немає підвищеної температури.

1.2. Жодна жінка не чоловік, оскільки будь-який чоловік – людина.

2. Чи можна відновити наступні ентимеми до повних силогізмів з дотриманням їх правил?

2.1. Деякі письменники не талановиті, оскільки деякі діячі мистецтва – не талановиті люди.

2.2. Ця рослина – папороть, оскільки жодна папороть ніколи не цвіте.

2.3. Усі жарти придумані для того, щоб смішити людей. Тому жоден парламентський акт не придуманий для того, щоб смішити людей.

3. Відновіть до повного силогізму наведені нижче ентимеми та встановіть їх правильність будь-яким відомим вам способом:

3.1. Оскільки будь-який міф є символом, то зрозуміло, що і оповідь про Геракла теж символ.

3.2. Він не знав жодного твору І. Баха, а людина, що претендує на те, аби її назвали знавцем класичної музики, не може не знати хоч б одного твору І. Баха.

Література

Основна:

1. Войшвилло Е.К., Дегтярев М.Г. Логика: Учеб. для студ. высш. учеб. заведений: [Частина книги: § 38. Энтимема]. – М.: ВЛАДОС-ПРЕСС, 2001. – С. 378-386. – Режим доступу: http://khartn.name/ru/isearch/download/11079

2. Каратини Р. Введение в философию: [Частина книги: Часть 1 Логика и эпистемология. I. Логика]. – М.: Изд-во Эксмо, 2003. – С. 447-478.

3. Непейвода Н.Н. Прикладная логика. – Режим доступу: http://vipbook.info/nauka-i-ucheba/philosophy/128177-n-n-nepeyvoda-prikladnaya-logika.html

Додаткова:

1. Гуссерль Е. Формальна і трансцендентальна логіка. Досвід критики логічного розуму. Переклад В. Бурлачука. Читанка з філософії. У 6 книгах. Книга 6. Зарубіжна філософія XX століття / Гол. ред. Г.І. Волинка. – К.: Довіра, 2003. – 238 с. – С. 48-81. – Режим доступу: http://litera-ua.livejournal.com/9227.html

2. Карамишева Н.В. Логіка (теоретична і прикладна): навч. посіб. / Н.В. Карамишева; Львів. нац. ун-т ім. І. Франка. – К.: Знання, 2011. – Режим доступу: http://ebooks.znu.edu.ua/files/Bibliobooks/Goncharenko/0031492.doc

3. Коэн М., Нагель Э. Введение в логику и научный метод / Моррис Коэн, Эрнест Нагель. Пер. с англ. П.С. Куслия. – Челябинск, Пермь: Социум, 2010. – 655 с. – Режим доступу: http://coollib.net/b/231744

4. Ледников Е.Е. Контексты знания и мнения / Труды научно-исследовательского семинара Логического центра Института философии РАН. Вып. XVII. – М.: ИФ РАН, 2004. – 118 с. – С. 72-77.

1 Словник-мінімум

Складний категоричний силогізм складається з двох або більше простих силогізмів, пов’язаних між собою таким чином, що висновок кожного наступного силогізму стає засновком іншого силогізму. Такий умовивід називається полісилогізмом. Приклад:

Усе, що розвиває мислення, є корисним.

Усі інтелектуальні ігри розвивають мислення.

Усі інтелектуальні ігри корисні.

Шахи – це інтелектуальна гра.

Шахи корисні.

Схема: Усі А є В

Усі C є А

Усі C є В

Усі D є C

Усі D є В

Зверніть увагу на те, що висновок попереднього силогізму (просилогізму) став більшим засновком наступного (епісилогізму). У такому випадку отриманий полісилогізм називається прогресивним. Якщо ж висновок попереднього силогізму стає меншим засновком наступного, то полісилогізм називається регресивним. Приклад:

Усі зірки – це небесні тіла.

Сонце – це зірка.

Сонце – це небесне тіло.

Усі небесні тіла перебувають у постійному русі.

Сонце перебуває у постійному русі.

Схема: Усі A є B

Усі C є A

Усі C є B

Усі B є D

Усі C є D

Можна помітити, що у цьому випадку два силогізми неможливо графічно з’єднати у такий самий послідовний ланцюжок, як у передньому прикладі, оскільки просилогізм та епісилогізм побудовані за різними фігурами.

Зверніть увагу на те, що схеми можуть бути іншими, залежно від фігур силогізму, за якими вони побудовані. Інший приклад схеми регресивного полісилогізму:

Усі А є В

Усі В є C

Усі А є C

Усі C є D

Усі А є D

Різновидами полісилогізму є сорит та епіхейрема.

Якщо у попередньому прикладі прогресивного полісилогізму пропустити більший засновок другого силогізму (епісилогізму), який є висновком першого силогізму (просилогізму), то отримаємо прогресивний сорит:

Усе, що розвиває мислення, є корисним.

Усі інтелектуальні ігри розвивають мислення.

Шахи – це інтелектуальна гра.

Шахи корисні.

Якщо у нашому прикладі регресивного полісилогізму пропустити менший засновок епісилогізму, який є висновком просилогізму, отримаємо регресивний сорит:

Усі зірки – це небесні тіла.

Сонце – це зірка.

Усі небесні тіла перебувають у постійному русі.

Сонце перебуває у постійному русі.

Скорочений силогізм, у якому обидва засновки є ентимемами називається епіхейремою. Прикладом епіхейреми є таке міркування:

Неправда викликає недовіру, оскільки вона є твердженням, яка не відповідає істині.

Лестощі є неправдою, тому що вони є умисним перебільшенням істини.

Лестощі викликають недовіру.

Перший засновок можна відновити таким чином:

Будь-яке твердження, що не відповідає істині (A), викликає недовіру (B).

Неправда (C) є твердженням, що не відповідає істині (A).

Неправда викликає недовіру (B).

Другий засновок можна реконструювати таким чином:

Будь-яке умисне перекручення істини (D) є неправдою (C).

Лестощі (E) є умисним перекрученням істини (D).

Лестощі (E) є неправдою (C).

Правильність складних та складноскорочених силогізмів перевіряється через правильність простих силогізмів, що входять до їх складу.

Перевірити правильність силогізму можна трьома способами.

Перший спосіб – заучування правильних модусів за фігурами ПКС.

Для перевірки силогізму другим способом – за загальними правилами – необхідно знайти терміни силогізму, визначити типи суджень (засновків і висновку) та розподіленість термінів у них. Після чого треба дивитися, чи виконане кожне з правил. Якщо виявлено порушення одного правила, можна перевірку припинити – силогізм неправильний.

Третій спосіб перевірки правильності силогізму не потребує взагалі ніяких спеціальних знань. Він полягає у графічному зображенні відношення усіх трьох термінів у двох засновках і порівнянні отриманої схеми з висновком.

Об’єднаний алгоритм рішення категоричного силогізму:

1. Знаходимо суб’єкт та предикат висновку, позначаємо їх.

2. Суб’єкт висновку є меншим терміном, який крім висновку є в меншому засновку, позначаємо його.

3. Предикат висновку є більшим терміном, який крім висновку є в більшому засновку; знаходимо його і позначаємо.

4. Знаходимо у засновках середній термін, функції якого: логічно зв’язати обидва засновки і бути відсутнім у висновку.

5. Встановлюємо тип суджень засновків і висновку.

6. Знаходимо розподіленість термінів, малюємо колами Ейлера та позначаємо (+/-) у силогізмі.

7. Встановлюємо: чи відповідає даний силогізм загальним правилам ПКС.

8. Встановлюємо фігуру даного силогізму та чи відповідає даний силогізм спеціальному правилу фігур ПКС.

9. Робимо висновок про правильність силогізму.

За цими ж правилами перевіряємо інші прості силогізми у складі полісилогізму та робимо висновок про його правильність.

? Завдання для самоконтролю

В логіці розрізняють:

- дедуктивні міркування, в яких враховують структуру складних висловлювань, що входять до їхнього складу;

- дедуктивні міркування, в яких враховують структуру простих висловлювань, що входять до їхнього складу.

Перші називають (іноді) «дедуктивними міркуваннями першого типу», а другі (іноді) – «дедуктивними міркуваннями другого типу» (ми їх вже розглянули у попередніх темах).

Серед дедуктивних міркувань першого типу типовими є наступні, що їх зазвичай класифікують і називають за типом суджень-засновків: суто умовні (усі засновки – умовні судження); умовно-категоричні, де один засновок – умовне судження, другий – просте категоричне; розділово-категоричні (засновки – розділове і категоричне судження) та умовно-розділові (лематичні) з декількома умовними і одним розділовим засновком. Визначення їх правильності ґрунтується на знанні правильних модусів (різновидів) цих умовиводів і співставленні логічної форми висновку, який перевіряється, з формою правильних модусів.

Модуси прямих дедуктивних умовиводів

Суто умовні	Умовно-категоричні	Розділово-категоричні Modus tollendo ponens	Розділово-категоричні Modus ponendo tollens	Умовно-розділові
A→B,B→C A→C	Modus ponens A→B, A B	AVB, ~A B	A B, A ~B	A→C B→C AVB C	Проста конструктивна дилема
A→B,B→C ~C→ ~A	Modus tollens A→B, ~B ~A	AVB, ~B A	A B, B ~А	A→C B→D AVB CVD	Складна конструктивна дилема
A→B B→C… Y→Z A→Z	Неправильний модус A→B, ~A ~B	A B, ~A B	Неправильний модус AVB, A ~B	A→B A→C ~BV~C ~A	Проста деструктивна дилема
С. умовний силогізм вживається рідко	Неправильний модус A→B, B A	A B, ~B A	Неправильний модус AVB, B ~A	A→B C→D ~BV~D ~AV~C	Складна деструктивна дилема

Для перевірки правильності умовиводів із складних суджень, що не зводяться до перерахованих типів, використовується передусім табличний метод, заснований на тому, що між засновками і висновком дедуктивного умовиводу повинно існувати відношення логічного слідування, яке означає, що висновок не може бути хибним, якщо усі засновки істинні.

Розглянемо приклад: «Усі студенти, які навчаються на цьому факультеті, здібні або старанні. Якщо вони старанні, то регулярно займаються. Отже, якщо студенти цього факультету не займаються регулярно, то вони здібні». Перевіримо, чи правильний цей умовивід. Запишемо його форму:

(p v q), (q → r) => (~r → p), де p означає «студент цього факультету здібний», q – «студент цього факультету старанний», r – «студент регулярно займається», => означає «слідує». Побудуємо загальну таблицю для усіх суджень, що входять до складу умовиводу, відокремивши висновок від засновків двома вертикальними рисками:

У наведеній таблиці нас цікавлять рядки, де засновки разом істинні. Це рядки 1, 3, 4, 5. Дивимось, чи не виходить помилковим висновок хоч б в одному із зазначених рядків. Як бачимо, висновок скрізь у цих рядках є істинним. Отже, висновок правильний.

Правильність умовиводу не завжди зручно перевіряти за таблицею, оскільки вже при чотирьох змінних таблиця містить 16 рядків, а при п’яти змінних – 32 рядки, тому частіше використовується скорочений спосіб перевірки. Він полягає у міркуванні «від протилежного», тобто від припущення, що висновок є неправильним. Починаємо міркувати: якщо умовивід неправильний, то висновок може бути помилковим за наявності усіх істинних засновків. У нашому випадку:

(p v q), (q → r), (~r → p)

і і х

Далі істиннісні значення, отримані з цього припущення, переходять на дрібніші частини формул аж до пропозиційних змінних. Яким чином це робиться, продемонструємо на нашому прикладі: (p v q), за припущенням, є істинним, але нічого не можна сказати про значення р і q, крім того, що хоча б одне з них є істинним (за табличним визначенням диз’юнкції). Також не можна отримати певні значення q і r з істинності формули (q → r). Зате з помилковості (~r → p) виходить, що ~r – і, р – х (імплікація хибна лише у тому випадку, коли у ній істинний антецедент і хибний консеквент). З істинності ~r випливає хибність p. Потім винайдені значення p та r підставляємо в усі структурні одиниці з цими літерами, оскільки р скрізь означає одне судження та r скрізь означає одне судження. Таким чином, виходить:

(p v q), (q → r), (~r → p)

х і і х і х х х

Тепер з істинності (p v q) при тому, що р – х, отримуємо істинність q (у істинній диз’юнкції має бути хоча б одна істинна складова). Підставляємо це значення q у другий засновок і приходимо до протиріччя: якщо антецедент формули (q → r) істинний, а консеквент хибний, то імплікація має бути хибною, а за нашим припущенням, вона істинна.

(p v q), (q → r), (~r → p)

х і і і і х і х х х

Якщо наше припущення призвело до протиріччя, то воно помилкове, а істинним є зворотне – не може бути помилковим висновок за наявності істинних засновків, а це означає, що умовивід є правильним.

Якщо ж протиріччя з подібного припущення не виникає, то воно не спростовується, і загальний висновок буде таким, що логічного слідування немає, тобто умовивід невірний. Якщо ми отримаємо декілька варіантів значень, то висновок про правильність умовиводу можна зробити лише тоді, якщо усі вони призводять до протиріччя, і навпаки, якщо буде знайдений варіант істиннісних значень, який не призводить до протиріччя, то умовивід неправильний.

? Завдання для самоконтролю

Непрямі умовиводиєопосередкованими міркуваннями. Вони мають досить складну структуру, тому що складаються не із суджень, а із умовиводів. У них один умовивід випливає з іншого. Такими формами міркувань досить часто користуються у процесі аргументації, зокрема, як засобами доведення і спростування. До непрямих умовиводів відносяться спростування шляхом «зведення до абсурду», «доведення від протилежного» і міркування за випадками.

Структура міркування за схемою «зведення до абсурду» є такою. Спочатку висувається деяке припущення. Потім, використовуючи правильні умовиводи, з нього отримують протиріччя. На підставі цього визнають положення, що розглядається, помилковим. Основою такого міркування є несуперечність як властивість мислення. Протиріччя використовується як ознака неправильності певного умовиводу у міркуванні або хибності якого-небудь судження.

Приклад. Спробуємо уявити, що на деякому острові живуть лише лицарі і брехуни. Причому брехуни завжди тільки брешуть, а лицарі завжди говорять тільки правду. Людина, що приїхала на острів, зустрічає двох місцевих жителів і запитує, хто вони такі. На що один з них відповідає: «Принаймні, один з нас брехун». Необхідно дізнатися, ким є той, хто відповідав.

Припустимо, що він є брехуном. Судження «Той, хто відповів, – брехун» позначимо А. Але тоді він сказав неправду, отже, жоден з них не є брехуном, і обоє вони – лицарі. Ми отримали протиріччя: той, хто відповів, в один і той самий час є і лицарем (В), і не-лицарем (~В). Отже, наше припущення є невірним, а той, хто відповідав, насправді є не брехуном, а лицарем.

«Доведення від протилежного» є близьким до спростування шляхом «зведення до абсурду». Проте, на відміну від «зведення до абсурду», яке спрямоване на спростуваннядеякого судження, доведення «від протилежного» спрямоване на доведення якого-небудь судження, але при цьому воно також використовує протиріччя.

Схема «зведення до абсурду»	Схема «доведення від протилежного»
A B ^ ~ В A	~ A B ^ ~ В A

• ⇐ Назад
• 1
• 2
• 3
• 4
• 5
• 678
• 9
• 10
• 11
• 12
• 13
• 14
• 15
• 16
• Далее ⇒