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

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

Единичным называют суждение, в котором нечто утверждается или отрицается об одном предмете. Например, "Эта статья уголовного кодекса устанавливает ответственность за мошенничество". "Верховная Рада Украины-высший законодательный орган государства", "Леся Украинка - украинская поэтесса" и т.д. Логическая формула единичных суждений: "Это S есть Р" и "Это S не есть Р".

Частичным называют суждение, в котором нечто утверждается или отрицается о части данного класса (множества) предметов. Частичные суждения выражаются предложениями, которые имеют в своем составе слова: "некоторые", "не все", "часть", "большинство", "меньшинство" и т.д. Например, "некоторые правонарушения не являются преступлениями", "большинство студентов нашей группы успешно овладевают логикой", "не все люди являются вегетарианцами" и т.д. Логическая формула частных суждений: "Некоторые S есть Р" или "Некоторые S не есть Р".

Общим называют суждение, в котором нечто утверждается или отрицается относительно всех предметов данного класса. Например, "Все граждане равны перед законом", "ни Одно утверждение науки не является окончательным", "Каждый студент-юрист изучает логику", "Нет такого человека, который бы все знала" и т.д.

Общие суждения выражаются предложениями, которые содержат в своей структуре слова: "все", "никакой", "каждый", "любой", "никто" и т.д. Однако, эти слова могут и не входить в состав предложения. Например, "Граждане Украины имеют избирательные права", "Приговор должен быть обоснованным". По смыслу такие высказывания являются общими, ибо предикат касается каждого предмета мысли: "Все граждане Украины...", "Каждый приговор...". Слова "все", "никакой", "некоторые", "этот" и т.д., которые характеризуют суждение со стороны его количества, называются кванторними (от латинского quantum - сколько), а использование кванторних слов в суждениях называют квантифікацією.

Выделяющее суждения

Особое место в классификации суждений занимает виділяюче суждения. Это определяется тем, что количественная характеристика суждений устанавливает объем субъекта, а объем предиката при этом остается неопределенным. Действительно, из суждения "Мокренко является очевидцем события" невозможно установить, является Мокренко одним единственным или одним из многих очевидцев события. В суждении "Некоторые студенты нашей группы пользуются Интернетом" слово "некоторые" может означать "по крайней мере некоторые, а может и все" или "только и только некоторые".

* Выделяющее суждения устраняет эту неопределенность; оно отражает тот факт, что признак, выраженное предикатом, принадлежит только данному и никакому другому предмету (множестве предметов).

Выделяющее суждение может быть единичным, частным и общим. Например, "Только Мокренко является очевидцем события". Его логическая формула "Это S, и только это S есть Р". Отношение между объемами S и Р в этом случае в виде кругов Эйлера будут такими:

Субъект и предикат этого суждения имеют одинаковый объем или являются равнозначными, ибо оно выражает тот факт, что Мокренко является единственным свидетелем происшествия.

Частичное виділяюче суждения:

"Некоторые юристы являются прокурорами". Его логическая формула: "Некоторые S, и только S есть Р". И действительно, прокуроры есть среди юристов, и только среди юристов. Объемная интерпретация будет следующей:

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

Общее виділяюче суждения:

"Все правильные треугольники есть рівнобічними". Его логическая формула: "Все S, и только S есть Р". И действительно, рівнобічними могут быть правильные, и только правильные треугольники. Отношение между объемами Б и Р будет таким:

Объемы субъекта и предиката общего виділяючого суждения полностью совпадают.

Итак, в общем случае выделяющим будет такое суждение, которое по смыслу отношений между S и Р, соответствует формуле "S , и только S есть Р".