Простое суждение

Суждение – это форма мысли, в которой утверждается или отрицается что-либо относительно предметов и явлений, их свойств, связей и отношений и которая обладает свойством выражать либо истину, либо ложь [13, с. 503]. Структурно суждение представляет собой взаимосвязанные понятия и включает в свой состав следующие основные элементы:

- Субъект суждения (логическое подлежащее) – это понятие, обозначающее объект действительности, о котором в суждении ведётся речь. Символически субъект суждения обозначается латинской буквой S.

- Предикат суждения (логическое сказуемое) – это понятие, обозначающее признак объекта, о котором в суждении ведётся речь. Символически предикат суждения обозначается латинской буквой P.

- Логическая связка суждения (качественная характеристика суждения). Логическая связка используется для выражения связи субъекта и предиката в простом суждении, а также для выражения связи простых суждений в составе сложных. Логическая связка суждения может выражаться словами (есть, является, может быть, суть и т.д.), может быть представлена символически (-, ^, ↔, →, Ú,), а может просто подразумеваться.

- Кванторное слово суждения (количественная характеристика суждения). Кванторное слово показывает, какому количеству объектов принадлежит или не принадлежит признак. Кванторные слова делятся на две группы: кванторы общности (все, каждый, всякий, любой) и кванторы выборочности (кванторы существования – некоторые, многие, этот, существуют). [1, с. 70-72; 5, с. 22-23; 6, с. 115-117; 9, с. 100-101; 12, с. 62].

Например, в суждении "Каждый человек является млекопитающим" понятие " человек" – субъект суждения, понятие "млекопитающее" – предикат суждения, "является" – утверждающая логическая связка, выраженная словом, "каждый" – кванторное слово общности.

В естественном языке суждение выражается предложением. Основным носителем суждения является повествовательное предложение, в некоторых случаях суждение может быть выражено восклицательным и вопросительным предложением [9, с. 101-108; 21, с. 24]. Несмотря на то, что суждение выражается предложением, суждение и предложение нетождественны. Во-первых, в суждении содержатся только основные элементы (логическое подлежащее, логическое сказуемое и связка между ними), а в предложении, наряду с основными элементами (подлежащее и сказуемое), могут быть вспомогательные элементы (дополнение, обстоятельство и т.д.). Во-вторых, субъект суждения не всегда совпадает с подлежащим, а предикат со сказуемым, потому что субъектом суждения может быть любой предмет, выраженный любой частью речи, а подлежащим может быть только имя существительное в именительном падеже или субстантивированная часть речи в той же форме, или сочетание адекватное одному слову в независимой форме [5, с. 30]. В-третьих, последовательность построения элементов суждения более строгая. Если в предложении подлежащее и сказуемое могут находиться в начале, в середине или в конце предложения, то в суждении подлежащее всегда находится в начале, а сказуемое в конце [6, с. 117; 9, с. 101-110; 12, с. 62-63].

Начиная с суждений в логику вводятся понятия " истина " и " ложь ". Суждение считается истинным, если содержащаяся в нём информация соответствует окружающей действительности и ложным, если такого соответствия не наблюдается [21, с. 16-20]. Например, суждение "Каждый человек является млекопитающим" соответствует действительности и будет истинным, а суждение "Каждый человек является земноводным" не соответствует действительности и будет ложным.

Структурно суждения могут быть простыми и сложными. Простыми называются суждения, в составе которых взаимосвязаны только один субъект и только один предикат [13, с. 421]. Суждение "Каждый человек является млекопитающим" будет простым.

В зависимости от выполняемых функций, простые суждения делятся на три группы: суждения существования (экзистенциальные суждения), суждения свойства, (атрибутивные суждения), суждения отношений (реляционные суждения) [12, с. 64-66].

В суждениях существования утверждается или отрицается существование самих объектов действительности. В суждении "Ледоколы существуют" существование объектов утверждается, а в суждении "Русалок не бывает" – отрицается.

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

В суждениях с отношениями утверждается или отрицается наличие между объектами определённых типов отношений. Например, в суждении "Москва больше Тулы" утверждается отношение величины между объектами, а в суждении "Иван не является сыном Андрея Петровича" отрицается отношение родства между объектами.

Каждый из перечисленных видов простых суждений может быть рассмотрен как суждение свойства (атрибутивное суждение), например можно сказать, что Ледоколы обладают свойством существования, а Москва характеризуется свойством быть больше Тулы. Поэтому обобщённо все простые суждения можно рассматривать как разновидность суждений свойства – простые категорические суждения. Простые категорические суждения имеют качественную и количественную характеристику.

В зависимости от качества (вида логической связки) простые категорические суждения делятся на утверждающие (S есть P ) и отрицающие (S не есть P).В зависимости от количества (вида кванторного слова) простые категорические суждения могут быть общими, частными и единичными. [6, с. 118; 9, с. 112-113; 12, с. 67; 21, с. 59-60]. Общими называются простые категорические суждения, в которых признак принадлежит (не принадлежит) всем без исключения объектам (Все S есть P), например, суждение "Все львы – хищники" являетсяобщим. Частными называются простые категорические суждения, в которых признак принадлежит (не принадлежит) части объектов (Некоторые S есть P), например, "Некоторые львы – самцы". Единичными называются простые категорические суждения, в которых признак принадлежит (не принадлежит) лишь одному объекту (Это S есть P). Например, " Этот лев - глава прайда" [1, с. 78-83; 6, с. 118; 9, с. 112-113; 12, с. 67; 21, с. 59-60].

