примат, оскільки жодна птиця НЕ ссавець.
Дані особини - птахи, так як вони мають пір'яний покрив.
Дані Особи не примати.
Кожна Епіхейрема може бути перетворена на смітить, якщо її посилки перетворити на повні силогізми і розташувати їх певним чином.
7. Умовні, розділові й умовно-розділові силогізми
Умовні силогізми - такі, в яких або одна, або обидві посилки - умовні судження. Схема умовного силогізму, в якому обидві посилки - Умовні судження:
Якщо А, то В
Якщо В, то С
Отже, якщо А, то С.
Приклад:
Якщо тіло піддається тертю, то воно нагрівається.
Якщо тіло нагрівається, то воно розширюється.
Якщо тіло піддається тертю, то воно розширюється.
Аксіому чисто умовного силогізму часто висловлюють словами: наслідок слідства є наслідок підстави.
Умовні силогізми можуть складати цілі ланцюга.
Умовно-категоричними називають такі умовиводи, одна з посилок яких є умовним судженням, а інша - судженням категоричним. Висновок у таких умовиводах являє собою категоричне судження. В умовно-категоричних силогізмах є два правильних модусу: модус ponens (або конструктивний), інший - модус tollens (або деструктивний).
Модус ponens утворює висновок від згоди з основою умовної посилки до необхідності погоджуватися і з її наслідком. Форма цього модусу така:
Якщо А, то В
А.
В.
Модус tollens є умовиводом від заперечення слідства умовної посилки до заперечення її заснування. Форма його така:
Якщо А, то В.
Чи не В.
Чи не А.
Абстрактно розмірковуючи, можна сконструювати ще два види поєднання посилок:
1)
Якщо А, то В
2)
Якщо А, то В
В
Чи не А
?
?
Але певного висновку в цих випадках зробити неможливо, якщо велика посилка являє собою звичайне, не виділяється судження. Наприклад:
1)
Якщо дощ іде, то на вулиці мокро;
На вулиці мокро ...
?
На вулиці може бути мокро і без дощу, з інших причин: розтанув сніг, проїхала поливна машина і т.д. Основна причина неможливості виведення за цією формою криється у так званій множинності причин. Щоб висновок був вірний, для слідства повинна існувати тільки одна причина, але це вже буде перетворена форма з включенням в міркування знання про цю єдиної причини.
На прикладі з дощем і мокрій бруківці очевидна неможливість достовірного висновку у другому вигляді сполучення посилок:
2)
Якщо А, то В
Чи не А
?
Розділові силогізми.
Розділовими, або диз'юнктивними, силогізмами називаються такі, перша посилка яких є розділову (диз'юнктивне) судження. Друга і висновок суть судження розділові або категоричні. p> Схема диз'юнктивного судження, що утворює першу посилку диз'юнктивного силогізму, має такий вигляд: S є або А, або В, або С. Кожне з суджень, що входить до дане розділову судження (S є А; S є В; S є С), називаються альтернативою. У нашому судженні міститься три альтернативи. p> Диз'юнктивні силогізми мають два модусу:
а)
S є А, або В, або С; ...
