Логическая структура предложения

Наконец структура  суждения может не соответствовать  грамматическому предложению, даже в тех случаях, когда основные члены предложения (подлежащее и  сказуемое) совпадают по своему значению с основными частями суждения (субъектом и предикатом). Например, такие предложения, как: «Стол накрыт», «Лампочка включена», «Дверь открыта», и т.п. связка не высказывается, а  только подразумевается.

 Суждение - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами.  
Любое суждение может быть расценено как истинное (соответствующее действительности) или ложное  
       Языковой формой суждения является повествовательное  предложение  (косвенно суждение содержит и риторический вопрос, поскольку он по смыслу является утверждением или отрицанием).  Предложения  в других грамматических формах (собственно вопросительные, побудительные и т.д.) непосредственно суждениями не являются, поскольку ничего не утверждают и не отрицают.

2.  Структура  и классификация простого суждения

Полная структура простого суждения включает четыре элемента:

• субъект (S) - понятие, отражающее сам предмет мысли, то, о чем что-то говорится;
• предикат (Р) - понятие, отражающее то, что именно говорится о предмете (его свойство или соотношение с другими объектами);
• связка (в языковой форме выражается словами "есть/не есть", "суть/не суть, "является/не является" и т.п., либо вообще только подразумевается). Отражает наличие /отсутствие определенной связи субъекта и предиката;
• квантор (всеобщности (") - "все", "каждый", "ни один… не" ("все … не") и т. п.; существования ($) - "некоторые", "многие", "часть" и т. п.; единственности существования ($!) - "этот", "данный" и т. п.), отражающий количественную характеристику суждения.

Символически структура  простого суждения выражается формулой: (K)S-P, где <К> - некоторый квантор, а <-> - связка (если квантор отсутствует  в явном виде, то суждение формально  неопределенно по количеству, хотя эту характеристику обычно можно  установить по смыслу).

       Простые суждения  подразделяются по качеству на: утвердительные и отрицательные, а по количеству на:

• единичные (что-либо утверждается или отрицается об одном предмете - "Этот свидетель дал показания");
• общие (что-либо утверждается или отрицается обо всех предметах некоторого класса - "Все свидетели дали показания");
• частные (что-либо утверждается или отрицается о части предметов некоторого класса - "Некоторые свидетели дали показания").

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

• атрибутивные. Атрибутивным называется суждение о признаке предмета, например: "Лист зеленый";
• с отношением. Релятивным называется суждение об отношении между предметами. Например, "Москва больше Красноярска";
• существования. В суждениях существования выражается сам факт существования или несуществования предмета суждения. Например: "Высшее образование есть".

            Распределенность  терминов в суждениях

       Объединяя количественную  и качественную характеристики, суждения делятся на:

• общеутвердительные (А) - "Все S есть Р",
• частноутвердительные (I) - "Некоторые S есть Р",
• общеотрицательные (Е) - "Ни один S не есть Р",
• частноотрицательные (О) - "Некоторые S не есть Р"

       В Средние века были приняты эти буквенные обозначения  по первым гласным латинских слов affirmo - утверждаю и nego - отрицаю.

       Термин считается распределенным (обозначается"+"), если он взят в полном объеме. Термин считается нераспределенным (обозначается"-"), если он взят в части объема.