30. Логические отношения между сложными суждениями

Сложные суждения могут быть сравнимыми и несравнимыми.

Несравнимые – это суждения, которые не имеют общих пропорциональных переменных. Напр.,

р ∧ q и m ∧ n.

Сравнимые – это суждения, которые имеют одинаковые пропозиционные переменные (составляющие) и различаются логическими связками, включая отрицание. Напр., сравнимыми являются следующие два суждения: «Норвегия или Швеция имеют выход в Балтийское море» (р ∨ q); «Ни Норвегия, ни Швеция не имеют выхода в Балтийское море» (⌉ р ∧ ⌉q).

Сложные сравнимые суждения могут быть совместимыми и несовместимыми.

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

1. Эквивалентные – это суждения, которые принимают одни и те значения, т. е. одновременно являются либо истинными, либо ложными.

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

1. Выражение конъюнкции через дизъюнкцию: ⌉(А ∧ 6) ≡ ⌉А ∨ ⌉В.

2. Выражение дизъюнкции через конъюнкцию: ⌉(А ∨ В) ≡ ⌉А ∧ ⌉В.

3. Выражение импликации через конъюнкцию: А → В ≡ (А ∧ ⌉В)].

4. Выражение импликации через дизъюнкцию: А → В ≡ ⌉А ∨ В].

2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.

31. МОДАЛЬНОСТЬ СУЖДЕНИЙ. ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ

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

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

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

По эпистемическому статусу вера – это стихийное, некритическое принятие чужих мнений, истинных или ложных, прогрессивных или реакционных

Знание как логическое обоснование – это принятие суждения как истинного или ложного в силу его обоснованности другими суждениями, из которых принимаемое суждение логически вытекает как следствие.

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

1. Достоверные суждения – это достаточно обоснованные истинные или ложные суждения.

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

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

2. Проблематичные суждения – это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности. Поскольку истинность или ложность таких суждений точно не установлена, то они лишь претендуют быть таковыми. Отсюда и названия их: проблематичные, правдоподобные или вероятные.

В естественном языке показателями проблематичности суждения обычно служат вводные слова: по-видимому, вероятно, представляется, возможно, можно предположить и др.

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

Обоснованность проблематичных суждений может быть представлена в терминах теории вероятности.

Логическая вероятность суждения в этом случае означает степень его обоснованности.

32. ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ

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

Среди предписаний следует выделить нормативные предписания, включающие и нормы права.

Среди норм права различают: 1) правообязывающие, 2) правозапрещающие и 3) правопредоставляющие.

1. Правообязывающие нормы формулируют с помощью слов: обязан, должен, надлежит, признается и др. Так, одно из процессуальных требований гласит: «Предварительное следствие по уголовным делам должно быть закончено не позднее чем в двухмесячный срок». Пример из гражданского права: «Организация обязана возместить вред, причиненный по вине ее работников при исполнении ими своих трудовых (служебных) обязанностей».

Грамматически правообязывание может быть выражено и в форме констатации, напр.: «Прокурор осуществляет надзор за законностью возбуждения уголовного дела». В данном случае имеется в виду обязанность прокурора осуществлять надзор. Точно так же: «Приговор выносится именем РФ» – следует понимать как долженствование и обязанность, а не как констатацию факта.

2. Правозапрещающие нормы формулируют с помощью слов: запрещается, не вправе, не может, не допускается и др. Напр.: «Запрещается домогаться показаний обвиняемого путем насилия, угроз и иных незаконных мер». Уголовное судопроизводство предусматривает: «Никто не может быть подвергнут аресту иначе, как по постановлению суда или санкции прокурора». 3.Правопредоставляющие нормы формулируют с помощью слов: имеет право, может иметь, может применять и др.

Напр.: «Наниматель жилого помещения имеет право в любое время расторгнуть договор». Другая норма гласит: «Лицо, сдавшее вещи на хранение, вправе в любое время потребовать их обратно». Уголовно-правовая норма предписывает: «В качестве понятых могут быть вызваны любые не заинтересованные в деле граждане» и т. п.

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

Рационально построенная нормативно-правовая система должна удовлетворять минимальным модальным деонтическим требованиям: 1) непротиворечивости; 2) сбалансированности; 3) полноты.