Деление суждений по количеству и качеству.

Деление суждений по качеству:

1. Утвердительные -- выражают принадлежность предмету некоторого признака (S есть Р «Юпитер -- планета Солнечной системы»). Суждение с отрицательным предикатом, но с утвердительной связкой «S есть не-Р» рассматривается как утвердительное («Данное решение суда (S) является необоснованным (не-Р)»).

2. Отрицательные -- выражают отсутствие у предмета некоторого признака (S не есть Р «Обвиняемый (S) не обязан доказывать свою невиновность (Р)» или «Обвиняемый (S) не есть (связка) лицо, обязанное доказывать свою невиновность (Р)»).

Деление суждений по количеству:

1. Единичные -- что-либо утверждается или отрицается об одном предмете (Это здание -- памятник архитектуры): Это S есть Р и Это S не есть Р. Знания об отдельных явлениях, событиях, лицах.

2. Частные -- что-либо утверждается или отрицается о части предметов некоторого класса (некоторые, многие, немногие, большинство, меньшинство, часть:Некоторые свидетели дали показания): Некоторые S суть Р, Некоторые Sне суть Р. Обобщенные знания.

неопределенные частные -- некоторые, а может быть и все; по крайней мере некоторые -- Некоторые свидетели дали показания; известная нам часть свидетелей дала показания, о другой части мы ничего не знаем, наши знания неполные.

определенные частные -- только некоторые -- содержит знание и о той и о другой части свидетелей и может рассматриваться как сложное суждение «некоторые свидетели дали показания, а некоторые показаний не давали».Только некоторые S суть Р, Только некоторые S не суть Р.

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

В логике принято классифицировать категорические суждения по их объединённому признаку, учитывающему взаимосвязь как качественной, так и количественной стороны суждения.

В объединённой классификации суждения делятся на четыре вида.

Общеутвердительные суждения. Это суждение является общим по количеству и утвердительным по качеству. Символически эти суждения записываются следующим образом: «Все S есть P», где количественная («все») и качественная («есть») стороны суждения явно выражены в языке. Например: «Все звёзды светятся собственным светом», «Все птицы имеют крылья», «Все студенты сдают экзамены», и т. п.. Сокращённо общеутвердительные суждения обозначаются буквой А (первой буквой от латинского слова affirto, что в переводе означает утверждаю).

Общеотрицательные суждения. Это суждение является общим по количеству и отрицательным по качеству. Обобщённая формула этого суждения такова: «Ни одно S не естьP», где количественная («ни одно») и качественная («не есть») стороны суждения явно выражены в языке. Например: «Ни одна нация не может существовать без общего языка», или «ни один организм не может жить без пищи» и так далее.. Общеотрицательные суждения символически обозначается буквой Е (взята первая гласная буква от латинского слова nego, что в переводе означает отрицаю).

Частноутвердительное суждение. Это суждение является частным по количеству и утвердительным по качеству. Его обобщённая формула выглядит так: « Некоторое S есть P», где количественная («некоторые») и качественная («есть») стороны суждения явно выражены в языке. Например: «Некоторые студенты являются отличниками», или «Некоторые рыбы летают» и так далее.. Сокращённо частноутвердительные суждения обозначаются I (вторая гласная буква от латинского слова affirto).

Частноотрицательные суждения. Это суждения является частным по количеству и отрицательным по качеству. Его символическая формула такова: «Некоторые S не есть P», где количественная («некоторые») и качественная («не есть») стороны суждения явно выражены в языке. Например: «Некоторые страны Африки не являются мусульманскими», или «Некоторые студенты не посещают задания занятия в спортивных секциях» и т. п.. Эти суждения обозначаются буквой O (второй гласной буквы от латинского слова nego).

Единичные суждения из объединённой классификации категорических суждений в самостоятельную группу не выделяются. По своей логической характеристике с точки зрения количества все единичные суждения относятся к общим суждениям: либо к общеотрицательным. Например: «Т.Г. Шевченко является великим украинским поэтом» является общеутвердительным суждением (А), так как предикат («великий украинский поэт») относится ко всему субъекту («Т.Г. Шевченко»). Другое суждение: «У. Шекспир не был великим путешественником» относится к общеотрицательным суждениям (Е), так как предикат («великий путешественник») полностью исключает из всего объёма субъекта («У. Шекспир»).