новане на, зміні модальності суджень, що утворюють посилки і висновок. Можна робити висновок від 1) необхідного до дійсного і можливого, 2) неможливого до недійсного, 3) неможливого до недійсного і ненеобходімому. Помилково робити висновок від 1) можливого до дійсного, 2) дійсного до необхідного, 3) від ненеобходімого до недійсного, 4) від недійсного до неможливого. Умовиводи поділяються на безпосередні та опосередковані. Безпосередніми висновками є ті, в яких робиться висновок з однієї посилки. Крім тих безпосередніх умовиводів, про які ми вже згадали, виділяють ще умовиводи звернення і перетворення. При зверненні суб'єкт висновку є предикатом посилки, і навпаки. Правила умовиводів, які є зверненнями. наступні:
Всі S суть Р - істинно
Деякі Р суть S - істинно;
Жодне S не є Р - істинно
Жодне Р не є S - істинно;
Деякі S суть Р - істинно
Деякі Р суть S - істинно.
При умовиводі, званому перетворенням, змінюється якість висновку порівняно з якістю посилки. Общеутвердітельное судження можна перетворити на частноотрицательное; частноутвердітельное судження можна перетворити на частноотрицательное, і навпаки. У опосередкованих умовиводах висновок робиться з декількох посилок. Найпоширеніше умовивід цього типу - силогізм. Силогізм - умовивід, в якому з двох суджень, пов'язаних середнім терміном, виводиться третє судження - висновок, в якому середній термін відсутній. Всі силогізми діляться на три великі групи: категоричні, розділові, умовні. Залежно від положення середнього терміна розрізняють чотири фігури простого категоричного силогізму. При цьому в кожній фігурі є по кілька модусів, що відрізняються один від одного кількістю і якістю суджень. Сформульовано сім правил простог про категоричного силогізму. У силогізм має бути тільки три терміни. Середній термін повинен бути розподілений (узятий в повному обсязі) хоча б в одній посилці. Терміни, не розподілені в посилках, не можуть виявитися розподіленими і в ув'язненні. З двох негативних посилок в силогізм не можна отримати ніякого висновку. Якщо одна з посилок є негативною, то і висновок буде негативним. З двох приватних посилок не можна отримати за допомогою силогізму ніякого висновку. Якщо одна з посилок приватна, то і висновок, якщо він взагалі можливий, буде приватним. Скорочений силогізм, тобто силогізм, у якому пропущена одна із складових його частин, називається ентимемою. Найбільш загальні положення, сформульовані в логіці щодо мислення, відомі як закони логіки. Таких законів чотири: тотожності, протиріччя, виключеного третього, достатньої підстави. Закон тотожності вимагає збереження незмінним змісту вживаних в процесі міркування понять. Відповідно до закону суперечності не можуть бути одночасно істинними дві суперечливі думки про одне й те ж предметі, взятому в один і той же час в ...
