27. Разделительные суждения

Разделительным называют суждение, включающее в качестве составных частей суждения-дизъюнкты, объединяемые связкой “или”. Например, “Договор купли-продажи может быть заключен в устной или письменной форме”. Бывает две их разновидности: слабая и сильная (или нестрогая и строгая). Слабая (нестрогая) дизъюнкция образуется логическим союзом “или”. Она характеризуется тем, что объединяемые им суждения не исключают друг друга. Языковые средства выражения слабой дизъюнкции – грамматические союзы “или”, “либо” и другие. Например, как сказано в древнем поучении “Мудрая книга, оставленная человеком после его смерти, более полезна, чем дворец или часовня на кладбище”. Слабая дизъюнкция истинна в тех случаях, когда истинно, по крайней мере, одно из составляющих ее суждений, и ложна, когда оба суждения ложны. Сильная (строгая) дизъюнкция образуется логическим союзом “либо... либо” . Она отличается от слабой тем, что её составляющие исключают друг друга. Примеры. “Гражданин Российской Федерации не может быть лишен своего гражданства или права изменить его”; “Закон, устанавливающий или отягчающий ответственность, обратной силы не имеет”; “Виновным в преступлении может быть признано лишь лицо, совершившее общественно опасное деяние умышленно либо по неосторожности”. Для того чтобы подчеркнуть строго разделительный характер грамматических союзов, используется их усиленная, двойная форма: “или... или”, “либо... либо”, “то... то”, “ли... ли” и т.д. Пример. Строгая дизъюнкция истинна лишь тогда, когда одно из составляющих ее суждений истинно, а другое ложно.

28. Сложные суждения

Сложным называется суждение, имеющее в своем составе два и более простых суждения, или, иначе говоря, оно имеет два и более субъекта или предиката. Сложные суждения рассматриваются в логике только с точки зрения их истинностных значений, которые зависят от истинностных значений простых суждений и от типа связи простых суждений в сложное. Можно выделить пять основных типов связи двух простых суждений: 1) конъюнктивная связь, образующаяся с помощью логического союза и; 2) соединительно-разделительная дизъюнктивная связь, образующаяся с помощью логического союза или; 3) исключительно-разделительная дизъюнктивная связь, образующаяся с помощью логического союза либо...либо; 4) импликативная, или условная связь, образующаяся с помощью логического союза если...то... ; 5) эквивалентная связь, образующаяся с помощью логического союза если и только если. Эти типы связи простых суждений отражаются соответствующими логическими связками – конъюнкцией, дизъюнкцией, строгой дизъюнкцией, импликацией и эквиваленцией. Тип связи выявляется при анализе предложения, которым выражено сложное суждение. Например, суждение “Эрмитаж и Русский музей находятся в Санкт-Петербурге” содержит утверждение о двух музеях, а, точнее, два утверждения: “Эрмитаж находится в Санкт-Петербурге”, “Русский музей находится в Санкт-Петербурге” – и при этом предполагается их одновременная истинность. Значит, мы имеем сложное, состоящее из двух простых, конъюнктивное суждение, логическую форму которого можно записать так: (A Л B), где A, B обозначают указанные простые суждения, а Л– конъюнкцию. Устанавливают истинностные значения сложных суждений при помощи истинностных таблиц. Для их построения нужно знать определения перечисленных логических связок: конъюнкции, слабой дизъюнкции, строгой дизъюнкции, импликации и эквиваленции.