В отношения данного типа вступают общеутвердительные ( Все S есть P) и частноотрицательные (Некоторые S не есть P простые суждения, а также общеотрицательные ( Ни одно S не есть P) и частноутвердительные ( Некоторые S есть P) простые суждения. Графически данный тип отношений отображается на боковых диагоналях логического квадрата.
А Е
Для отношения противоречия характерны следующие
|
потиворечащее ему частное суждение ложно. Если же
общее суждение ложно, то противоречащее ему част-
ное суждение истинно, иных вариантов здесь не дано. I O
Схематически это можно представить следующим образом:
А (и) → O (л) Е (и) → I (л)
А (л) → O (и) Е (л) → I (и)
Рассмотрим на примерах
1. Пусть имеются два сужения "Все люди должны действовать в соответствии с нормами права" и "Некоторые люди не обязаны действовать в соответствии с нормами права". В данном случае истинным является общеутвердительное суждение, ложным частноотрицательное.
2. Пусть имеются два суждения "Все нормы права отражены в уголовном законодательстве" и "Некоторые нормы права не отражены в уголовном законодательстве". В данном случае истинным является частноотрицательное суждение, ложным общеутвердительное.
§5 Модальные суждения.
Всякое суждение, независимо от того является ли оно простым или сложным, содержит в основную и дополнительную информацию. Основная информация выражена в явной форме посредством субъекта, предиката, логической связки и кванторного слова. Суждения, содержащие только основную информацию, называются ассерторическими.
В ассерторических суждениях раскрывается взаимосвязь между субъектом и предикатом, констатируется отношение между объектами действительности, однако, характер взаимосвязи в суждениях такого типа не установлен (не раскрыт). В суждениях данного типа не ясно, является ли данная взаимосвязь необходимой или случайной, хорошо ли, что она существует или плохо, доказано ли её наличие или нет и т.д.
Характер взаимосвязи между субъектом и предикатом раскрывается в суждении с помощью дополнительной информации, которая называется модальность суждений. Модальность – это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, регулятивных, оценочных и других характеристиках. Суждения, содержащие наряду с основной дополнительную информацию, называются модальными.
Так, можно сказать: " Все школьники – это учащиеся", "Ни один человек не рождён быть преступником ", " Все адвокаты – это юристы ". В данном случае мы утверждаем взаимосвязь между субъектом и предикатом, то есть говорим о том, что для каждого из указанных объектов действительности характерно соответствующее свойство. Однако если мы скажем: " Известно, что все школьники – это учащиеся", "Доказано, что ни один человек не рождён быть преступником ", " Достоверно, что все адвокаты – это юристы ", то, в дополнение, раскроем закономерность установления взаимосвязи между субъектом и предикатом суждения. По сути, мы превращаем ассерторические суждения в модальные.
Дополнительная информация (модальность) вводится в суждения посредством определённых слов или словосочетаний – модальных операторов, составляющих дихотомическую пару: необходимость – случайность, обязанность – запрещение, доказательство – опровержение и др. В этой связи, общая схема модальных суждений принимает вид M(p), где М – модальный оператор, р – суждение.
Модальными могут быть простые суждения, общая структура которых имеет вид М (S есть P) или М (S не есть P), а также сложные суждения со структурой M (a^b),M (avb),M (a→b),M (a≡b).
В юридической деятельности особое значение имеют следующие виды модальности: эпистемическая, деонтическая и алетическая.