Общая характеристика суждения. Простые суждения, их структура и виды

Лекция 5. Суждение

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

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

Различают простые и сложные суждения. Полная структура простого суждения включает четыре элемента: два термина суждения - субъект (S) - понятие, отражающее сам предмет мысли, то, о чем что-то говорится, и предикат (P) - понятие, отражающее то, что именно говорится о предмете (его свойство или соотношение с другими объектами); связку (в языковой форме выражается словами “есть \ не есть”, “суть \ не суть”, “является\ не является” и т. п., либо вообще только подразумевается),отражающую наличие \ отсутствие определенной связи субъекта и предиката; квантор (всеобщности (") - “все”, “каждый”, “ни один... не” (“все... не”) и т. п.; существования ($) - “некоторые”, “многие”, “часть” и т. п.; единственности существования ($!) - “этот”, “данный” и т. п.), отражающий количественную характеристику суждения. Символически структура простого суждения выражается формулой: (К) S - P, где < К> - некоторый квантор, а < - > - связка. Если квантор отсутствует в явном виде, то суждение формально неопределенно по количеству, хотя эту характеристику обычно можно установить по смыслу. В суждениях существования отсутствует предикат, хотя формально таковым можно считать связку или квантор существования, отражающие “свойство существовать”, например, “Бог есть” ($! S), “Существуют жидкие в обычных условиях металлы” ($ S). Сложное суждение - это суждение, имеющее в своем составе более одного субъекта или предиката. Его можно рассматривать как утверждение определенных логических связей (выражаемых логическими союзами) между входящими в его состав простыми суждениями.

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

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

Исключающим называется суждение, в котором отражается принад-лежность (или непринадлежность) признака всем предметам, за исключением некоторой их части. Исключающие суждения выражаются предложениями со словами “кроме”, “за исключением”, “помимо”, “не считая” и т.п. Очевидно, что по своей форме исключающее суждение является общим, поскольку должен быть указан весь объем субъекта, из которого происходит исключение: “Не считая трех воздержавшихся, все участники собрания проголосовали за это предложение”.

Значение выделяющих и исключающих суждений состоит в том, что содержащиеся в них мысли не допускают их неоднозначного понимания. Именно поэтому ряд научных положений, а также законов государства, статей Конституции, уголовно-процессуального и других кодексов выражен в этой логической форме.

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

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

§ 2. Простые категорические суждения и их классификация. Отношения между суждениями

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

Фундаментальное значение в этом рассмотрении, а также в теории непосредственных умозаключений и простого категорического силлогизма имеют классификация простых категорических суждений по качественно-количественному признаку на общеутвердительные (тип A) - “Все S есть P ”, частноутвердитель- ные (тип I) - “Некоторые S есть P ”, общеотрицательные (тип E) -“Ни один S не есть P ” и частноотрицательные (тип O) - “Некоторые S не есть P ”, а также соотношение субъекта и предиката в этих типах суждений и, соответственно, распределенность терминов (термин распределен, если он затрагивается суждением в полном объеме). Последнее хорошо иллюстрируют круговые диаграммы соотношений S и P в этих типах суждений:

Дата добавления: 2015-06-27