лютно необов'язково бути фізиком, і навпаки). Це відбувається через те, що середній термін не розподілений. Звідси випливає наступний принцип: середній термін повинен бути взятий у всьому обсязі хоча б в одній посилці. Тобто якщо в як посилок ми візьмемо твердження В«Деякі люди заздрісні, деякі англійці заздрісні В»(де термін В«заздрісніВ» буде середнім), то укладення ми не зробимо. Отже, маємо принцип, аналогічний двом попереднім парам принципів: терміни, що не взяті в посилках у всьому обсязі, не можуть бути і в ув'язненні взяті у всьому обсязі. Тому з посилок кшталт "Деякі люди заздрісні, всі англійці люди" ми можемо зробити тільки такий висновок: " Деякі англійці заздрісні "(хай вибачать мене жителі туманного Альбіону).
Простий категоричний силогізм
Це міркування, що складається з трьох простих атрибутивних висловлювань: двох посилок і одного висновку. Посилки силогізму поділяються на велику (яка містить предикат висновку) і меншу (яка містить суб'єкт висновку). За положенням середнього терміна силогізми діляться на фігури , а останні за логічній формі посилок і висновку - на модуси .
Приклад силогізму:
Всякий людина смертна (велика посилка)
Сократ - людина (Менша посилка)
-Сократ смертний (Висновок)
Структура простого категоричного силогізму
У силогізм входить рівно три терміна:
В§ S - менший термін: суб'єкт висновку (входить також у меншу посилку);
В§ P - більший термін: предикат висновку (входить також у велику посилку);
В§ M - середній термін: входить в обидві посилки, але не входить на закінчення.
Підлягають S (суб'єкт) - те, щодо чого ми висловлюємо (ділиться на два види):
1. Певне: Одиничне, Приватне, Множинне
В§ Одиничні [судження] - в яких підмет є індивідуальним поняттям. Прим: В«Ньютон відкрив закон тяжіння В»
В§ Приватна думка - в якому підметом судження є поняття, взяте в частині свого об'єму. Прим: В«Деякі S суть PВ»
В§ Множинне судження - це ті, в яких кілька підлягають класових понять. Прим: В«комахи, павуки, раки є членистоногі В»
2. Невизначене. Прим: В«світаєВ», В«БолячеВ» і т. п.
Присудок P (предикат) - те, що ми висловлюємо (2 види суджень):
В§ Розповідні - це судження щодо подій, станів, процесів або діяльності скороминущі. Прим: В«Роза в саду цвітеВ». p> В§ Описові - коли одному або багатьох предметів приписується якесь властивість. Суб'єктом завжди є певна річ. Прим: В«Вогонь гарячийВ», В«сніг белВ». p> Ставлення між підметом і присудком:
1. Судження тотожності - поняття суб'єкта і предиката мають один і той же об'єм. Прим: В«всякий рівносторонній трикутник є рівнокутний трикутник В»
2. Судження підпорядкування - поняття з менш широким обсягом підпорядковується поняттю з ширшим обсягом. Прим: В«Собака є домашня тваринаВ»
3. Судження відносини - саме простору, часу, відносини. Прим: В«Будинок знаходиться на вулиціВ»
При визначенні відношення між підметом і присудком важливою є чітка формалізація термінів, оскільки бездомна собака хоч і не є домашньою з точки зору проживання в будинку, все одно відноситься до класу домашніх тварин з точки зору приналежності за соціально-біологічному ознакою. Тобто слід розуміти, що В«домашня тваринаВ» з соціально-біологічної класифікації в окремих випадках може бути В«внедомашней твариноюВ» з точки зору місця проживання, тобто з соціально-побутової точки зору.
В
Історія виникнення поняття
В
Вчення про силогізм вперше викладено у Аристотеля в його В«Першої аналітиціВ». Він говорить лише про три фігурах категоричного силогізму, не згадуючи про можливу четвертою. Особливо докладно він розглядає роль модальності суджень у процесі умовиводу. Наступник Арістотеля, засновник ботаніки Теофраст, за словами Олександра Афродізійському (у його коментарі до першої В«АналітиціВ» Аристотеля), додав ще п'ять модусів (modi) до першої фігури силогізму; ці п'ять модусів згодом були виділені Клавдієм Галеном (жили у II-му в. н. е..) в особливу четверту фігуру. Крім того, Теофраст і його учень Евдем зайнялися аналізом умовного і розділового силогізмів. Вони допустили п'ять видів умовиводів: два з них відповідають умовному силлогизму, а три - розподільчим, який вони розглядали як видозміна умовного силогізму. Цим і закінчується розвиток вчення про силогізм в давнину, якщо не рахувати того додавання, яке зробили стоїки у вченні про умовне силогізм. За словами Секста Емпірика, стоїки визнавали деякі види умовного і розділового силогізму О±ОЅО±ПЂПЊОґОµО№ОєП„ОїО№ , тобто не потребуючими доказах, і розглядали їх як прототипи силогізму (як, наприклад, дивиться на силогізм Зігварт). Стоїки визнавали п'ять видів подібних силогізмів, що збігаються з Теофрастовимі. Секст Емпірика наводить такі приклади для цих...
