Логика. Ч.1. Попов Ю.П. - 35 стр.

начает "только некоторые", получили название определенно-частных, или выделяющих. Традици-
онная логика имеет дело, прежде всего с неопределенно-частными суждениями как более распро-
страненными. В дальнейшем мы будем говорить в основном о них. Так что для нас будет истинным
как суждение: "Некоторые прокуроры не адвокаты" (на самом деле они все не адвокаты), так и суж-
дение: "Некоторые студенты сдают экзамены". Если же речь пойдет об определенно-частных сужде-
ниях, то это будет специально оговариваться. Следует помнить, что в языке не всегда явно выража-
ется характер квантора "некоторые". Так, в суждениях "Некоторые кардиналы становятся римскими
папами" и "Некоторые кардиналы знают латынь" в первом случае мы имеем дело с определенно-
частным, а во втором - с неопределенно-частным суждениями.
§13. (3) Объединенная классификация суждений
Исходя из всего изложенного в предыдущем разделе, все суждения делятся по качеству на две кате-
гории - утвердительные и отрицательные, и по количеству тоже на две - общие и частные. В логике
принято объединять эти две пары категорических суждений в единую классификацию, в которой по-
лучается четыре вида. У каждого из них есть свое обозначение латинской буквой и их все можно вы-
разить одной формулой:
Все (некоторые) S есть (не есть) P.

При выполнении логических операций удобно использовать круговые схемы Эйлера. Графическое
изображение соотношений между понятиями по объему одинаково для одних и тех же видов сужде-
ний, но у большинства из них допускается более одного варианта. Желательно их знать и хорошо
помнить.
Общеутвердительное суждение. Всем предметам приписывается какое-то свойство. Оно, следова-
тельно, является общим по количеству и утвердительным по качеству. Структура такого суждения -
"Все S есть P". Например, 1) "Все планеты - небесные тела" или 2) "Квадрат - прямоугольник с рав-
ными сторонами"; а так как единичные суждения тоже относятся к общим, то и высказывания 3)
"Уральские горы протянулись с севера на юг" и 4) "Данное преступление совершено вчера" тоже от-
носятся к общеутвердительным суждениям. Их принято обозначать буквой A (a) - первой гласной
латинского affirmo (утверждаю). Тогда ту же структуру можно изобразить так: S a P; читается: все S
есть P.

Если изобразить соотношение понятий, входящих в это суждение, круговыми схемами, то общеут-
вердительному суждению, как правило, соответствует нижняя часть рисунка 3. В нем все S входят в
объем понятия P (отношение подчинения).

Так, все планеты, естественно, должны входить в круг тел, относимых нами к небесным телам,
Уральские горы, согласно суждению (3), входят в число всего того, что можно отнести к протянув-
шемуся с севера на юг, а преступление, о котором речь в суждении (4), обязательно должно охваты-
ваться кругом событий, произошедших вчера. И только для суждения (2) надо брать верхнюю часть
этого рисунка, так как данные понятия равнозначны и потому изображающие их круги сливаются.




                                               35