3. Классификация категорических суждений
Классификация суждений по качеству и количеству.
По качеству связки («есть» ли «не есть») простые суждения делятся на утвердительные и отрицательные.
Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака.
«Книги стоят на полках» - утвердительное суждение.
Логическая схема данного суждения
S есть P
Отрицательное суждение выражает отсутствие у предмета некоторого признака.
Логическая схема данного суждения
S не есть P
«Попугаи не живут в Сибири» - отрицательное суждение.
В отрицательных суждениях «не» стоит перед связкой. Отрицательные суждения не стоит смешивать с утвердительными суждениями, в которых предикатом является отрицательное понятие типа «несмелый», «неумелый», «недотепа».
Важно подчеркнуть, что «есть» и «не есть» это логические связки и в языке они могут выражаться другими словами: «является», «не является», «представляет собой», «не представляет собой», «признается», « не признается»
В зависимости от того, обо всем объеме субъекта идет речь в суждении или об его части, суждения подразделяют на единичные, общие и частные. Это называется делением суждения по количеству.
Единичными суждения – называются суждения, в которых в качестве субъекта используется единичное понятие. Они выражают наличие или отсутствие признака у единственного в своем роде предмета: «Луна – естественный спутник Земли». В естественном языке для построения единичных суждений используются кванторные слова «этот», «данный» и другие или словосочетания, указывающие на то, что предмет, о котором идет речь в суждении, является единственным. Например: «Самый большой по численности населения город данного государства является столицей» или «Самое трудное упражнение из домашнего задания не выполнено».
Частными называются суждения, в которых содержится знание о наличии или отсутствии признака у части предметов какого-либо класса (множества). Такие суждения обычно начинаются с кванторных слов «некоторые», «есть такие», «часть», «большинство» и др. Например: «Некоторые из книг написаны группой авторов» или « Часть преступлений не являются групповыми».
Общие суждения - обычно содержат больше информации, чем единичные и частные; в них речь идет о наличии или отсутствии признака у целого класса (множества), для указания количества суждения перед субъектом обычно ставится кванторное слово (квантор): «все», «всякий», «каждый», «ни один» - для общих суждений, эти слова показывают, что в суждении идет речь обо всех предметах, включенных в объем субъекта
Например: «Всякое преступление противоправно» или «Ни один железнодорожный билет не является удостоверением личности».
Иногда квантор не имеет явного языкового выражения и лишь подразумевается, но при выявлении логической структуры он должен формулироваться в явном виде.
«Тигры – хищники» (общее суждение «Все тигры - хищники»)
Объединенная классификация (по качеству и качеству)
В каждом суждении имеется количественная и качественная характеристика. Поэтому в логике применяется классификация суждений одновременно по количеству и качеству.
По объединенной классификации, среди суждений можно выделить четыре вида (единичные суждения в этой классификации приравниваются к общим суждениям)
Объём субъекта ……………… «все» «некоторые»
Качество связки ……………… «есть» «не есть»
Исходя из выше приведенной таблицы, на основе объёма субъекта и качества связки можно выделить только четыре комбинации, которыми исчерпываются все виды простых суждений: «все – есть», «некоторые – есть», «все – не есть», «некоторые – не есть». Каждый из этих видов имеет своё название и условное обозначение:
1. Общеутвердительные суждения (обозначаются латинской буквой A) –это суждение общее по количеству и утвердительное по качеству.
Например: «Все школьники являются учащимися».
или «Каждый, совершивший преступление должен быть подвергнут справедливому наказанию».
Схема общеутвердительного суждения «Все S есть Р», где кванторное слово «все» характеризует количество, утвердительная связка «есть» качество суждения.
2. Общеотрицательные суждения (обозначаются латинской буквой E) – суждение, общее по количеству и отрицательное по качеству
Например: «Все бегемоты не умеют летать» («Ни один бегемот не умеет летать»)
или «Ни один невиновный не должен быть привлечен к уголовной ответственности»
Схема общеотрицательного суждения «Все S не есть Р» (или «Ни одно S не есть Р»), кванторное слово «все» («ни одно») характеризует количество, отрицательная связка «не есть» - качество суждения.
3. Частноутвердительные суждения (обозначаются латинской буквой I) – это суждение частное по количеству и утвердительное по качеству
Например: «Некоторые животные являются хищниками».
или «Некоторые приговоры суда являются обвинительными»
Схема частноутвердительного суждения «Некоторые S есть Р», количество суждения характеризует кванторное слово – «некоторые», качество – утвердительная связка, выраженная словом «есть»
4. Частноотрицательные суждения (обозначаются латинской буквой O) – это суждение с частное по количеству и отрицательное по качеству
Например, «Некоторые грибы не являются съедобными» или «Некоторые приговоры суда не являются обвинительными»
Схема частноотрицательного суждения «Некоторые S не есть Р», кванторное слово «некоторые»указывает на количество суждения, отрицательная связка «не есть» - на его качество.
В дальнейшем будем говорить о видах простых суждений, не употребляя их длинных названий, с помощью условных обозначений – латинских букв A, I, E, O. Эти буквы, взятые из двух латинских слов: affirmo – утверждать и nego – отрицать, были предложены в качестве обозначения видов простых суждений ещё в Средние века.
