Контрольная работа: Судження та силогізм у формальній логіці

Поодинокі вислови (такі, в яких суб'єкт є одиничним терміном) прирівнюються до загальних.

Суб'єкт завжди розподілений у загальному висловлюванні і ніколи не розподілений в приватному висловлюванні.

Предикат завжди розподілений в негативних думках, в стверджувальних він розподілений тоді, коли за обсягом Р <= S.

Як предикат, в деяких випадках, може виступати суб'єкт.

Фігурами силогізма називаються форми силогізма, які відрізняються положенням середнього терміна в посиланнях:

Фігура 1	Фігура 2	Фігура 3	Фігура 4
Більше посилання:	M—P	P—M	M—P	P—M
Меньше посилання:	S—M	S—M	M—S	M—S
Заключення:	S—P	S—P	S—P	S—P

Кожній фігурі відповідають модуси — форми силогізма, які відрізняються кількістю та якістю посилань і заключень. Модуси вивчались ще середньовічними школами, і для правильних модусів кожній фігурі були придумані мнемонічні імена:

Фігура 1	Фігура 2	Фігура 3	Фігура 4
Barbara	Cesare	Darapti	Bramantip
Celarent	Camestres	Disamis	Camenes
Darii	Festino	Datisi	Dimaris
Ferio	Baroco	Felapton	Fesapo
Bocardo	Fresison
Ferison

2.2 Приклади силогізмів кожного типу

Barbara

Усі люди — тварини.

Усі тварини смертні.

Усі люди смертні.

Celarent

Жодна рептилія не має хутра.

Усі змії — рептилії.

Жодна змія не має хутра.

Darii

Всі кошенята грайливі.

Деякі домашні тварини - кошенята.

Деякі домашні тварини - грайливі.

Ferio

Жодна домашня робота не весела.

Якесь читання - домашня робота.

Якесь читання не веселе.

'Cesare'

Жодна здорова їжа не повнить.

Всі торти повнять.

Жоден торт не здорова їжа.

'Camestres'

Всі коні мають здуття живота.