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

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

Условия истинности импликативного суждения показаны в таблице (рис. 34). Импликация истинна во всех случаях, кроме одного: при истинности антецедента и ложности консеквента (2-я строка)

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

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

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

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

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

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

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

Для более строгого определения условного суждения следует охарактеризовать необходимые и достаточные условия для события, действия и т.д. Условие называется необходимым для данного события (ситуации, действия и т.д.), если при его отсутствии это событие не происходит. Например: наличие атмосферы является необходимым условием для возникновения на Земле существующих видов высокоорганизованных животных, так как в случае отсутствия атмосферы эти виды не могли бы возникнуть. Условие называется достаточным для данного события, если всякий раз, когда имеется это условие, событие происходит. Например: выпадение дождя является достаточным условием для того, чтобы крыши домов были мокрыми.

Условия могут быть “достаточными, но не необходимыми”, “необходимыми, но не достаточными”, “необходимыми и достаточными”. Например: делимость числа N на 2 и 3 является необходимым и достаточным условием его делимости на 6, делимость числа N на 2 является необходимым, но не достаточным условием его делимости на 6, делимость числа N на 10 является достаточным, но не необходимым условием его делимости на 2.

Парадоксы импликации. Оно обладает следующими особенностями:

Если B истинно, то истинность всего условного утверждения уже не зависит от истинности A. То есть, истинное утверждение может быть обосновано с помощью любого утверждения. Пример: утверждение «Если дважды два равно пяти, то снег бел» является истинным.

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

Если А является противоречивым (сложным) утверждением, то истинность всего условного утверждения уже не зависит от истинности В. То есть, из противоречивого утверждения можно вывести все, что угодно. Пример: утверждение «Если дважды два равно четырем и дважды два не равно четырем, то Луна сделана из зеленого сыра» является истинным.

Если В является тавтологией (то есть утверждением, истинным при любом содержании; такие утверждения выражают логические законы), то истинность всего условного утверждения уже не зависит от истинности А. То есть логические законы следуют из любых утверждений. Пример: утверждение «Если снег бел, то дважды два равно четырем или дважды два не равно четырем» является истинным.

Эта особенность материальной импликации является прямым следствием двух основных допущений классической логики:

1) всякое утверждение либо истинно, либо ложно, а третьего не дано:
2) истинностное значение сложного утверждения зависит только от истинностных значений входящих в него простых утверждений, а также от характера связи между ними, и не зависит от их содержания.

В рамках этих двух допущений более удачное построение условных утверждений невозможно.

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

С целью решения этих парадоксов в 1912 году американский логик К. Льюис предложил заменить материальную импликацию так называемой «строгой импликацией», которая как-то отражает связь простых утверждений, составляющих условное утверждение, по смыслу. Правда потом оказалось, что строгая импликация сама не свободна от парадоксов. Поэтому в 50-е годы прошлого века немецкий логик В. Аккерман и американские логики А. Андресон и Н. Белнап предложили другой вариант условной связи — «релевантную импликацию», — которая разрешает не только парадоксы материальной импликации, но и парадоксы строгой импликации. Этой импликацией можно связывать только такие утверждения, которые имеют общее содержание.

Репликативные?