Логика: Учебник для студентов юридических вузов и факультетов

Различия между логическими союзами относительны. Подобно тому как один и тот же логический союз может соединять самые разные по конкретному содержанию суждения, так одно и то же конкретное суждение может быть выражено разными логическими союзами. Например: «День прошел, и настала ночь»; «Если день прошел, то настала ночь»; «Или день не прошел, или настала ночь»; «День не прошел, ночь не настала»; «Если ночь не настала, то день не прошел». Взаимосвязь и взаимозаменяемость логических союзов имеет большое значение для преобразования символических формул в процессе исчисления высказываний.

Глава III. Отношения между суждениями

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

Анализ отношений среди тех и других имеет важное теоретическое и практическое значение.

1. Отношения между простыми суждениями

Отношения между простыми суждениями определяются, с одной стороны, их конкретным содержанием, а с другой — логической формой: характером субъекта, предиката, логической связки.

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

Отношения между атрибутивными суждениями. По своему содержанию атрибутивные суждения могут находиться в двух важнейших отношениях — сравнимости и несравнимости.

Несравнимые суждения. У них разные субъекты или предикаты или то и другое вместе. Таковы, например, суждения: «Космос необъятен» и «Закон суров». В подобных случаях истинность или ложность одного из суждений непосредственно не зависит от истинности или ложности другого. Она прямо определяется отношением к действительности — соответствием или несоответствием ей. Правда, в условиях универсальной связи и взаимодействия предметов и явлений действительности суждения о них не могут быть абсолютно независимыми друг от друга. Очевидна лишь их относительная самостоятельность, независимость с точки зрения истинности или ложности. Так, если истинно суждение «Энергия сохраняется» (а не исчезает и не возникает из ничего, как гласит закон сохранения и превращения энергии), то будет ложным суждение «Вечный двигатель возможен», хотя по конкретному содержанию они не имеют ничего общего — ни субъекта, ни предиката, а следовательно, являются несравнимыми.

К несравнимым относятся также суждения, у которых может быть одинаковым субъект или предикат. Например: «Закон суров» и «Закон вступил в силу» или «Закон вступил в силу» и «Указ вступил в силу». И хотя смысловое различие здесь меньше, чем в предыдущем случае, они тоже не могут соотноситься между собой по истинности или ложности. Поэтому в дальнейшем их анализ не производится.

Сравнимые суждения. Они, наоборот, имеют одинаковые термины — и субъект, и предикат, но могут различаться по количеству и качеству. Это суждения, как говорят, «одинаковой материи», а следовательно, сопоставимы по истинности и ложности.

По своей логической форме — прежде всего по количеству и качеству — сравнимые суждения подразделяются на совместимые и несовместимые.

Совместимые суждения содержат одну и ту же мысль — полностью или частично. Между ними возникают следующие логические отношения: эквивалентности, подчинения, частичной совместимости.

Эквивалентность (равнозначность) — это отношение между суждениями, у которых субъект и предикат выражены одними и теми же или равнозначными понятиями (хотя и разными словами), причем и количество и качество одни и те же. Таковы, например, общеутвердительные суждения: «Все адвокаты — юристы» и «Все защитники в суде имеют специальное, юридическое образование». Аналогично может обстоять дело с общеотрицательными, частноутвердительными и частноотрицательными суждениями. Отношения между такого рода суждениями по их истинности или ложности характеризуются взаимно-однозначным соответствием: они или одновременно истинны, или одновременно ложны. Поэтому если истинно одно, то истинно и другое, а если одно ложно, то и другое ложно.

Последующие отношения между простыми атрибутивными суждениями — А, Е, I, О — для наглядности изображаются графически в виде «логического квадрата».

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