6. Суждение. Простые суждения: атрибутивные и суждения об отношениях.

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

Примеры суждений: «Луна светит отраженным светом», «некоторые люди думают, что они живут, а на самом деле им это только кажется».

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

Атрибутивные суждения - суждения, в которых выражается принадлежность предметам некоторых свойств или отсутствие у предметов каких-либо свойств. Атрибутивные суждения можно истолковать как суждения о полном или частном включении или невключении одного множества предметов в другое или как суждение о принадлежности или непринадлежности предмета классу предметов. Примеры: «Все дельфины являются китами». В этом суждении говорится, что множество дельфинов включается в класс китов.

Суждение об отношениях - суждения.в которых говорится о том, что определенные отношения имеют/не имеют место между элементами пар, троек и т.д. предметов. Например: «Москва больше Рязани».

В каждом суждении есть:

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

2) Предмет сказуемое – термин, указывающий на то, что говориться о примете мысли.

3) Связка – термин, указывающий на наличие или отсутствие свойств или отношения. Связка всегда есть, но не всегда явно отражена.

Связка может быть: 1) утвердительной, 2) отрицательной.

4) Кванторы – термины, дающие количественную квалификацию. Квантор общности – Утверждение относится к каждому предмету класса. «каждый», «всякий», «любой», «все», «ни один».

Суждения делятся на виды «по качеству» и по «количеству»:

По качеству: Утвердительные, Отрицательные.

По количеству:

Единичное (принадлежность/непринадлежность предмета классу предметов, например: «Австрия - европейская страна»)

Частое (в них выражается частичное включение/невключение класса предметов в класс предметов например: Некоторые философы являются ораторами»)

Общее (включение/невключение класса предметов в класс, пример: «Ни одна звезда не является обитаемой»).

7. Сложные суждения.

Суждение сложные (содержат другие суждения).

Виды сложных суждений (высказываний):

1) Суждение с внесенным отрицанием (в нем утверждается отсутствие некоторой ситуации, выражается предложение, начинающимся на «неверно что»).

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

2. Соединительные (коньюктивные). Из двух суждений А и В при помощи логической связи коньюкция «&»(утверждаются одновременно две ситуации часто с союзом «и» Понятые присутствуют, и протокол составляется)

Выражает мысль о наличие двух ситуаций.

3) Разделительные. Дизъюктивные (суждение, в котором утверждается наличие одной из двух ситуаций).

v (или, либо)

4) Строго дизъюктивные (наличие ровно одной ситуации).

Выражает мысль равно по одной ситуации из двух.

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

6) Импликативные (условные)(в них утверждается, что наличие одной ситуации обусловливает наличие другой «если….,то..).