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

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

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

Условное суждение ложно только в одном случае: когда основание истинно, а следствие ложно.

Таблица истинности условных суждений

р	q	p->q
и	И	И
и	л	Л
л	и	И
л	л	И

Зависимость между антецедентом-основанием и консеквентом-следствием характеризуется свойством достаточности.

Это означает, что истинность основания обусловливает истинность следствия, т.е. при истинности основания следствие всегда будет истинным (см. 1-я строка в таблице). При этом основание не характеризуется свойством необходимости для следствия, ибо при его ложности следствие может быть как истинным, так и ложным (см. 3-я и 4-я строки в таблице).

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

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

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

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

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

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

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

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

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

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

Условия истинности эквивалентного суждения.

р	q	P ≡ q
и	И	И
и	Л	Л
л	И	Л
л	Л	И

Суждение р ≡ q истинно в тех случаях, когда оба суждения принимают одинаковые значения, являясь одновременно либо истинными (1-я строка), либо ложными (4-я строка). Это значит, что истинность р достаточна для признания истинным q, и наоборот. Отношение между ними характеризуется и как необходимое: ложность р служит показателем ложности q, а ложность q указывает на ложность р.

Суждение р = q истинно в тех случаях, когда оба суждения принимают одинаковые значения, являясь одновременно либо истинными (1-я строка), либо ложными (4-я строка). Это значит, что истинность р достаточна для признания истинным q, и наоборот. Отношение между ними характеризуется и как необходимое: ложность р служит показателем ложности q, а ложность q указывает на ложность р.

Взаимосвязь логических союзов

A равносильно А

(А Λ В) равносильно (А V В)

(А ν В) равносильно (А ΛВ)

(А®В) равносильно ( Аν В)

(А®В) равносильно (А ΛВ)

(А®В) равносильно (А ΛВ)

(А®В) равносильно (В®А)

(А≡В) равносильно [(А→В) Λ (А →В)]

Модальность суждений

1. Алетической модальностью обладают все без исключения суждения. При этом алетическая модальность представляется с двух сторон: фактической и логической.

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

• суждения о действительности (ассерторические);

• суждения о возможности (проблематические) и

• суждения о необходимости (аподиктические).

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

• достоверные и

• вероятные суждения.

Вероятные и достоверные суждения могут быть о действительности, возможности и необходимости. Суждение «Развитие человеческого общества может происходить только в соответствии с законами» является суждением о необходимости и достоверное, его формула: «Достоверно, что все S, необходимо, есть Р».

Установите вид модальности следующих суждений:

А) Похоже, этот свидетель говорит правду.

Б) Сергей Есенин родился в селе Константиново.

В) Каждый человек имеет право на гражданство.

Г) В общественном транспорте запрещается провоз легковоспламеняющихся веществ.

Д) Движения Бианко были изящными.

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

суждения о знаниях. Для характеристики знания используют модальные слова «доказуемо», «неразрешимо», «опро-вержимо» и т.п.,

суждения о мнениях. При выражении мнений – модальные слова «полагаемо», «сомнительно», «отвергаемо», «допустимо» и т.п.

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

5. Распространены суждения, относящиеся к аксиологической модальности (от греч. – ценность). Аксиологические суждения делят на две категории:

суждения, выражающие абсолютную оценку (хорошо, безразлично, плохо), и

суждения, выражающие относительную оценку (лучше, равноценно, хуже).