13. Отношения между суждениями по логическому квадрату. Совместимые и несовместимые суждения. Отрицание суждений.

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

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

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

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

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

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

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

Частичная совместимость (субконтрарность) — это отношение между суждениями одинакового количества, но разного качества: между частноутвердительными (I) и частноотрицательными (О) суждениями. Для нее характерна следующая закономерность: оба суждения могут быть одновременно истинными, но не могут быть одновременно ложными.

Несовместимые суждения. Они имеют следующие логические отношения: противоположности и противоречия.

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

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

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

Необходимость осуществления этой операции возникает в тех случаях, когда простые и сложные суждения предварены словами "не" или "неверно, что". Для прояснения смысла суждений в этом случае их необходимо преобразовать в эквивалентные суждения, перед которыми отрицание не стоит. Например, отрицание суждения: "Неверно, что Москва не является столицей РФ" даст суждение: "Москва – столица РФ". При отрицании категорических суждений меняется их качество и количество, отрицание производится согласно следующим закономерностям:

1) ┐А эквивалентно О;

2) ┐Е эквивалентно I;

3) ┐I эквивалентно Е;

4) ┐О эквивалентно А.