План (логіка) викладу І засвоєння матеріалу Умовивід як форма мислення. Дедуктивні (демонстративні) умовиводи
СодержаниеУмовивід – форма мислення, в якій з одного, двох або більше суджень виводиться нове судження, логічно пов’язане з вихідними судж
Протиставлення предикату
При ствердженні чогось з нього необхідно випливає дещо відмінне від стверджуваного і саме через те, що це є.
Barbara, Celarent, Darii, Ferio
Будь-який категоричний силогізм повинен мати тільки три терміни.
Середній термін повинен бути розподілений (взятий в повному обсязі) хоча б в одному із засновків.
Терміни, не розподілені у засновках, не можуть бути розподілені і у висновку
У другій фігурі більший засновок є загальним судженням, один із засновків має бути заперечним.
В третій фігурі менший засновок – стверджувальне судження, а висновок – часткове судження.
Більше враження справляють промови, збагачені ентимемами.
Чисто-умовні виводи
Умовно-категоричні виводи
Розділово - категоричний умовивід
Умовно-розділовий умовивід
Складна конструктивна дилема
За справедливістю дві речі треба було б віднести на рахунок Сократа – індуктивні міркування і утворення загальних визначень.
Р – властивість натуральних чисел; число О
Метод єдиної схожості
Метод різниці
Поєднання методів схожості і різниці
Метод супутніх змін
Метод залишків
Висновки за аналогією являють собою перенос інформації з одного предмету (моделі) на інший (прототип
А має ознаки а, b, с, х
Аналогія властивостей
R (a) F - певна підстава виводу за аналогією; (a)
Аналогія через ізоморфізм
