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