Визначення силогізму
Силогізмом називають процес міркування із залученням логіки. У В.І. Даля - це «форма умовиводи, розумування, коли з двох даних посилок або суджень виводиться третє, висновок». Посилки силогізму підрозділяються на більшу - предикат (присудок) і меншу - суб`єкт (підмет). Аристотель так визначав силогізм: «Силогізм є мова, в якій з деяких положень, завдяки тому, що покладене існує, випливає з необхідністю щось інше, ніж те, що було положено».
Силлогистические міркування і умовиводи широко використовуються в повсякденному людської діяльності. Силогізм - це дедуктивний умовивід (deduktio з латинської - «виведення»). А дедукцією називається такий метод мислення, коли із загального логічним шляхом виводиться приватне становище. Дедукція лежить в основі всіх доказів. Головний принцип умовиводи наступний: якщо посилки істинні, то правдиві та слідства.
Наприклад:
1. Усі люди смертні.
2. Сократ - людина.
3. Отже, Сократ смертний.
Побудова простого силогізму
У кожному силогізмі обов`язково присутні три терміни: менший (зазвичай позначається буквою S), більший (P) і середній (M). У наведеному вище силогізм менший термін або суб`єкт (S) - це «Сократ», більший, предикат (P) - «смертний», а середній, присутній у посилках і відсутній у висновку, (М) - «людина».
Іноді одна з посилок або заключна частина може бути відсутньою. Такий скорочений силогізм називається ентимема, в перекладі з грецької: «в умі», «у думках». Наприклад:
«Зінаїда не вміє паркувати машину, тому що всі жінки не вміють паркуватися». Тут опущена мала посилка: «Зінаїда - жінка».
А ось приклад ентінеми з опущеним висновком:
«Жодна планета не може мати гіперболічний орбіту, а Юпітер - планета». «Значить, - як легко здогадатися - Юпітер не може мати гіперболічний орбіту». Але про це можна вже і не говорити.
І ця скорочена форма силогізму якраз найбільш поширений вид подібного умовиводу.
Складні силогізми
У реальних міркуваннях і доказах висновки попередніх умовиводів стають посилками наступних і так далі. Послідовності пов`язаних умовиводів або ланцюжка силогізмів називаються полісіллогізм.
Всі тварні істоти небезначальни-
Живі організми суть тварні существа-
Отже, живі організми небезначальни.
Живі організми небезначальни-
Хребетні суть живі організми-
Отже, хребетні небезначальни.
Хребетні небезначальни-
Теплокровні сут` позвоночние-
Отже, теплокровні небезначальни.
Теплокровні небезначальни-
Людина ест` теплокровное-
Отже, людина небезначален.