Обобщённая (по количеству и качеству) характеристика позволяет выделить четыре класса простых категорических суждений: общеутвердительное (класс А) – структура Все S есть P, общеотрицательное (класс Е) – структура Ни одно S не есть P, частноутвердительное (класс I) – структура Некоторые S есть P илиЭто S есть P, частноотрицательное (класс О) – структура Некоторые S не есть P или Это S не есть P [6, с. 118-119; 9, с. 118-120; 12, с. 68-70].

Для простых категорических суждений характерна распределённость их терминов (субъекта и предиката). Субъект и предикат считаются распределёнными, если объёмы выражающих их понятий полностью совпадают или полностью исключают друг друга. Субъект и предикат считаются нераспределёнными, если их объёмы совпадают частично. [1, с. 93-96; 6, с. 119-120; 9, с. 120-121; 12, с. 72-74]. Для каждого класса простого категорического суждения характерны свои варианты распределённости, а отношения между субъектом и предикатом схематически выражаются с помощью кругов Эйлера.

1. Общеутвердительное суждение. Для суждения данного класса характерны два варианта распределённости.

1.1. Субъект и предикат распределены.

Пусть имеется суждение "Все люди – разумные существа", субъектом которого является понятие " люди ", предикатом – понятие " разумные существа ". Известно, что всякий человек (без исключения) является разумным существом, а наличие разума, в свою очередь, характерно только для человека. Следовательно, понятия "люди" и "разумные существа" обозначают сходные объекты, их объёмы тождественны, они оба распределены.

S⁺ P⁺

Все люди – разумные существа

P – предикат (понятие "разумные существа")

"+" - знак распределённости логических терминов

(субъекта и предиката суждения).

1.2. Субъект распределён, предикат не распределён.

Пусть имеется суждение "Все композиторы – музыканты", субъектом которого выступает понятие "композиторы", предикатом – понятие "музыканты". Всякий композитор (без исключения) имеет музыкальное образование, однако не каждый музыкант способен сочинять музыку, поэтому, понятие "композиторы" обозначает часть объектов, ограниченных областью понятия "музыканты". Следовательно, объём субъекта включается в объём предиката полностью, а объём предиката в объём субъекта – частично, что характеризуется отношением подчинения логических терминов. Таким образом, в данном примере субъект суждения распределён, а предикат не распределён.

Все композиторы – музыканты

Где S – субъект (понятие "композиторы")

P – предикат (понятие "музыканты")

"+" - знак распределённости логических терминов

"-" - знак нераспределённости логических терминов.

2. Общеотрицательное суждение. Для суждений данного типа характерен лишь один вариант распределённости, когда оба термина (субъект и предикат) распределены.

Пусть имеется суждение "Ни один вор не является добропорядочным человеком", субъектом которого является понятие "вор", предикатом – понятие "добропорядочный человек". В данном случае объёмы понятий полностью исключают друг друга, а значит они (согласно определению) взаимно распределены.

Ни один вор не является добропорядочным человеком

Где S – субъект (понятие "вор")

P – предикат (понятие "добропорядочный человек")

"+" - знак распределённости логических терминов

3. Частноутвердительное суждение. Для суждений данного класса характерны два варианта распределённости.

3.1. Субъект и предикат не распределены.

Пусть имеется суждение "Некоторые писатели - англичане", субъектом которого является понятие "писатели", предикатом – понятие "англичане". Известно, что далеко не все писатели проживают в Англии и, в свою очередь, не каждый проживающий в Англии является писателем. Следовательно, понятие "писатели" и понятие "англичане" имеют пересекающиеся объёмы, а потому оба не распределены.

Некоторые писатели - англичане

P – предикат (понятие "англичане")

" – "- знак нераспределённости логических терминов

3.2. Субъект нераспределён, предикат распределён.

Пусть имеется суждение " Некоторые музыканты - композиторы", субъектом которого выступает понятие "музыканты", предикатом – понятие "композиторы". Известно, что не всякий музыкант может писать музыку, но все, кто пишет музыку – это музыканты. Следовательно, понятия " музыканты и композиторы " находятся в отношении подчинения, поэтому субъект суждения в данном случае нераспределён, а предикат распределён.

Некоторые музыканты - композиторы

Где S – субъект (понятие "хищение имущества")

P – предикат (понятие "кража")

"+" - знак распределённости логических терминов

"-" - знак нераспределённости логических терминов.

4. Частноотрицательное суждение. Для суждений данного типа характерен один вариант распределённости при двух вариантах отношений между логическими терминами.

4.1 Субъект нераспределён, а предикат распределён при отношении подчинения.

Пусть имеется суждение "Этот преступник не является рецидивистом", субъектом которого выступает понятие "преступник", предикатом - понятие "рецидивист". Известно, что не всякий преступник является рецидивистом, в то же время всякий рецидивист по своей сути – это преступник. Следовательно, понятие "преступник" (как более частное по объёму), подчиняется понятию "рецидивист" (как более общему по объёму), субъект нераспределён, а предикат распределён.

Этот преступник не является рецидивистом.

Где S – субъект (понятие "преступник")

P – предикат (понятие "рецидивист")

"+" - знак распределённости логических терминов

"-" - знак нераспределённости логических терминов.

4.2 Субъект нераспределён, а предикат распределён при отношении пересечения.

Пусть имеется сужение "Некоторые водители не являются профессионалами", субъектом которого является понятие " водители ", предикатом - понятие " профессионалы ".

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

"Некоторые преступники не являются профессионалами"

P – предикат (понятие "профессионалы")

"+" - знак распределённости логических терминов

"-" - знак нераспределённости логических терминов

Обобщая все возможны варианты, можно сказать: субъект распределён в общих суждениях и не распределён в частных. Предикат распределён в отрицательных и не распределён в утвердительных суждениях. Исключение составляют утвердительные суждения, в которых объём предиката меньше или равен объёму субъекта.