Общая характеристика суждения.

Суждение - это мысль, в которой что-либо утверждается или что-

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

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

Эквивалентными являются суждения, имеющие одинаковые логические характеристики: одинаковые субъекты и предикаты, однокачественную связку - утвердительную или отрицательную, одну и ту же количественную характеристику. Для эквивалентных суждений невозможно, чтобы одно из них было истинным, а другое ложным, и наоборот. Различия между эквивалентными суждениями проявляются в основном лишь словесно. Например, разными словами может быть выражен квантор. Для выражения субъекта и предиката могут быть использованы синонимы. Эквивалентные суждения могут быть сформулированы на разных национальных языках.

Логическое подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие зависимости. Истинность общего суждения определяет истинность частного, подчиненного; ложность общего суждения оставляет частное неопределенным. Истинность частного суждения оставляет общее неопределенным; ложность частного определяет ложность общего суждения.

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