2. Классификация простых суждений по качеству и количеству.
Простые суждения по объему субъекта и качеству связки делятся на 4 вида. Объем субъекта может быть общим (все) и частным (некоторые), а связка может быть утвердительной (есть, или является) и отрицательной (не есть, или не является). Как видим, на основе объема субъекта и качества связки можно выделить только четыре комбинации, которыми исчерпываются все виды простых суждений (все — есть, некоторые — есть, все — не есть, некоторые — не есть). Каждый из этих видов имеет свое название и условное обозначение.
Общеутвердительные суждения. Как явствует из названия, это суждения с общим объемом субъекта и утвердительной связкой: Все S есть Р, например: «Все школьники являются учащимися». Эти суждения обозначаются в логике латинской буквой А.
Частноутвердительные суждения. Название данного вида свидетельствует о том, что он представляет собой суждения с частным объемом субъекта и утвердительной связкой: Некоторые S есть Р, например: «Некоторые животные являются хищниками». Эти суждения обозначаются латинской буквой I.
Общеотрицательные суждения - это суждения с общим объемом субъекта и отрицательной связкой: Все S не есть Р (или Ни одно S не есть Р), например: «Все планеты не являются звездами» (или «Ни одна планета не является звездой»). Такие суждения обозначаются латинской буквой Е.
Частноотрицательные суждения - это суждения с частным объемом субъекта и отрицательной связкой: Некоторые S не есть Р, например: «Некоторые грибы не являются съедобными». Эти суждения обозначаются латинской буквой О.
Виды простых категорических суждений образуются по качественному и количественному признаку.
2.1 Деление суждений по качеству
Качественный признак зависит от связки. А поскольку связка может быть либо утвердительной («есть»), либо отрицательной («не есть»), то и суждения бывают с точки зрения качества утвердительными («Все студенты пишут дипломные работы») и отрицательными («Х не сдал экзамен по математике»).
2.2 Деление суждений по количеству
Количество суждений. Количественная характеристика суждения зависит от квантора, относящегося к субъекту суждения. В классической несимволической логике он может выражаться словами «все», «некоторые», «данные», «отдельные», «часть», «ни одно».
По количеству суждения делятся на единичные, частные и общие.
Единичное суждение устанавливает принадлежность признака единственному предмету мысли. Иначе говоря, субъект такого суждения выражен единичным понятием, что, очевидно, можно выразить при помощи следующей структуры высказывания: «Только этот S есть (не-есть) P». Например, «Н. Винер – основатель кибернетики», «Марс не является обитаемой планетой».
Частное суждение указывает на принадлежность признака нескольким предметам или части класса предметов. В общем виде оно имеет структуру: «Некоторые S есть (не-есть) P». Количество суждения выражено кванторным словом «некоторые». Например: «Некоторые экзамены сдаются письменно».
Общее суждение констатирует принадлежность признака всем элементам класса, то есть исчерпывает весь объём класса. Субъект общего суждения выражен либо общим понятием, либо квантором всеобщности, непосредственно стоящим перед субъектом. Общие суждения имеют структуру:«Все S есть P» «Ни одно S не-есть P».