Между суждениями существуют логические отношения. Суждения как и понятия, могут быть сравнимыми и несравнимыми, совместимыми и несовместимыми. Но есть существенные различия, вызванные их различной логической структурой. Если сравнимые понятия соотносятся друг с другом по их объему, то между сравнимыми суждениями имеются многообразные отношения прежде всего по их истинностным значениям. Анализ этих отношений предполагает выяснение таких вопросов: могут ли рассматриваемые суждения быть вместе истинными, вместе ложными, обусловливает ли истинность одного истинность другого и ложность одного ложность другого. Такой анализ имеет важное теоретическое и практическое значение, но его осуществление имеет свою специфику относительно простых и сложных суждений, поскольку они различаются своей логической структурой.
Отношения суждений по их истинностным значениям исследуются в логике междусравнимыми суждениями.
Несравнимые простые суждения имеют разные субъекты и предикаты, например: «Закон суров» и «Небо ясное». Истинность и ложность таких суждений не зависит друг от друга. Сравнимые простые суждения имеют одинаковые субъект и предикат(поэтому они и сравнимы по содержанию), но различаются количественными и качественными характеристиками логической формы. Несравнимыесложныесуждения включают в себя полностью или частично разные по содержанию простые суждения. Например, суждения: «Прокуроры и следователи имеют юридическое образование» и «Прокуроры и следователи стоят на страже законности». Сравнимые сложныесуждения включают одинаковые исходные простые суждения, а различаются типом связи между ними (т.е. логическими союзами). Например: «Кражаи мошенничество строго караются по закону», «Кража или мошенничество строго караются по закону», «Неверно, что кража и мошенничество строго караются по закону».
Между сравнимыми суждениями выделяются два типа отношений: совместимость инесовместимость. Суждения рассматриваются как совместимые, если они могут быть одновременно истинными, и как несовместимые, если они не могут бытьодновременно истинными.
Совместимость бывает трех видов: эквивалентность, подчинение и частичная совместимость.
· Суждения эквивалентны, если они всегда принимают одинаковые истинностные значения. Простые категорические суждения (А, Е,J, О) находятся в отношении эквивалентности, если они различны по количеству и качеству, и одно из них стоит под отрицанием: ~ А эквивалентно О («Неверно, что все юристы адвокаты» эквивалентно «Некоторые юристы не адвокаты»); ~ О эквивалентно А («Неверно, что некоторые адвокаты не юристы» эквивалентно «Все адвокаты юристы»); ~J эквивалентно Е («Неверно, что некоторые студенты профессора» эквивалентно «Ни один студент не профессор»); ~ Е эквивалентноJ («неверно, что ни один гриб не ядовит» эквивалентно «Некоторые грибы ядовиты»).