Логика. Учебное пособие. Тимофеев А.И. - 47 стр.

UptoLike

Составители: 

Рубрика: 

47
одно растение не может существовать без влаги “ (с большим терми
ном). Для определения фигуры и модуса ее нужно поставить на пер
вое место. Средний термин в ней является субъектом, а больший пре
дикатом (M P). В меньшей посылке средний термин является пре
дикатом, а меньший субъектом (S M). Значит, силлогизм относит
ся к первой фигуре. И поскольку его большая посылка – общеотри
цательное суждение, меньшая – общеутвердительное, заключение –
общеотрицательное, этот силлогизм модуса ЕАЕ.
Узнав фигуру и модус силлогизма, можно определить, является
ли данный силлогизм правильным умозаключением. Правильными
являются модусы:
в 1й фигуре: ААА, ЕАЕ, АII, ЕIO;
во 2й фигуре: ЕАЕ, АЕЕ, ЕIO, АОО;
в 3й фигуре: AAI, IAI, АII, ЕАО, ОАО, ЕIO;
в 4й фигуре: AAI, АЕЕ, IAI, ЕАО, ЕIO.
Название модусов в виде особого мнемонического стихотворения
в средние века ввел известный логик Петр Испанский, впоследствии
папа Иоанн ХХI (умер в 1277 году). Вот это стихотворение:
Barbara, Celerent, Darii, Ferio – que prioris;
Cesare, Camestres, Festino, Baroko, secundae;
Tertia, Darapti, Disamis, Datisti, Felapton, Bokardo, Ferison habet;
Quatra insuper addit Bramantip, Camenes, Dimaris, Fesapo, Fresison.
Существуют общие правила получения истинного вывода в про
стом категорическом силлогизме. Они включают два правила терми
нов и пять правил посылок.
Правила терминов:
1. Средний термин должен быть распределен хотя бы в одной из
посылок.
2. Термин, не распределенный в посылке, не может быть распреде
лен в заключении.
Правила посылок:
1. Хотя бы одна из посылок должна быть утвердительной.
2. Если обе посылки утвердительные, то и заключение утверди
тельное.
3. Если одна из посылок отрицательная, то заключение отрица
тельное. (Иногда все эти три правила формулируют в одном: число
отрицательных посылок равно числу отрицательных заключений).
4. Из двух частных посылок нельзя получить с помощью силло
гизма никакого вывода.
5. Если одна из посылок частная, то и вывод, если он возможен,
может быть только частным.