15. Сложное суждение и его виды.

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

Два или более простых суждения могут образовывать сложное с помощью соединительного союза, который символически изображается знаком "/\". Например: "Сегодня воскресенье, и мы едем за город".

Для конъюнкции таблица истинности такова:

В С В /\ С

и и и

л и л

и л л

л л л

Два или более простых суждения могут образовывать слож­ное и с помощью разделительного логического союза "\/" (дизъюнкция) (или). Слабая и строгая дизъюнкция.

Следующим логическим союзом, формирующим сложное суждение, является условный союз, часто называемый импликацией. (простое суждение, которое заключено между союзом "если" и частицей "то") и следствия (простое суждение, следующее после частицы "то").

Условное суждение по природе своей отражает природные, естественные связи и причинно-следственные зависимости между предметами (явлениями, процессами) и их свойствами. Между двумя элементами условного суждения [основанием и следствием) логика устанавливает две закономерные зависимости. Первая и жесткая зависимость, отражающая причинно-следственную связь, показывает истинностную зависимость следствия от основания условного суждения. При истинности основания условного суждения следствие его будет обязательно истинным. Так, в суждении "Если растение лишено кислорода, то оно погибает" при истинности его основания (растение лишено кислорода) следствие его (оно погибает) будет безусловно истинным. Но если основание этого условного суждения ложно, то его следствие может быть как истинным, так и ложным, т.е. неопределенным.

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

16. Отношения между суждениями («логический квадрат»).

Между известными видами простых категорических суж­дений устанавливаются следующие отношения: противоречия (контрадикторности), противоположности (контрарности, про­тивности), подпротивоположности (субконтрарности, подпротивности, или частичного совпадения) и подчинения.

Отношение противоречия (контрадикторности) устанавлива­ется между суждениями, разными как по качеству, так и по ко­личеству, т.е. между общеутвердительным (А) и частноотрицательным (О) и между общеотрицательным (Е) и частноутвердительным (I).

Отношение противоположности (контрарности, противности) устанавливается между общими суждениями, но разными по качеству: между общеутвердителным (А) и общеотрицательным (Е).

Отношение подпротивоположности (подпротивности, субконтрарности, или частичного совпадения) устанавливается между разными по качеству частными суждениями, (между I и О).

Наконец, в отношении подчинения находятся суждения оди­накового качества, но разного количества, т.е. суждения общеутвердительное (А) и частноутвердительное (I), а также общеотрицательное (Е) и частноотрицательное (О). В этом отношении общее есть подчиняющее суждение, частное - подчиненное.

Отношение противоречия (контрадикторности) - самое четкое и определенное, можно сказать, жесткое отношение между суждениями. Противоречащие суждения не могут быть одновременно ни истинными, ни ложными. Отношение противоположности (противности, контрарности) неоднозначно. При истинности суждения А (или Е} ему противное суждение Е (или А) будет обязательно ложным. Противоположные суждения не могут быть одновременно истинными, по крайней мере одно из них ложно, по большей мере - оба могут быть ложными. Отношение подпротивоположности устанавливается между разнокачественными частными суждениями. Например, суждение «Некоторые сту­денты имеют крылья» — ложно. Значит, подпротивное ему суж­дение должно быть обязательно истинным. И это так — «Некоторые студенты не имеют крыльев». Отношение подчинения характерно тем, что истинность общего (подчиняющего) суждения А (или Е) всегда влечет за собой истинность подчиненного ему частного суждения I (или О). Например, при истинности общего суждения «Все студенты - учащиеся», подчиняющееся ему частное суждение «Некоторые студенты - учащиеся» будет обязательно истинным.