Сведение модусов II, III, IV фигур к модусам I фигуры.

Модусы, для которых между посылками и заключение существует отношение логического следования, называются правильными.

Только в первой фигуре есть модусы всех суждений в заключении. Модусы первой фигуры интуитивно понятны , поэтому первая фигура совершенна.

Если в фигуре есть S, то операция чистое обращение

P – ограниченное обращение

N – меняем местами посылки

C – сводим косвенным образом, используя контрапозицию.

Начальные буквы в названии говорят о том, что когда мы будем сводить к модусу первой фигуры, то модус должен начинаться с той же буквы.

10. Опровержение неправильных модусов. Силлогистика в диаграммах Эйлера – Венна.

- можно использовать правила построения ПКС

- отношения по логическому квадрату

Способы изображения простых категорических высказываний могут служить средством проверки правильности выводов из категорических суждений, а тем самым и средством способа отбора правильных модусов в пределах различных фигур и средством решения вопроса о том, какое заключение можно правильно вывести из некоторых данных категорических высказываний.

Отбор правильных модусов простого категорического силлогизма.

№ п\п	Все возможные отношения терминов в большей посылке	Все возможные отношения терминов в меньшей посылке	Заключение или причина его возможности
	MoP	SaM SiM MaS MiS SeM   SoM MeS MoS	SaP SiP SiP SiP Нераспределенный в посылке распределен в заключении То же -//- -//-
	MeP	SaM Sim MaS MiS SeM   SoM MeS MoS	SeP SoP SoP SoP Обе посылки – отрицательные суждения То же -//- -//-
	MiP	SaM   SiM     SeM   SoM   MaS MiS     MeS   MoS	M не распределен в обеих посылках Обе посылки частные – частные суждения. М не распределен в обеих посылках   Нераспределенный в посылке Р распределен в заключении Обе посылки – частные суждения   SiP Обе посылки-частные суждения М не распределен в обеих посылках. Нераспределенный в посылке Р распределен в заключении Обе посылки-частные суждения; М не распределен в обеих посылках
	MoP	SaM   SiM   MiS SeM   SoM MaS MeS MoS	М не распределен в обеих посылках Обе посылки-частные суждения; М не распределен в обеих посылках Обе посылки–частные суждения Обе посылки - отрицательные суждения Обе посылки –частноотрицате - льные суждения SoP Обе посылки- отрицат.суждения Обе посылки – частноотрицательные суждения
	PaM	SeM SoM MaS MeS SaM   SiM MoS MiS	SeP SoP SiP SeP М не распределен в обеих посылках То же -//- -//-
	PiM	SaM   SiM     SeM   MeS MaS MiS SoM MoS	М не распределен в обеих посылках Оба суждения - частные; М не распределен в обеих посылках Нераспределенный в посылке Р распределен в заключении   То же SiP Обе посылки-частные суждения Обе посылки - частноотрица- тельные суждения То же
	PeM	SaM SiM MaS MiS SeM   SoM MeS MoS	SeP SoP SoP SoP Обе посылки – отрицательные суждения То же -//- -//-
	PoM	SaM   MaS SeM   MeS SiM MiS SoM   MoS	Нераспределенный в посылке Р распределен в заключении То же Обе посылки- отрицательные суждения То же Обе посылки-частные суждения То же Обе посылки-частноотрицатель- ные суждения То же