Суждение

Суждение –

• мысль, в кот. утверждается (отрицается):

• существование предмета

• связь между предметом и его свойствами

• наличие определенных отношений между предметами

• выражается при помощи повествов. предложений или риторических вопр. Вопр. и побудительные предложения суждений не выражают.

• Важнейшая логическая характеристика - истинностное значение.

Виды суждения
в зависим. от истинности значения: истинные ложные	простые - содержат 1 утверждение \ отрицание сложные - несколько утверждений \ отрицаний	►атрибутивные ►суждения с отношениями ►суждения существования (экзистенциальные)

Состав простых атрибутивных суждений:

Субъект (S) – понятие о предмете суждения.

Предикат (Р) – то, что утверждается или отрицается о предмете суждения. *Субъект и предикат - термины суждения.

Связка соединяет субъект и предикат; указывает, свойственно\не свойственно предмету суждения содержание, мыслимое в предикате:

►’’есть’’ (утвердительная) ►’’не есть’’ (отрицательная)

Кванторные слова - указывают, относится ли предикат ко всему V субъекта, или только к его части

• ’’все’’ (’’каждый’’, ’’любой’’, ’’ни один’’, ’’всякий’’...) - выражают квантор общности

• ’’некоторые’’ (’’отдельные’’, ’’многие’’, ’’большинство’’, ’’встречаются’’, ’’существуют’’..) – выр. квантор существования

Суждения (по качеству)		Суждения (по количеству)
утвердительные	отрицательные	общие	частные	единичные
говорится о принадлежности субъекту суждения признака, выраженного предикатом ’’S есть Р’’	говорится об отсутствии у субъекта признака, выраженного предикатом ’’S не есть Р’’	суждения, в которых что-то утверждается или отрицается обо всем V субъекта ’’Все S есть (не есть) Р’	что-то утверждается или отрицается о некоторой части V субъекта ’’Некоторые S есть (не есть) Р’’	речь идет о принадлежности или непринадлежности признака одному предмету ’’Это S есть (не есть) Р’’

Суждения (учитываются качественные и количественные характеристики)
общеутвердительные (А;SаР)	частноутвердительные (I;SiР)	общеотрицательные (Е;SеР)	частноотрицательные (О;SоР)
общие по количеству и утвердительные по качеству	частные по количеству и утвердительные по качеству	общие по количеству и отрицательные по качеству	частные по количеству и отрицательные по качеству
’’Все S есть Р’’	’’Некоторые S есть Р’’	’’Ни одно S не есть Р’’	’’Некоторые S не есть Р’’

Здесь не представлены отдельно единичные суждения, кот. приравниваются к общим суждениям, т.к. и те, и др. высказываются обо всем V субъекта.

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

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

Распределенный термин - его V полностью входит в V др. термина или полностью исключается из него, т.е. в суждении идет речь о всех предметах, охватываемых этим термином.

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

Отношения между суждениями по истинности.

Сравнимые суждения - имеющие одни и те же термины и различающиеся по качеству или количеству

Между простыми сравнимыми суждениями возможны различные отношения, в кот. фиксируется определенная зависимость истинностного значения 1 суждения от истинностного значения др. суждения.

Отношения:

совместимости

несовместимости

►эквивалентность (равносильность) - суждения всегда принимают одинаковые логические значения ’’Автор романа ’’Война и мир’’ родился в 1928 году’’, ’’Л.Н. Толстой родился в 1928 году’’. ’’Все врачи имеют мед. образование’’ = ’’Неверно, что некоторые врачи не имеют мед. образования’’ ►подчинение из истинности подчиняющего суждения следует с необходимостью истинность подчиненного; из ложности подчиненного вытекает ложность подчиняющего; из истинности подчиненного не следует истинность подчиняющего; из ложности подчиняющего не следует ложность подчиненного. ►частичное совпадение (субконтрарность) - оба этих суждения могут быть одновременно истинными, но не могут быть одновременно ложными Если одно из них ложно, то другое непременно истинное. Если же одно из этих суждений истинно, то на этом основании определить значение другого суждения нельзя. Оно может оказаться как истинным, так и ложным.

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

.

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

Важнейшие логические союзы:

• ’’и’’ – соединительный союз (конъюнкция); p^q

такое объединение простых суждений, которое предполагает одновременную истинность каждого из них

• ’’или’’ – соединительно-разделительный союз (нестрогая дизъюнкция); pVq – р или q

Истинна, если истинным будет хотя бы 1 простое суждение в ее составе.

• ’либо…, либо’’ – исключающе-разделительный союз (строгая дизъюнкция); pVq - либо р, либо q

Истинно тогда, когда истинно только одно простое суждение в составе.

• ’’если…, то’’ – условный союз (импликация); pq - если р, то q)

утверждается, что наличие одной ситуации (основания) обуславливает наличие другой (следствия)

1я часть - основание, а др. часть – следствие

ложно тогда и только тогда, когда р истинно, а q – ложно.

поменять местами основание и следствие нельзя

• ’’если и только если…, то’’ – равносильность (эквиваленция); pq - ’’р тогда и только тогда, когда q’’;

взаимная обусловленность двух ситуаций

истинно тогда и только тогда, когда логические значения р и q совпадают

стирается четкая грань, разделяющая основание и следствие

((pq) (qp))

истинно только тогда, когда логические значения простых суждений в ее составе совпадают.

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

Смысл логических союзов наиболее четко выражают так называемые таблицы истинности.

’’1’’ - истинность суждения, ’’0’’ – ложность.

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

. p	q	p^q	pvq	pVq	p=>q	p<=>q
1	1	1	1	0	1	1
1	0	0	1	1	0	0
0	1	0	1	1	1	0
0	0	0	0	0	1	1

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