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