1. Общая логическая характеристика суждения. Структура суждения.
2. Виды простых суждений. Модальное суждение и простое категорическое суждение.
3. Деление суждений по количеству и качеству. Объединенная классификация простых категорических суждений.
Суждение - это форма мысли, в которой что-либо утверждается или отрицается о классе, некоторой его части или отдельном предмете. Суждение образуется из понятий. Если то, о чём говорится в суждении, соответсвует действительному положению вещей, то суждение является истинным. В противном случае суждение ложно. Традиционная логика называется двузначной, потому что в ней присутствуют два значения истинности суждений. В трёхзначных логиках суждение может быть либо истинным, либо ложным, либо неопределенным. Многие суждения о будущем являются неопределёнными, так как не могут быть сопосталены с действительностью, которая ещё не существует.
Суждения бывают простыми и сложными. Простые суждения состоят из двух соотнесённых понятий («Шоколад вкусный»). Сложные суждения строятся из трёх или более понятий («Шоколад и мёд вкусные»).
Суждения выражаются в языке повествовательными предложениями, исключение составляют односоставные предложения, – они не являются суждениями. Вопросительные предложения также не являются суждениями, исключение составляют риторические вопросы. Побудительные высказывания, как правило, не анализируются как суждения, хотя иногда их можно рассматривать как модальные суждения («Берегите лес!» - «Лес необходимо сберечь для будущего»).
Простые суждения различны по своей структуре. Один из самых распространённых видов простого суждения – это атрибутивное суждение (суждение свойства).В атрибутивном суждении утверждается или отрицаетсяпринадлежность предмету некоторого свойства. Такое суждение состоит из четырёх элементов: субъекта, предиката, связки и квантора. Субъект простого суждения (логическое подлежащее) – это понятие, выражающее предмет суждения. Субъект обозначается обычно буквой S. Предикат суждения (логическое сказуемое) – это понятие о признаке предмета. Предикат обозначается буквой Р. Вместе субъект и предикат называются терминами суждения.
Связка фиксирует отношение субъекта и предиката и может быть выражена глаголами «есть», «суть» («не есть»,»не суть»), «является» ( «не является»). Часто связка выражается простым согласованием слов в предложении. Квантор – это слово, стоящее перед субъектом и указывающее, относится ли суждение ко всему объёму понятия, выражающего субъект, или к его части. Кванторами обычно бывают слова: «все», «каждый», «любой», «ни один», «некоторый», «большинство», «меньшинство». Например, в суждении «некоторые птицы являются хищными» - субъект – это «птица», предикат –«хищник», связка – «являются», квантор – «некоторые». Исходя из всего выше сказанного, формулу атрибутивного (ассерторического) суждения можно представить следующим образом: Все (некоторые) S есть (не есть)Р.
Ещё один часто встречающийся вид простого суждения – суждение с отношениями (релятивное суждение). В этом суждении фиксируется отношение между двумя объектами. Например: «Отцы старше своих детей». Формула этого вида: aRb, где R – символ отношения.
Суждение существования (экзистенциальное суждение) утверждает или отрицает существование чего-либо. Например: «Беспричинных явлений не существует». И суждения с отношениями, и суждения существования могут быть приведены к аналитической форме, т.е. к формуле атрибутивного суждения.
Особое место среди простых суждений занимают модальные суждения. Модальное суждение (суждение оценки) не только фиксирует отношение между субъектом и предикатом, но и оценивает его с определенных позиций. В состав этого суждения включается модальный оператор (модальное понятие, категория модальности). Модальными операторами часто выступают слова: «доказано», «опровергнуто», «возможно», «невозможно», «случайно», «необходимо» и т.п. Модальные суждения бывают как простыми, так и сложными. Простое модальное суждение может быть выражено формулой: М( S естьР) или М( S не есть Р). Например: «Возможно, на Марсе есть жизнь» или «Возможно на Марсе нет жизни». Модальные суждения рассматриваются в специальном направлении современной логики – в модальной логике.
Все простые суждения, не относящиеся к разряду модальных, объединяют в класс простых категорических суждений. По качеству связки все простые категорические суждения делятся на утвердительные и отрицательные. В зависимости от того, обо всём ли классе предметов, о части этого класса или об одном предмете идёт речь в субъекте, суждения делятся на общие, частные и единичные. Это деление суждений называется делением по количеству. Суждение, в котором присутствует или предполагается квантор общности («все», «каждый», «любой», «ни один»), является общим суждением. Суждение, в котором присутствует квантор существования («некоторый») является частным.Частные суждения делятся на определенные и неопределенные. Единичное суждение – это суждение субъект которого является единичным понятием.
В каждом суждении имеется количественная и качественная характеристики. Поэтому в логике применяется объединённая классификация суждений по количеству и качеству, на основе которой выделяются следующие четыре типа суждений:
1. А- общеутвердительное суждения. Структура его: «Все S есть Р». Его формула может быть записана и так: «SaP». Например: «Все студенты сдают экзамены».
2. I – частноутвердительное суждение. «Некоторые S есть Р», «SiP». Пример: «Некоторые студенты отличники».
3. Е – общеотрицательное суждение. «Ни одно S не есть Р», «SeP». «Ни один младенец не космонавт».
4. О – частноотрицательное суждение. «Некоторые S не есть Р», «SoP». «Некоторые студенты не первокурсники»
