Логика: Шпаргалка
Шрифт:
1. Выражение конъюнкции через дизъюнкцию: (А 6) А В.
2. Выражение дизъюнкции через конъюнкцию: (А В) А В.
3. Выражение импликации через конъюнкцию: А -> В (А В)].
4. Выражение импликации через дизъюнкцию: А -> В А В].
2. Частичная совместимость характерна для
3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.
31. МОДАЛЬНОСТЬ СУЖДЕНИЙ. ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ
Суждение как форма мышления содержит двоякого рода информацию – основную и дополнительную. Основная информация находит явное выражение в субъекте и предикате суждения, в логической связке и кванторах. Дополнительная информация относится к характеристике логического или фактического статуса суждения, к оценочным и другим его характеристикам. Такая информация называется модальностью суждения. Она может быть выражена отдельными словами, а может и не иметь явного выражения. В этом случае ее выявляют анализом контекста.
Модальность – это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках.
Эпистемическая (от греч. эпистема – высший тип достоверного знания) модальность – это выраженная в суждении информация об основаниях его принятия и степени обоснованности. К таким основаниям относится вера и знание.
По эпистемическому статусу вера – это стихийное, некритическое принятие чужих мнений, истинных или ложных, прогрессивных или реакционных
Знание как логическое обоснование – это принятие суждения как истинного или ложного в силу его обоснованности другими суждениями, из которых принимаемое суждение логически вытекает как следствие.
По степени обоснованности среди знаний различают два непересекающихся класса суждений: достоверные и проблематичные.
1. Достоверные суждения – это достаточно обоснованные истинные или ложные суждения.
Их истинность или ложность устанавливается либо путем непосредственной проверки, либо опосредованно, когда суждение подтверждается эмпирическими или теоретическими положениями.
Достоверность относится к такой модальной характеристике суждения, которая, подобно понятиям истины и лжи, не изменяется по степеням. О двух высказываниях нельзя сказать, что одно из них «более достоверно», чем другое. В случае достаточной обоснованности суждения его считают доказанным, тем самым достоверным, т. е. истинным или
2. Проблематичные суждения – это суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности. Поскольку истинность или ложность таких суждений точно не установлена, то они лишь претендуют быть таковыми. Отсюда и названия их: проблематичные, правдоподобные или вероятные.
В естественном языке показателями проблематичности суждения обычно служат вводные слова: по-видимому, вероятно, представляется, возможно, можно предположить и др.
В судебном исследовании в форме проблематичных суждений строятся версии (гипотезы) об обстоятельствах расследуемых дел. Будучи обоснованными, правдоподобные суждения направляют расследование по правильному руслу и способствуют установлению по каждому делу достоверных результатов.
Обоснованность проблематичных суждений может быть представлена в терминах теории вероятности.
Логическая вероятность суждения в этом случае означает степень его обоснованности.
32. ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ
Деонтическая (от греч. – обязанность) модальность – это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям.
Среди предписаний следует выделить нормативные предписания, включающие и нормы права.
Среди норм права различают: 1) правообязывающие, 2) правозапрещающие и 3) правопредоставляющие.
1. Правообязывающие нормы формулируют с помощью слов: обязан, должен, надлежит, признается и др. Так, одно из процессуальных требований гласит: «Предварительное следствие по уголовным делам должно быть закончено не позднее чем в двухмесячный срок». Пример из гражданского права: «Организация обязана возместить вред, причиненный по вине ее работников при исполнении ими своих трудовых (служебных) обязанностей».
Грамматически правообязывание может быть выражено и в форме констатации, напр.: «Прокурор осуществляет надзор за законностью возбуждения уголовного дела». В данном случае имеется в виду обязанность прокурора осуществлять надзор. Точно так же: «Приговор выносится именем РФ» – следует понимать как долженствование и обязанность, а не как констатацию факта.
2. Правозапрещающие нормы формулируют с помощью слов: запрещается, не вправе, не может, не допускается и др. Напр.: «Запрещается домогаться показаний обвиняемого путем насилия, угроз и иных незаконных мер». Уголовное судопроизводство предусматривает: «Никто не может быть подвергнут аресту иначе, как по постановлению суда или санкции прокурора». 3. Правопредоставляющие нормы формулируют с помощью слов: имеет право, может иметь, может применять и др.