42 ЛОГИЧЕСКИЕ ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ
Между сложными суждениями существуют определенные отношения. Основу этих отношений составляет их сходство по содержанию, выражаемое в таких характеристиках, как смысл и истинность суждений. Необходимо отметить, что все суждения делятся на сравнимые и несравнимые. Простые суждения являются сравнимыми, если имеют одинаковые термины, но различаются по количеству и качеству. Все отношения между сравнимыми суждениями делятся на совместимые и несовместимые. Суждения называются совместимыми, если они могут одновременно быть истинными, и несовместимыми, если они не могут быть одновременно истинными.
Различают три типа совместимых суждений.
1. Эквивалентные суждения выражают одну и ту же мысль в различной форме. Таким образом, эти суждения всегда принимают одинаковые истинные или ложные значения. Например, «Москва столица России» и «Столицей России является Москва».
2. Частично совместимые суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Например, «Некоторые страны не имеют морских границ» и «Некоторые страны имеют морские границы».
3. Подчиненные суждения имеют общий предикат, а понятие, выражающее субъекты двух таких суждений, находится в отношении логического подчинения. В данном случае подчиненное суждение будет истинным при истинности подчиняющего. Например, «Ни один вопрос обучаемого не должен остаться без ответа» и «Некоторые вопросы обучаемых могут оставаться без ответа».
Между несовместимыми суждениями могут существовать два типа отношений.
1. Противоположные суждения выражают противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Истинность одного из противоположных суждений автоматически определяет ложность другого. Если же одно из противоположных суждений определенно ложно, то второе при этом остается неопределенным и может быть как истинным, так и ложным. Например, «Все студенты будущие юристы» или «Ни один студент не является будущим юристом».
2. Противоречивые суждения исключают друг друга. Следовательно, если одно из них истинно, то другое необходимо ложно, и наоборот. Например, «Все книги посвящены любви» и «Некоторые книги посвящены любви».
Сложные суждения являются сравнимыми, если имеют одинаковые составляющие, но различаются типами логических связок. Несравнимыми сложными суждениями являются те, которые частично или полностью различаются составляющими их простыми суждениями. Между сложными суждениями складываются такие же отношения, как и между простыми. Их характер определяется с помощью таблиц истинности.