коли він не розподілений в посилці); модуси II IО, Оi, ГО порушують 4-е правило (обидві посилки приватні); модуси ЇЇ, ЄВ, ОЕ суперечать 6-м правилом (обидві посилки негативні).
Правильний висновок дадуть тільки 4 поєднання: АА, ЕА, АI, ЕI, виражають правильні модуси першої фігури силогізму. У першому модусі висновок Общеутвердітельное, під другому - Общеотріцательное, у третьому - Частноутвердітельное і в четвертому - частноотріцательние. Символічне вираження модусів першої фігури буде таке: ААА, ЕАЕ, АII, ЕIО. Кожен з них має своє мнемонічне (грец. mnemonika - мистецтво запам'ятовування) назва: Barbara, Celarent, Darii, Ferio. Голосні букви в цих латинських назвах послідовно висловлюють символ основних видів суджень, складових посилки і висновок силогізму.
Аналогічним шляхом можна вивести правильні модуси другої і третьої фігури. За другою фігурі отримаємо чотири модусу: ЕАЕ, АЕЕ, ЕIО, АОО. Третя фігура має шість модусів: ААI, IАI, АII, ЄАО, ВАТ, ЕIО. p> В якості прикладів кожного модусу першої фігури можна навести такі силогізми:
Перший модус (Barbara): В«Регулярні фізичні вправи вранці сприяють зміцненню здоров'я. Студент Андрєєв регулярно робить ранкову зарядку. Студент Андрєєв сприяє зміцненню свого здоров'я В». (Мал. 7). br/>
Рис. 7
Другий модус (Celarent): В«Шкідливі звички завдають шкоди здоров'ю. Куріння - шкідлива звичка. Куріння несумісне з міцним здоров'ям В». (Мал. 8). br/>
Рис. 8
Третій модус (Darii): В«Всі спортсмени беруть участь у змаганнях. Деякі співробітники ХНУРЕ - спортсмени. Деякі співробітники ХНУРЕ беруть участь у змаганнях В». (Мал. 9). br/>
Рис. 9
Четвертий модус (Ferio): В«Жодна рослина не може існувати без фотосинтезу органічних речовин. Деякі організми - рослини. Деякі організми не можуть існувати без фотосинтезу органічних речовин В». (Мал. 10). br/>
Рис. 10
Перша фігура силогізму найбільш типова для дедуктивного умовиводи, особливо її перший модус ААА. Модуси першої фігури дають висновки всіх видів судження. Особливу цінність має Общеутвердітельное висновок, якого не може дати ніяка інша фігура силогізму. У умовиводах по цій фігурі найбільш яскраво розкривається аксіома силогізму, правильність висновку тут легко перевірити. Тому висновки по інших фігур намагаються зазвичай звести до модусів першої фігури силогістичної умовиводи.
6. Скорочені і складні силогізми
Пропозиція з вираженими в ньому двома частинами силогізму може представляти скорочене умовивід. Такий скорочений силогізм називається ентимема (грец. enthymema) - неповно, скорочено наведений аргумент, відсутні частини якого маються на увазі очевидними. Найчастіше опускається велика посилка як найбільш легко подразумеваемая і висловлюється тільки менша посилка і висновок. Наприклад: В«Алюміній - металВ», говорить хтось, маючи на увазі те, що алюміній провідник. Ця аргументація підлягає перевірці з метою з'ясувати її коректність. Для цього треба з'ясувати, що пропущено в аргументації: укладення або посилка (яка саме). Це можна зробити, якщо ми знайдемо формальні показники наявності прямування; такими є слова і словосполучення В«звідси випливаєВ», В«томуВ», В«тому щоВ», В«боВ», В«оскількиВ» і ін У нашому прикладі видно, що ми маємо справу з висновком, де термін В«АлюмінійВ» - менший, а термін В«металВ» - більший. Але тоді пропозиція В«Алюміній - металВ» - це менша посилки, де В«провідникВ» - середній термін. Тепер можна спробувати відновити повний модус наступним чином: В«Всякий провідник - метал. Алюміній - провідник. Отже, алюміній - метал В». p> Складний силогізм (полісіллогізм) - це зчеплення ряду силогізмів таким чином, що висновок одного стає посилкою іншого силогізму і т.д. Всяке наукове мислення в розгорнутій або прихованій формі являє собою полісіллогізм, що випливає з цілої системи умовиводів.
Відрізняють особливий вид складного силогізму - смітить, що складається з скорочених силогізмів. У смітите наводиться тільки останній висновок, а всі проміжні опускаються. Загальна формула смітить така: А-В, В-С, С-Д, отже, А-Д. Видно, що тут простежується стійка ланцюг причин і наслідків, від чого обгрунтованість висновку посилюється, він стає особливо переконливим.
Складно-скорочений силогізм, у якому посилками служать ентимеми, називається Епіхейрема. Схема Епіхейрема така:
М є (не є) Р, так як вона є (не є) N,
S є М, так як воно є Про
S є (не є) Р.
Наприклад:
Жодна птиця не...