1. Суждение как форма мышления - это более сложная по сравнению с понятием форма мышления. Оно включает понятие, но не сводится к нему, а представляет собой качественно особую форму, выполняющую иные свои функции в мышлении. В нем утверждается или отрицается связь между предметом и его признаком или отношение между предметами. Суждение обладает свойством выражать либо истину, либо ложь.

2. В свою очередь, предложение - это грамматическая форма суждения, а суждение - это логическое содержание предложения. Это единство суждения и предложения конкретно выражается в том, что и в суждении, и в предложении основные элементы выражают одно и то же качество. Однако состав суждения и предложения не тождествен: каждой части суждения могут не соответствовать главные члены предложения — подлежащее и сказуемое.

3. Структура суждения состоит из четырех элементов:

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

   2. Предикат (P) - это понятие, отражающее признак предмета мысли, то, что мыслится о субъекте суждения.

   3. Связка - это отношение, которое существует между субъектом и предикатом. Оно подразумевает принадлежность предмету мысли какого-либо признака (свойства). Обозначается знаком «тире», а также может подразумеваться или быть выраже­на словом или группой слов: «есть», «суть», «не являются», «имеется» и т.д.

   4. Квантор (кванторное слово) - это слово, которое указывает, относится ли признак, выражен­ный в предикате суждения, ко всему или к части объема понятия, выражаю­щего субъект. Находится перед субъектом и обозначается словами «все», «некоторые», «многие», «ни один» и т.д. Может отсутствовать.

4. Виды суждения по характеру предиката

   1. Суждение свойства (атрибутивное) - это суждение, в котором указывается на свойство или состояние, присуще или не присуще некоторому предмету. Часть атрибутивного суждения, в которой отображается предмет мысли, называется субъектом, а часть, в которой отображается свойство или состояние предмета, — предикатом. Связь предмета с его свойством (состоянием) выражается с помощью связки «есть» («не есть») или словами ее заменяющими.

   2. Суждение отношения (релятивное) - это суждение, в котором указывается на отношение, которое имеет место между некоторыми предметами мысли. В зависимости от числа предметов, вступающих в то или иное отношение, различают двухчленные, трехчленные и вообще n-членные отношения.

   3. Суждение существования (экзистенциальное) - это суждение, в котором отражается факт существования (несуществования) того или иного предмета мысли.

5. Виды атрибутивных суждений по качеству:

   1. Утвердительные - это суждения, говорящие о принадлежности предиката субъекту суждения.

   2. Отрицательные - это суждения, говорящие об отсутствии данного предиката у субъекта.

Виды атрибутивных суждений по количеству:

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

2. Частные - это суждения, в которых предикат высказывается о некоторых элементах объема субъекта.

3. Общие - это суждения, в которых предикат высказывается обо всем объеме субъекта.

6. Распределение субъекта и предиката в атрибутивном суждении: Объем субъекта включается в объем предиката. Например: “Россия - это суверенное государство” Субъект (Россия) имеет более узкое определение, нежели предикат (суверенное государство).

7. Классификация простых категорических суждений:

   1. Общеутвердительные (A) Структура: “Все S суть P”

   2. Частноутвердительные (I) Структура: “Некоторые S есть P”

   3. Общеотрицательные (E) Структура: “Ни одно S не есть P”

   4. Частноотрицательные (O) Структура: “Некоторые S не есть P”

8. Логический квадрат a,I,e,o

   1. Отношение противности (A-E) - это отношения, которые могут быть одновременно ложными, но не могут быть одновременно истинными.

   2. Отношение подпротивности (I-O) - это отношения, которые могут быть одновременно истинными, но не могут быть одновременно ложными

   3. Отношения противоречия (A-O и E-I) - это отношения, в которых одно непременно должно быть истинным, а другое ложным.

   4. Отношения подчинения (A-I и E-O)

      1. С истинности подчиняющего суждения следует истинность подчиненного ему суждения, но истинности подчиненного суждения не следует истинность подчиняющего суждения, оно может быть как истинным, так и ложным.

      2. С ложности подчиняющего суждения следует ложность подчиненного ему суждения, но ложности подчиненного суждения не следует ложность подчиняющего суждения, оно может быть как истинным, так и ложным.

9. Сложные суждения - это суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами (связками). От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения. Виды сложных суждений:

1. Соединительным (конъюнктивным) суждением называют суждение, включающее в качестве составных частей другие суждения, объединяемые связкой “И”.

2. Разделительным (дизъюнктивным)сужденем называют суждение, включающее в качестве составных частей суждения, объединяемые связкой «или».

3. Условным (импликативным) называют суждение, включающее в качестве составных два суждения – антецедент (основание) (a) и консеквент (заключение) (b), объединяемые связкой «если..., то ...».

4. Эквивалентным (двойная импликация, логическое равенство) называют суждение, включающее в качестве составных два суждения, связанные двойной (прямой и обратной) условной зависимостью, выражаемой связкой «если и только если..., то...».