Логика: Учебник для студентов юридических вузов и факультетов

Нетранзитивные (непереходные) отношения обладают обратной зависимостью по сравнению с предыдущей. Так, если «Иван — отец Степана», а «Степан — отец Николая», то это вовсе не значит, что «Иван — отец Николая». Он ему дед. Следовательно, такие суждения не могут быть одновременно истинными: если истинно одно, то ложно другое.

Есть еще отношения рефлексивности и нерефлексивности.

Рефлексивные отношения (от лат. reflexio — обращение назад, отражение) характеризуются тем, что каждый из членов отношения R — х и у — находится в таком же отношении к самому себе. Если два события произошли одновременно, то они одновременны с собой. Оба суждения могут быть либо истинными, либо ложными.

Нерефлексивные отношения таковы, что если 2 меньше 3, то это не значит, что 2 меньше 2 и 3 меньше 3. Из истинности одного следует ложность другого.

Знание особенностей подобных отношений между реляционными суждениями по их истинности или ложности важно всюду, где есть такого рода отношения. Особое значение это имеет в сфере правовых отношений. Так, в судебной практике учитываются одновременность или разновременность событий, отношения родства, знакомства между людьми и т. д. Например, если Иванов знает Петрова, а Петров — Сидорова, то это еще не значит, что Иванов знает Сидорова. Тут отношения нетранзитивные со всеми вытекающими отсюда последствиями по истинности и ложности между раскрывающими их реляционными суждениями.

2. Отношения между сложными суждениями

Сложные суждения аналогично простым находятся в определенных отношениях между собой. Общим здесь является то, что они тоже могут быть сравнимыми и несравнимыми, совместимыми и несовместимыми, причем и для них характерны отношения именно по их истинности или ложности. Однако отношения между сложными суждениями в известной мере специфичны. Обусловлено это их особой, более сложной и качественно иной структурой, отличной от структуры простых суждений.

Сравнимые сложные суждения характеризуются тем, что они включают в себя одинаковые исходные суждения и различаются логическими союзами — конъюнкцией, дизъюнкцией и т.д. (включая отрицание). Возьмем для примера два сложных суждения (обозначим их буквами Р и Q): «Прокуроры и судьи имеют юридическое образование» (Р) и «Неверно, что прокуроры и судьи имеют юридическое образование» (Q). Исходные составляющие здесь — А и В — одинаковые: «Прокуроры имеют юридическое образование» (А) и «Судьи имеют юридическое образование» (В). Но логическая форма обоих сложных суждений разная: первое (Р) — конъюнкция (А∧В), а второе — отрицание конъюнкции (|А∧В). Одинаковость составляющих и дает возможность соотносить их по смыслу и выяснять отношения между ними по истинности и ложности.

Несравнимые сложные суждения отличаются тем, что их составляющие полностью или частично разные. Например: «Прокуроры и судьи имеют юридическое образование» (Р) и «Прокуроры и судьи стоят на страже законности» (Q). Здесь общие субъекты, но разные предикаты. Может быть наоборот: разные субъекты, но общие предикаты. Например: «Прокуроры и судьи имеют юридическое образование» (Р) и «Следователи и адвокаты имеют юридическое образование» (Q). Наконец, разными могут быть и субъекты, и предикаты одновременно. Например: «Кража и мошенничество — преступления» (Р) и «Грабеж и разбой строго караются по закону» (Q). Поэтому такие суждения невозможно сопоставить по смыслу и анализировать их отношения по истинности и ложности.

Сравнимые тоже бывают совместимыми и несовместимыми. Поэтому здесь имеют место все основные отношения, что и между простыми.

Среди совместимых это эквивалентность, подчинение и частичная совместимость.

Эквивалентность. В таком отношении находятся те сложные суждения, которые при одних и тех же значениях истинности составляющих имеют одинаковые значения. Если истинно Р, то истинно Q, и если ложно Р, то ложно и Q. Но не может быть так, что Р истинно, a Q ложно, и так, что Р ложно, a Q истинно.

Подчинение. Это отношение между сложными суждениями характеризуется тем, что при истинности подчиняющего подчиненное ему всегда истинно. Если Р истинно, то и Q истинно; если Р ложно, то Q может быть как истинным, так и ложным. Но не может быть так, что Р истинно, a Q ложно.

Частичная совместимость. Она выражается в том, что оба сложных суждения одновременно могут быть истинными, но не могут быть одновременно ложными.

Среди несовместимых сложных суждений — отношения противоположности и противоречия.