Тема 4. Сложные суждения. Законы формальной логики

Теория.

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

Конъюнкция (& – соединительный союз) истинна тогда и только тогда, когда истинны все входящие в нее элементы (конъюнкты). Конъюнкция может быть выражена союзами «и», «а», «но», «однако», «а также» и др.

Примеры конъюнктивного суждения:

· «Алексей хорошо ориентируется в технике и при этом любит стихи».

· «Свобода души в аффекте только скована, а в страсти она уничтожена совершенно».

Дизъюнкция (разделительный союз) бывает строгой и нестрогой.

Нестрогая или слабая дизъюнкция (V – разделительный союз) ложна только тогда, когда ложны все входящие в нее элементы. Слабая дизъюнкция соответствует союзу «или».

Примеры слабой дизъюнкции:

· «Для многих людей благо состоит или в почести, или в удовольствии, или в богатстве».

· «Философию интерпретируют или как науку, или как мировоззрение, или же как искусство».

Строгая или сильная дизъюнкция (≠) истинна только тогда, когда истинен только один из входящих в нее элементов. Передается союзом «либо».

Примеры строгой дизъюнкции:

· «Курс логики завершается либо зачетом, либо экзаменом».

· «В финале теннисного турнира победит либо Федерер, либо Джокович».

Импликация (→ – условный союз) ложна только тогда, когда предшествующее суждение (антецедент) истинно, а последующее (консеквент) – ложно.

Примеры импликации:

«Если вещь естественна, то она и прекрасна».

«Если человек влюбляется, то мир преображается».

Эквиваленция (↔ –тождественность) истинна тогда и только тогда, когда входящие в нее элементы либо истинны, либо ложны.

Примеры эквиваленции:

«Воля свободна тогда и только тогда, когда она повинуется закону».

«Человек может быть счастлив только в том случае, когда он живет в гармонии с самим собой и с другими».

Таблица истинности для логических союзов