Единичные, частные и общие.

Единичным называется суждение, в котором что-либо утвержда­ется

или отрицается об одном предмете. Частным называется суждение, в

котором что-либо утверждает­ся или отрицается о части предметов некоторого

класса. Частные суждения выражаются в предложениях, имеющих в своем составе

слова: «некоторые», «многие», «немногие», «большинство», «мень­шинство»,

«часть».

В неопределенном частном суждении слово «некоторые» упот­ребляется в

значении «Некоторые, а может быть, и все», «по крайней мере, некоторые». В

определенном частном суждении слово «некоторые» употреб­ляется в значении

«только некоторые».

Общим называется суждение, в котором что-либо утверждается или

отрицается обо всех предметах некоторого класса.

В отличие от единичных суждений частные суждения содержат

обобщенные знания. В неопределенном частном суждении эти зна­ния

характеризуются незавершенностью.

Знания, содержащиеся в общих суждениях, характеризуются

об­щностью и завершенностью. В общих суждениях выражаются зако­ны науки,

законы, устанавливаемые государством, правовые нормы и т.д..

3. Объединенная классификация суждений. Объединяя количест­венную

и качественную характеристики, суждения делятся на обще­утвердительные,

общеотрицательные, частноутвердительные, частноотрицательные.

Общеутвердительное суждение — это суждение, общее по

коли­честву и утвердительное по качеству. Общеотрицательное суждение

— суждение, общее по количе­ству и отрицательное по качеству.

Частноутвердительное суждение — суждение, частное по коли­честву

и утвердительное по качеству. Частноотрцательное суждение —

суждение, частное по количе­ству и отрицательное по качеству.

В логике принято сокращенное обозначение суждений по их объединенной

классификации.

Cуждения обозначаются следующими буквами: А — общеутвердительное, Е —

общеотрицательное, I — Частноутвердительное, О — частно-отрицательное.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S суть Р): V х (S(х) -> Р(х))

читается: для всех х, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): V х (S(х) -> -1 Р(х))

читается: ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): 3 х(S(х) а Р(х))

читается: существуют х, которым присуще свойство S и свой­ство Р.

О (Некоторые S не суть Р): 3 х(S(х) л -1 Р(х))

читается: существуют х, которым присуще свойство S и не прису­ще свойство Р.

В – 14

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

Особое место в классификации суждений занимают 1) выделяю­щие и 2)

исключающие суждения.

Выделяющие суждения они от­ражают тот факт, что признак,

выраженный предикатом, принадле­жит (или не принадлежит) только данному, и

никакому другому, предмету.

«Некоторые города — столицы государств» — пример частного выделяющего

суждения (некоторые 8, и только S, суть Р). Столица­ми государств могут

быть только города, и притом только некоторая их часть. Предикат частного

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

Частные выделяющие суждения не следует смешивать с опреде­ленными частными

суждениями. Если в определенном частном суж­дении уточняется объем субъекта,

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

«Все преступления, и только преступления, — предусмотренные законом общественно

опасные деяния» — пример общего выделяю­щего суждения (Все S, и

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

полностью совпадают.

Слова «только», «лишь», входящие в состав предложений, выра­жающих выделяющие

суждения, могут находиться как перед субъ­ектом, так и перед предикатом. Но

они могут и вообще отсутствовать. В этих случаях установить, что данное

суждение яв­ляется выделяющим, помогает логический анализ.

Исключающим называется суждение, в котором отражается

принадлежность (или непринадлежность) признака всем предме­там, за исключением

некоторой их части. Например: «Все студенты нашей группы, кроме Волкова, сдали

экзамены». Исключающие суждения выражаются предложениями со словами «кроме»,

«за ис­ключением», «помимо», «не считая» и т.п. (Все S, за исключением

S1, суть Р).

Значение выделяющих и исключающих суждений состоит в том, что положения,

выраженные в форме этих суждений, характери­зуются точностью и

определенностью, что исключает их неодно­значное понимание. Именно поэтому

ряд научных положений, а также статей международных документов, законов

государства вы­ражен в форме выделяющих или исключающих суждений.

В – 15