Простые категорические силлогизмы формальной логики

Литература:

В.Минто «Дедуктивная и индуктивная логика»
Л.Кэрролл «Символическая логика»
М.Е.Литвак «Логика и жизнь»

Обозначения:

A — общеутвердительные суждения
I — частноутвердительные суждения
E — общеотрицательные суждения
O — частноотрицательные суждения

Таблица простых категорических силлогизмов

Тип посылок	I фигура	II фигура	III фигура	IV фигура
AA все x суть z все y суть t	Barbara все M суть P все S суть M все S суть P	все P суть M все S суть M S ? P	Darapti все M суть P все M суть S некоторые S суть P	Bramantip все P суть M все M суть S некоторые S суть P
AI все x суть z некоторые y суть t	Darii все M суть P некоторые S суть M некоторые S суть P	все P суть M некоторые S суть M S ? P	Datisi все M суть P некоторые M суть S некоторые S суть P	все P суть M некоторые M суть S S ? P
AE все x суть z ни одно y не есть t	все M суть P ни одно S не есть M S ? P	Camestres все P суть M ни одно S не есть M ни одно S не есть P	все M суть P ни одно M не есть S S ? P	Camenes все P суть M ни одно M не есть S ни одно S не есть P
AO все x суть z некоторые y не есть t	все M суть P некоторые S не есть M S ? P	Baroco все P суть M некоторые S не есть M некоторые S не есть P	все M суть P некоторые M не есть S S ? P	все P суть M некоторые M не есть S S ? P
IA некоторые x суть z все y суть t	некоторые M суть P все S суть M S ? P	некоторые P суть M все S суть M S ? P	Disamis некоторые M суть P все M суть S некоторые S суть P	Dimaris некоторые P суть M все M суть S некоторые S суть P
II некоторые x суть z некоторые y суть t	некоторые M суть P некоторые S суть M S ? P	некоторые P суть M некоторые S суть M S ? P	некоторые M суть P некоторые M суть S S ? P	некоторые P суть M некоторые M суть S S ? P
IE некоторые x суть z ни одно y не есть t	некоторые M суть P ни одно S не есть M S ? P	некоторые P суть M ни одно S не есть M S ? P	некоторые M суть P ни одно M не есть S S ? P	некоторые P суть M ни одно M не есть S S ? P
IO некоторые x суть z некоторые y не есть t	некоторые M суть P некоторые S не есть M S ? P	некоторые P суть M некоторые S не есть M S ? P	некоторые M суть P некоторые M не есть S S ? P	некоторые P суть M некоторые M не есть S S ? P
EA ни одно x не есть z все y суть t	Celarent ни одно M не есть P все S суть M ни одно S не есть P	Cesare ни одно P не есть M все S суть M ни одно S не есть P	Felapton ни одно M не есть P все M суть S некоторые S не есть P	Fesapo ни одно P не есть M все M суть S некоторые S не есть P
EI ни одно x не есть z некоторые y суть t	Ferio ни одно M не есть P некоторые S суть M некоторые S не есть P	Festino ни одно P не есть M некоторые S суть M некоторые S не есть P	Ferison ни одно M не есть P некоторые M суть S некоторые S не есть P	Fresison ни одно P не есть M некоторые M суть S некоторые S не есть P
EE ни одно x не есть z ни одно y не есть t	ни одно M не есть P ни одно S не есть M S ? P	ни одно P не есть M ни одно S не есть M S ? P	ни одно M не есть P ни одно M не есть S S ? P	ни одно P не есть M ни одно M не есть S S ? P
EO ни одно x не есть z некоторые y не есть t	ни одно M не есть P некоторые S не есть M S ? P	ни одно P не есть M некоторые S не есть M S ? P	ни одно M не есть P некоторые M не есть S S ? P	ни одно P не есть M некоторые M не есть S S ? P
OA некоторые x не есть z все y суть t	некоторые M не есть P все S суть M S ? P	некоторые P не есть M все S суть M S ? P	Bocardo некоторые M не есть P все M суть S некоторые S не есть P	некоторые P не есть M все M суть S S ? P
OI некоторые x не есть z некоторые y суть t	некоторые M не есть P некоторые S суть M S ? P	некоторые P не есть M некоторые S суть M S ? P	некоторые M не есть P некоторые M суть S S ? P	некоторые P не есть M некоторые M суть S S ? P
OE некоторые x не есть z ни одно y не есть t	некоторые M не есть P ни одно S не есть M S ? P	некоторые P не есть M ни одно S не есть M S ? P	некоторые M не есть P ни одно M не есть S S ? P	некоторые P не есть M ни одно M не есть S S ? P
OO некоторые x не есть z некоторые y не есть t	некоторые M не есть P некоторые S не есть M S ? P	некоторые P не есть M некоторые S не есть M S ? P	некоторые M не есть P некоторые M не есть S S ? P	некоторые P не есть M некоторые M не есть S S ? P
	I фигура	II фигура	III фигура	IV фигура

Тип посылок

I фигура

II фигура

III фигура

IV фигура

AA

все x суть z

все y суть t

Barbara

все M суть P

все S суть M

все S суть P

все P суть M

все S суть M

S ? P

Darapti

все M суть P

все M суть S

некоторые S суть P

Bramantip

все P суть M

все M суть S

некоторые S суть P

AI

все x суть z

некоторые y суть t

Darii

все M суть P

некоторые S суть M

некоторые S суть P

все P суть M

некоторые S суть M

S ? P

Datisi

все M суть P

некоторые M суть S

некоторые S суть P

все P суть M

некоторые M суть S

