30. Виды и структура сложных суждений

Сложные суждения – состоят из нескольких простых суждений, соединенных логическими связками. 1. Соединительные (конъюнктивные) суждения – состоят из нескольких простых, связанных логической связкой «и» (р٨q), где p,q – конъюнкты: Кража и мошенничество относятся к умышленным преступлениям (а, но, а также, как и, одновременно). Может быть многосоставным: р٨q٨r٨…٨n. 2. Разделительные (дизъюнктивные) суждения – состоят из нескольких простых, связанных логической связкой «или» (р۷q), p,q – члены дизъюнкции. Многосоставное: р۷q۷r۷…۷n. 3. Условные (импликативные) суждения – состоят из нескольких простых, связанных логической связкой «если…, то…» (р→q), где р – антецедент (предшествующий) выполняет функцию фактического или логического основания, q – консеквент (последующий). Если предохранитель плавится (р), то электролампа гаснет (q) (там…, где; тогда…, когда…; постольку…, поскольку; при наличии…, следует…; в случае…, следует…; при условии…, наступает…). 4. Эквивалентные суждения (двойная импликация) – включают в качестве составных два суждения, связанных двойной (прямой и обратной) зависимостью, выражаемой логической связкой «если и только если…, то…» (двойная импликация: р↔q «Если и только если р, то q» или знаком эквивалентности р≡q) (лишь при условии что…, то…; в том и только в том случае когда…, тогда…; только тогда когда…, то…). Отношения между сложными суждениями Сравнимые – имеют общие пропозициональные переменные; Несравнимые – не имеют общих пропозициональных переменных. Отношение совместимости: (одновременно могут быть истинными) 1. Эквивалентные (º) – одновременно являются либо истинными, либо ложными: выражение конъюнкции через дизъюнкцию: ù (А Ù В) (º) ùА Ú ùВ; выражение дизъюнкции через конъюнкцию: ù (А Ú В) (º) ùА Ù ùВ (законы де Моргана); выражение импликации через конъюнкцию: ù (А ® В) (º) (А Ù ùВ); выражение импликации через дизъюнкцию: А ® В (º) ù А Ú В. 2. Частичная совместимость (Ú) (м.б. одновременно истинными, но не м.б. одновременно ложными). 3. Подчинение – (®) при истинности подчиняющего подчиненное всегда будет истинным; при ложности подчиняющего подчиненное принимает произвольные значения (истинно либо ложно). Отношения несовместимости (одновременно не могут быть истинными): 1. Противоположность – отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными. При ложности одного из противоположных суждений, другое может быть как истинным, так и ложным. 2. Противоречие – отношение между суждениями, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного, другое ложно.

К оглавлению

31. Условно-категорическое умозаключение. Его модусы и роль в познании.

Условно-категорическое умозаключение – одна из посылок – условное, а другая посылка и заключение – категорические суждения. Имеет два правильных модуса (согласуются с общими правилами силлогизма; заключение достоверно; утверждение основании ведет к утверждению следствия и отрицание следствия – к отрицанию основания): 1. Утверждающий модус (рассуждение от утверждения истинности основания к утверждению истинности следствия) – посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q); Иск предъявлен недееспособным лицом (р) (категорическое суждение) / Суд оставляет иск без рассмотрения (q). Признав истинность основания, признаем истинность следствия. Утверждающий модус дает достоверные выводы: p→q, р / q 2. Отрицающий модус (рассуждение от отрицания истинности следствия к отрицанию истинности основания) – посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания: Если иск предъявлен недееспособным лицом (р), то суд оставляет иск без рассмотрения (q); Суд не оставил иск без рассмотрения (не-q) (категорическое суждение) / Неверно, что иск предъявлен недееспособным лицом (не-р) (Иск предъявлен дееспособным лицом). p→q, ┐q / ┐р Два неправильных модуса (заключение не достоверно; отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания): 1. От отрицания истинности основания к отрицанию истинности следствия: p→q, ┐р / ┐q 2. От утверждения истинности следствия к утверждению истинности основания: p→q, q / р Основание и следствие большей посылки могут быть как утвердительными, так и отрицательными суждениями; если большая посылка – эквивалентное суждение (р≡q), то достоверные заключения получаются по всем четырем модусам: (выделяющее условное суждение) Если лицо, виновно в совершении преступления, то оно подлежит уголовной ответственности.

К оглавлению

32. Выделяющие и исключающие суждения

1. Выделяющие суждения – выражают тот факт, что признак, выраженный предикатом, принадлежит (или не принадлежит) только данному, и никакому другому, предмету: Единичное выделяющее суждение – Только Васькин является свидетелем происшествия (S, и только S, есть Р); субъект и предикат этого суждения имеют одинаковый объем. Частное выделяющее суждение – Некоторые города – столицы государств (Некоторые S, и только S, есть Р); предикат частного выделяющего суждения полностью входит в объем субъекта. В частных выделяющих суждениях уточняется объем предиката. Не следует путать с определенными частными суждениями, в кот отношение предиката к субъекту остается неопределенным. В частном выделяющем суждении определено отношение субъекта к предикату, но и предиката к субъекту: некоторые преступники, и только преступники, рецидивисты. Общее выделяющее суждение – Все преступления, и только преступления – предусмотренные законом общественно опасные деяния (Все S, и только S, есть Р); объемы субъекта и предиката общего выделяющего суждения полностью совпадают. 2. Исключающие суждения – суждение, в котором отражается принадлежность (или непринадлежность) признака все предметам, за исключением некоторой их части – Все студенты нашей группы, кроме Волкова, сдали экзамен по логике (Все S, кроме (за исключением, помимо, не считая) S1, суть Р).  Положения, выраженные в форме этих суждений, характеризуются точностью и определенностью, что исключает их неоднозначное понимание, используются в ряде научных положений, статей международных документов, законах.

К оглавлению

33. Эквивалентное суждение (двойная импликация), его строение и условия истинности.

Эквивалентные суждения (двойная импликация) – включают в качестве составных два суждения, связанных двойной (прямой и обратной) зависимостью, выражаемой логической связкой «если и только если…, то…» (двойная импликация: р↔q «Если и только если р, то q» или знаком эквивалентности р≡q) (в естественном языке выражается союзами лишь при условии что…, то…; в том и только в том случае когда…, тогда…; только тогда когда…, то…). Если и только если человек награжден орденами медалями (р), то он имеет право на ношение соответствующих орденских планок (q). Истинность утверждения о награждении (р) – необходимое и достаточное условие истинности утверждения о наличии права на ношение орденских планок (q) и наоборот.  Условия истинности эквивалентного суждения – истинно в тех случаях, когда оба суждения принимают одинаковые значения, являясь одновременно либо истинными, либо ложными. Истинность р достаточна для признания истинности q, и наоборот. Отношение м

К оглавлению