ожуть бути представницькими (р) або іменними (q) Дана облігація представницькою (q)
Дана облігація не є іменний (Не-q)
Висновок з цього модусу завжди достовірно, якщо дотримується - 1 ся правило: велика посилка повинна бути ісключающе-розділовим судженням, або судженням суворої диз'юнкції.
. У отрицающе-стверджуючому модусі (modus tollendo ponens) менша посилка заперечує одна диз'юнкт, висновок стверджує інший. Наприклад:
Облігації можуть бути представницькими (р) або іменними (q) Дана облігація не є представницькою (Не-р)
Дана облігація іменна (q)
Ствердна висновок отриманий за допомогою заперечення: заперечуючи одна диз'юнкт, ми стверджуємо інший.
Висновок з цього модусу завжди достовірно, якщо дотримується правило: більшою посилці повинні бути перераховані всі можливі судження - диз'юнкт, інакше кажучи, велика посилка повинна бути повним (закритим) диз'юнктивним висловлюванням.
умовивід судження силогізм категоричний
5. Привести приклади умовно-розділових умовиводів (конструктивні і деструктивні дилеми)
Умовно-категоричним називається умовивід, одна з посилок якого є умовним судженням, а інша посилка і висновок - категоричними судженнями.
Умовне судження має форму: якщо A є B, то C є D, наприклад: якщо Земля обертається навколо своєї осі, то відбувається зміна дня і ночі. Перше судження є підстава (антецедент), а друге - наслідок (консеквент).
Існують два модуси умовно-категоричних умовиводів. Перший з них називається modus ponens, тобто встановлює, який стверджує, конструктивний модус; другий називається modus tolens, тобто руйнує, який заперечує, деструктивний модус.
Конструктивний модус має наступний вигляд.
Якщо A є B, то C є D; є B;
Отже, C є D.
Приклад:
Якщо Земля обертається навколо Сонця, то відбувається зміна дня і ночі;
Земля обертається навколо Сонця;
Отже, відбувається зміна дня і ночі.
В умовно-категоричне умовиводи в конструктивному модусі затверджується антецедент.
Це правило пов'язане з тим, що при несумісних судженнях-антецедентам, одне з яких помилково, можливо справжнє висновок: якщо Земля обертається навколо Сонця, то відбувається зміна дня і ночі, якщо Сонце обертається навколо Землі, то відбувається зміна дня і ночі, тому не можна зробити висновок: * відбувається зміна дня і ночі, отже, Земля обертається навколо Сонця.
Деструктивний модус має наступний вигляд.
Якщо A є B, то C є D; не їсти D;
Отже, A не їсти B.
В умовно-категоричне умовиводи в деструктивному модусі заперечується консеквент.
При запереченні слідства будь-який з можливих у принципі альтернативних антецедентів виявиться помилковим: якщо зміни дня і ночі не відбувається, то Земля не обертається навколо Сонця і Сонце не обертається навколо Землі.
Якщо людина є міра всіх речей, то принципи моральності умовні;
Принципи Моральність не умовні;
Отже, людина не є міра всіх речей.
Розглянемо, однак, наступні умовиводи, які іноді підводять викладача:
Якщо студент слухає лекції, то він здобуває необхідні пізнання;
Студент N слухав лекції;
Отже, він придбав необхідні пізнання.
Або:
Якщо студент слухає лекції, то він здобуває необхідні пізнання;
Студент N не набув необхідних пізнань;
Отже, він не слухав лекції.
Зрозуміло, що обидва вони можуть виявитися помилковими, бо не всякий, хто слухає лекції, розуміє їх.
Умовою істинності умовно-категоричного умовиводу є наявність як посилок, так званих не виділяють суджень, що задовольняють умові якщо і тільки якщо.
Отже, доказовим (за умови істинності більшої посилки) буде наступне міркування:
Якщо і тільки якщо студент слухає лекції, він здобуває необхідні пізнання;
Студент N не набув необхідних пізнань;
Отже, він не слухав лекцій.
Список використаної літератури
1. Бочаров В.А., Маркін В.І. Основи логіки: Підручник.- М .: ИНФРА-М, 2009. - 296 с.
. Гетманова А.Д. Підручник за логікою./А.Д. Гетванова.- М .: Владос, ...