S ? P

AE

все x суть z

ни одно y не есть t

все M суть P

ни одно S не есть M

S ? P

Camestres

все P суть M

ни одно S не есть M

ни одно S не есть P

все M суть P

ни одно M не есть S

S ? P

Camenes

все P суть M

ни одно M не есть S

ни одно S не есть P

AO

все x суть z

некоторые y не есть t

все M суть P

некоторые S не есть M

S ? P

Baroco

все P суть M

некоторые S не есть M

некоторые S не есть P

все M суть P

некоторые M не есть S

S ? P

все P суть M

некоторые M не есть S

S ? P

IA

некоторые x суть z

все y суть t

некоторые M суть P

все S суть M

S ? P

некоторые P суть M

все S суть M

S ? P

Disamis

некоторые M суть P

все M суть S

некоторые S суть P

Dimaris

некоторые P суть M

все M суть S

некоторые S суть P

II

некоторые x суть z

некоторые y суть t

некоторые M суть P

некоторые S суть M

S ? P

некоторые P суть M

некоторые S суть M

S ? P

некоторые M суть P

некоторые M суть S

S ? P

некоторые P суть M

некоторые M суть S

S ? P

IE

некоторые x суть z

ни одно y не есть t

некоторые M суть P

ни одно S не есть M

S ? P

некоторые P суть M

ни одно S не есть M

S ? P

некоторые M суть P

ни одно M не есть S

S ? P

некоторые P суть M

ни одно M не есть S

S ? P

IO

некоторые x суть z

некоторые y не есть t

некоторые M суть P

некоторые S не есть M

S ? P

некоторые P суть M

некоторые S не есть M

S ? P

некоторые M суть P

некоторые M не есть S

S ? P

некоторые P суть M

некоторые M не есть S

S ? P

EA

ни одно x не есть z

все y суть t

Celarent

ни одно M не есть P

все S суть M

ни одно S не есть P

Cesare

ни одно P не есть M

все S суть M

ни одно S не есть P

Felapton

ни одно M не есть P

все M суть S

некоторые S не есть P

Fesapo

ни одно P не есть M

все M суть S

некоторые S не есть P

EI

ни одно x не есть z

некоторые y суть t

Ferio

ни одно M не есть P

некоторые S суть M

некоторые S не есть P

Festino

ни одно P не есть M

некоторые S суть M

некоторые S не есть P

Ferison

ни одно M не есть P

некоторые M суть S

некоторые S не есть P

Fresison

ни одно P не есть M

некоторые M суть S

некоторые S не есть P

EE

ни одно x не есть z

ни одно y не есть t

ни одно M не есть P

ни одно S не есть M

S ? P

ни одно P не есть M

ни одно S не есть M

S ? P

ни одно M не есть P

ни одно M не есть S

S ? P

ни одно P не есть M

ни одно M не есть S

S ? P

EO

ни одно x не есть z

некоторые y не есть t

ни одно M не есть P

некоторые S не есть M

S ? P

ни одно P не есть M

некоторые S не есть M

S ? P

ни одно M не есть P

некоторые M не есть S

S ? P

ни одно P не есть M

некоторые M не есть S

S ? P

OA

некоторые x не есть z

все y суть t

некоторые M не есть P

все S суть M

S ? P

некоторые P не есть M

все S суть M

S ? P

Bocardo

некоторые M не есть P

все M суть S

некоторые S не есть P

некоторые P не есть M

все M суть S

S ? P

OI

некоторые x не есть z

некоторые y суть t

некоторые M не есть P

некоторые S суть M

S ? P

некоторые P не есть M

некоторые S суть M

S ? P

некоторые M не есть P

некоторые M суть S

S ? P

некоторые P не есть M

некоторые M суть S

S ? P

OE

некоторые x не есть z

ни одно y не есть t

некоторые M не есть P

ни одно S не есть M

S ? P

некоторые P не есть M

ни одно S не есть M

S ? P

некоторые M не есть P

ни одно M не есть S

S ? P

некоторые P не есть M

ни одно M не есть S

S ? P

OO

некоторые x не есть z

некоторые y не есть t

некоторые M не есть P

некоторые S не есть M

S ? P

некоторые P не есть M

некоторые S не есть M

S ? P

некоторые M не есть P

некоторые M не есть S

S ? P

некоторые P не есть M

некоторые M не есть S

S ? P

I фигура

II фигура

III фигура

IV фигура

Силлогизмы

Силлогизмы

Литература:

Обозначения:

Таблица простых категорических силлогизмов

AA

Barbara

все S суть P

S ? P

Darapti

некоторые S суть P

Bramantip

некоторые S суть P

AI

Darii

некоторые S суть P

S ? P

Datisi

некоторые S суть P

S ? P

AE

S ? P

Camestres

ни одно S не есть P

S ? P

Camenes

ни одно S не есть P

AO

S ? P

Baroco

некоторые S не есть P

S ? P

S ? P

IA

S ? P

S ? P

Disamis

некоторые S суть P

Dimaris

некоторые S суть P

II

S ? P

S ? P

S ? P

S ? P

IE

S ? P

S ? P

S ? P

S ? P

IO

S ? P

S ? P

S ? P

S ? P

EA

Celarent

ни одно S не есть P

Cesare

ни одно S не есть P

Felapton

некоторые S не есть P

Fesapo

некоторые S не есть P

EI

Ferio

некоторые S не есть P

Festino

некоторые S не есть P

Ferison

некоторые S не есть P

Fresison

некоторые S не есть P

EE

S ? P

S ? P

S ? P

S ? P

EO

S ? P