Условные (импликативные) суждения и условия их истинности

Условным, или импликативным, называют суждение, состоя­щее из двух простых, связанных логической связкой «если.., то...». Например: «Если предохранитель плавится, то электролампа гас­нет». Первое суждение — «Предохранитель плавится» называют ан­тецедентом (предшествующим), второе — «Электролампа гас­нет» — консеквентом (последующим). Если антецедент обозначить р, консеквент — q, а связку «если..., то...» знаком «®», то импликативное суждение символически можно выразить как p ® q.

Условия истинности импликативного суждения показаны в таб­лице. Импликация истинна во всех случаях, кроме одного: при истинности антецедента и ложности консеквента импликация всегда будет ложной. Сочетание истинного антецедента, например «Предохранитель плавится», и ложного консеквента — «Электролампа не гаснет» — являет­ся показателем ложности имплика­ции.

 

 

Эквивалентные суждения и условия их истинности.

 

Двойная импликация или эквиваленция

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

Например: «Если и только если человек награжден орденами и медалями (а), то он имеет право на ношение соответствующих орденских планок (в)».

Логическая характеристика этого суждения состоит в том, что истинность утверждения о награждении (а) рассматривается как необходимое и достаточное условие истинности утверждения о наличии права на ношение орденских планок (в). Точно так же истинность утверждения о наличии права на ношение орденских планок (в) является необходимым и достаточным условием истинности утверждения о том, что данное лицо награждено соответствующими орденом или медалью (а).

Используется союз если и только если…, то … (тогда и только тогда, когда …).

Например: «Если студент сдал все зачеты и экзамены, то может быть переведен на следующий курс».

Эквиваленция обозначается знаком «↔».

Схема: «а ↔ в». Читается: «если, и только если А, то В».

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

Разница между импликацией и эквиваленцией

Условия истинности двойной импликации (эквиваленции)

Суждение «а»	Суждение «в»	«а ↔ в»
истинно	истинно	истинно
истинно	ложно	ложно
ложно	истинно	ложно
ложно	ложно	истинно

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

Правило истинности эквиваленции:

• эквиваленция (двойная импликация) истинна только при одинаковом значении членов.

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

Например: «Не приносит осенью плодов то дерево, что не цвело весной».

В приведенном примере нет ни одного из логических союзов, поэтому необходимо изменить суждение: «Если дерево не цвело весной, то не принесет плодов осенью». Это условное суждение – импликация.

 

 

 

Модальные суждения.

Суждение как форма мышления содержит двоякого рода информацию:

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

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

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

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

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

В общем виде модальность какого-либо суждения (р) может быть представлена с помощью оператора М по схеме Мр, например: «Необходимо р».

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