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

Разделительные (дизъюнктивные) суждения.

Разделительным, или дизъюнктивным, называют суждение, состоящее из нескольких простых, связанных логической связкой лили». Например, суждение «Договор купли-продажи может быть заключен в устной или письменной форме» является разделительным суждением, состоящим из двух простых. «Договор купли-продажи может быть заключен в устной форме»; «Договор купли-продажи может быть заклю­чен в письменной форме». Если первое обозначить р, а вто­рое —q, то разделительное суждение символически можно выразить как р v q, где р и q — члены дизъюнкции (дизъюнкты), v — символ дизъюнкции.

Разделительное суждение может быть как двух-, так и многосоставным:

р v q v... v n.

В языке разделительное суждение может быть выра­жено одной из трех логико-грамматических структур.

(1) Разделительная связка представлена в сложном субъекте по схеме: S₁ или S₂ есть Р Например, «Хищение в крупных размерах или совершенное группой лиц имеет повы­шенную общественную опасность».

(2) Разделительная связка представлена в сложном предикате по схеме:S есть P₁ или P₂. Например: «Хищение наказывается исправительными работами или тюремным за­ключением».

(3) Разделительная связка представлена сочетанием первых двух способов по схеме:S₁ или S₂ есть P₁ или P₂. Например: «Ссылка или высылка могут применятся в качестве основной или дополнительной санкции».

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

(1) нестрогую (слабую) дизъюнкцию и (2) строгую (сильную) дизъюнкцию

Полным илизакрытым дизъюнктивным суждением называют суждение, в котором перечисленывсе признаки иливсе виды определенного рода. Символически это сужде­ние можно записать следующим образом:<р v q v r>. Напри­мер: «Леса бывают лиственные, хвойные или смешанные». Полнота этого разделения (в символической записи обозна­чается знаком <... >) определяется тем, что не существует, помимо указанных, других видов лесов.

Неполным илиоткрытым дизъюнктивным суждени­ем называют суждение, в котором перечисленыне все приз­наки илине все виды определенного рода. В символической записи неполнота дизъюнкции может быть выражена много­точием: р v q v г v... В естественном языке неполнота дизъ­юнкции выражается словами: «и т. д.», «и другие», «и тому подобное», «иные» и другими.

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

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

Рис. 34.

Истинность импликации объясняется следующим обра­зом. В 1-й строке истинность р имплицирует истинностьq, или другими словами:истинность антецвндвнта достаточ­на для признания истинности консеквента. И действи­тельно, если предохранитель плавится, то электролампа обя­зательно гаснет в силу их последовательного включения в электрическую цепь.

В 3-й строке при ложном антецеденте — «Предохра­нитель не плавится» консеквент является истинным — «Электролампа гаснет». Ситуация вполне допустимая, ибо предохранитель может не плавиться, а электролампа может погаснуть в силу других причин — отсутствия тока в цепи, пе­регорания нити в лампе, замыкания электропроводки и т. д. Таким образом, истинность q при ложности р не опровергает идею о наличии условной зависимости между ними, поскольку при истинности р всегда будет истинным и q.

В 4-й строке при ложном антецеденте — «Предохранитель не плавится» ложным является и консек­вент — «Электролампа не гаснет». Эта ситуация не ставит под сомнение факт условной зависимостириq, ибо при ис­тинности р всегда будет истинным q.

В естественном языке в условных суждениях использу­ется не только союз«если..., то...», но и другие союзы: «там..., где»,«тогда..., когда...», «постольку..., посколь­ку...» и т. п. В форме условных суждений в языке могут быть представлены такие виды объективных связей, как причинные, функциональные, пространственные, временные, правовые, а также семантические, логические и другие зависимости. При­мером причинного суждения может служить следующее вы­сказывание: «Если воду нагреть при нормальном атмосферном давлении до 100°С, то она закипит». Пример семантической зависимости: «Если Мария жена, значит, она замужем».

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

«Тайное похищение государственного или общественного имущества (кража) — наказывается...» или «Заведомо ложный донос о совершении преступления — наказывается...» и т. п. Каждое из таких предписаний имеет импликативную форму — «Если совершено определенное противоправное деяние, то за ним следует правовая санкция».

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

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

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

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

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

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

Рис. 35.

В заключение приведем сводную таблицу условий ис­тинности сложных суждений (рис. 36).

Рис. 36.