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