Введение в логику и научный метод - [38]

Из данного рассуждения также становится видно, как мы можем вывести эквивалентное условное суждение из любого другого условного суждения. Если в эквивалентной строгой дизъюнкции предполагается, что второй дизъюнкт является истинным, то первый дизъюнкт должен быть ложным. Следовательно, мы можем вывести суждение «если углы у основания треугольника неравны, то треугольник не является равнобедренным». Мы можем записать:

[(Треугольник является равнобедренным) ⊃ (углы у его основания равны)] ≡ [(Углы у основания треугольника равны)′⊃(треугольник является равнобедренным)′.

Данные эквивалентные условные суждения считаются противопоставленными (контрапозитивными) друг другу.

Рассмотрим (нестрогую) дизъюнкцию «треугольник является равнобедренным или углы у его основания равны». Утверждать данное суждение значит утверждать, что, по крайней мере, один из дизъюнктов является истинным. Поэтому, если бы один из дизъюнктов был ложным, другой должен был бы быть истинным. Следовательно, мы можем заключить из данной дизъюнкции условное суждение «если треугольник является равнобедренным, то углы у его основания равны». Более того, данная дизъюнкция может быть выведена из данного условного суждения. Это условное суждение эквивалентно суждению «неверно, что треугольник является равнобедренным и вместе с этим углы у его основания неравны», в котором утверждается, что, по крайней мере, один из дизъюнктов должен быть ложным. Из данной дизъюнкции мы можем вывести суждение «треугольник не является равнобедренным или углы у его основания равны». Мы можем записать данную эквивалентность:

[(Треугольник является равнобедренным)′∨ (углы у его основания равны)] ≡ [(Треугольник является равнобедренным) ⊃ (углы у его основания равны)].

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

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

[(Он счастлив в браке) ⊃ (он не бьет свою жену)] ≡ [(Он не бьет свою жену)′⊃ (он счастлив в браке)′ ≡ [(Он счастлив в браке)′∨ (он не бьет свою жену)] ≡ [(Он счастлив в браке) . (он не бьет свою жену)′]′

Данные эквивалентности можно выразить более компактно, а формы эквивалентных суждений – более ясно, если принять еще некоторые конвенции относительно символов. Пусть р означает антецедент условного суждения, a q – его консеквент. Любое условное суждение может быть формализовано как ( р ⊃ q ). Данные эквивалентности тогда могут быть записаны следующим образом:

( р ⊃ q ) ≡ ( q ′ ⊃ р ′) ≡ ( р ′∨ q ) ≡ ( p . q ′)′

В главе VII мы рассмотрим эквивалентности между системами суждений. Однако на данном этапе можно предложить пример двух суждений, являющихся эквивалентными в силу своего места в определенной системе. Пусть р = «в физике Ньютона свет отражается от поверхности так, что угол падения равен углу отражения» и пусть q = «в физике Ньютона свет отражается от поверхности так, что его путь является минимальным». Суждения р и q эквивалентны.

§ 4. Традиционный квадрат противопоставлений

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

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

Рассмотрим четыре суждения:

А. Все республики являются неблагодарными.

Е. Не одна республика не является неблагодарной.

I. Некоторые республики являются неблагодарными.

О. Некоторые республики не являются неблагодарными.

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

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