Суждение — представляет собой соединение субъекта с предикатом. Мысль, которая утверждает или отрицает наличие в мире определённой ситуации.
Классификация по качеству
утвердительные - S есть P «Люди пристрастны к самим себе»
отрицательные - S не есть P «Люди не поддаются лести»
Общая классификация:
общеутвердительные (A) — одновременно общие и утвердительные («Все S+ суть P-») (Все люди боятся смерти)
частноутвердительное (I) — частное и утвердительное («Некоторые S- суть P-») (Некоторые люди имеют черный цвет кожи)
общеотрицательное (E) — общее и отрицательные («Ни один S+ не суть P+») (Ни один человек не всеведущ)
частноотрицательное (O) — частное и отрицательное («Некоторые S- не суть P+») (Некоторые люди не имеют черного цвета кожи)
Классификация по количеству
общие - это с., кот. справедливы относит-но всего объема понятия. (Все растения живут) Все S суть P
частные - это с, кот. справедливы относительно части объема понятия. «Некоторые растения суть хвойные» Некоторые S суть P
а) Единичные с. – «Гуттенберг – изобретатель книгопечатания»
б) Индивидуальные с. – относятся ко всему объему понятия
В атрибутивном с. выделяются термины с. — субъект S (логическое подлежащее) и предикат P (логическое сказуемое), а также связка (иногда только подразумевается), кванторное слово («некоторые», «все» и т. п.).
Основные виды сложных суждений и их истинность.
Сложным наз. сужд., сост. из нескольких простых сужд., связ. лог. связ., ист. сл. сужд. опред. ист. простых.
Основные виды сложных суждений: конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание.
1.) соеденительные (коньюктивные)- с. сост. из нескольких простых. сужд. (коньюнктов) связан. связ. «и»: а, но, а также, как и, хотя, однако и др..
Истинно при истинности все сост. его коньюнктов и ложно при лож. хотя бы одного коньюнкта.
2.) разделительные (дизьюнкт.)- сужд., сост. из нескольких прост. сужд. (дизьюнктов), связ-х лог. связкой «или»: или, либо, или-или, либо-либо.
Истинно при ист. одного и лож. другого, ложно при ист./лож. обоих дизьюнктов.
3.) условные (импликат.)- наз. сужд., сост. из двух прост сужд., связ-х лог. связкой «если…, то…»: там, где; тогда, когда; постольку, поскольку.
Истинно во всех случаях, кроме ист. предшеств. и лож. послед.
4.) эквивалентные (двойная импликация)- сужд. включ. в кач. сост. два прост. сужд., связ двойной (прямой и обратной) условной завис.,выраж. лог. связ. «если, и только если…, то…»: лишь при условие что…, то…; в то и только том случае когда…, тогда…; тогда и только тогда…, когда….
Истинность одного достаточна для признания ист. другого, отнош. между ними характ. как необходимое.
Логические отношения между простыми суждениями.
Отношения между простыми с. обычно изображают с помощью схемы - логического квадрата. Логический квадрат (квадрат противоположностей) - это диаграмма, служащая для мнемонического запоминания логических отношений между видами суждений по объединенной классификации.
Вершины квадрата обозначают вид с. по объединенной классификации А, Е, 0, I. Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность (контрарность);
нижняя сторона - отношение между I и O - частичная совместимость(субконтрарность);
две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение;
диагонали - отношения между А и О, Е и I- противоречие(контрадикторность).
Где А-общеутвердительные с. I-частноутвердительные с.
Е- общеотрицательные с., О-частноотрицательное с.