Логика высказываний. Силлогизмы Студента 3-го курса группа и-2-10 Бекиров Алим

простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма

разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.
Пример силлогизма:
Всякий человек смертен (бо́льшая посылка)
Сократ — человек (меньшая посылка)
Сократ смертен (заключение)

субъект заключения (входит также в меньшую посылку);
P — больший термин: предикат

заключения (входит также в большую посылку);
M — средний термин: входит в обе посылки, но не входит в заключение.

Единичное, Частное, Множественное.
Единичные [суждения] — в которых подлежащее является индивидуальным понятием.

Прим: «Ньютон открыл закон тяготения»
Частное суждение — в котором подлежащим суждения является понятие, взятое в части своего объема. Прим: «Некоторые S суть P»
Множественное суждение — это те, в которых несколько подлежащих классовых понятий. Прим: «насекомые, пауки, раки есть членистоногие»
Неопределенное. Прим: «светает», «больно» и т. п.

относительно событий, состояний, процессов или деятельности скоропроходящих. Прим: «Роза в

саду цветет».
Описательные — когда одному или многим предметам приписывается какое-нибудь свойство. Субъектом всегда является определенная вещь. Прим: «Огонь горяч», «снег бел».

имеют один и тот же объем. Прим: «всякий равносторонний треугольник

есть равноугольный треугольник»
Суждения подчинения — понятия с менее широким объемом подчиняется понятию с более широким объемом. Прим: «Собака есть домашнее животное»
Суждения отношения — именно пространства, времени, отношения. Прим: «Дом находится на улице»

смертны»)
I —Частноутвердительные («Некоторые люди — студенты»)
E — Общеотрицательные («Ни один из китов не

рыба»)
O  — Частноотрицательные («Некоторые люди не являются студентами»)

Меньшая посылка - утвердительной (A, I);
Вторая фигура.
Большая посылка

должна быть общей (А, Е);
2) Одна из посылок отрицательная (Е, О);
Третья фигура.
Меньшая посылка должна быть утвердительной (A, I);
2) Заключение - частное (I, O);
Четвертая фигура.
Если большая посылка - утвердительная (A, I), то меньшая должна быть общей (А, Е)
Если одна из посылок отрицательная (Е, О), то большая посылка должна быть общей (A, E);