Логика для юристов - [23]
Отношение логического следования имеет место между множеством суждений { А>1, A>2, ..., A>n} и суждением В (обозначается: А>1, A>2, ..., A>n |=В), если и только если не существуют суждения А'>1, A'>2, ..., A'>nВ' тех же логических форм, что и А>1, A>2, ..., A>n, В, но, возможно, других нелогических содержаний, такие, что А'>1, A'>2, ..., A'>n, истинны, а В' ложно.
Отношение логической эквивалентности имеет место между суждениями А и В, если и только если А |= В и В |= А. Оно обозначается так: А В.
Суждения А и В находятся в отношении подчинения, если и только если А |= В и В | А. Знак “|” означает: “не следует”. Суждение А называется в этом случае подчиняющим, а В — подчиненным.
Отношение противоречия (контрадикторности) имеет место между суждениями, которые несовместимы по истинности и несовместимы по ложности.
Контрарными являются суждения, совместимые по ложности, но несовместимые по истинности.
Субконтрарными являются суждения, которые совместимы по истинности, но несовместимы по ложности.
Суждения являются логически независимыми, если и только если все они совместимы по истинности и ложности и каждое из них не находится в отношении логического следования к другим из этих суждений.
Отношения между атрибутивными суждениями с одними и теми же терминами изображаются посредством схемы, называемой логическим квадратом:
субконтрарные
Между суждениями форм А и I, а также форм Е и О имеет место отношение подчинения. Между А и Е — контрарности, а I и О — субконтрарности. Суждения логических форм А и О, а также Е и I находятся в отношении контрадикторности.
Устанавливать отношения между суждениями можно также с помощью следующей таблицы:
В ней указаны возможные значения истинности суждений различных видов при различных отношениях между объемами их терминов ( S и P). Например, нет строк, в которых суждения форм А и О оба имеют значение “истина”, нет таких строк, в которых оба имеют значение “ложь”. Следовательно, суждения А и О находятся в отношении контрадикторности.
Отношения между суждениями о двухместных отношениях можно изобразить при помощи логического квазишестиугольника:
Сокращенно суждения о двухместных отношениях обозначаются словами, состоящими из заглавных букв О (общее), Ч (частное), У (утвердительное), О (отрицательное). В последнем смысле буква О понимается лишь тогда, когда она находится в конце трехбуквенного слова. Например, слово "ООО" обозначает обще-общеотрицательное суждение, слово " ЧОУ" — частно-общеутвердительное суждение и т.д.
На схеме двойной стрелкой изображено отношение контрадикторности, стрелкой — отношение подчинения, прямой — отношение контрарности, двойной линией — субконтрарности, штриховой — отношение логической независимости.
Методы установления отношений между сложными суждениями излагаются в главе V.
Упражнение 10
В каком отношении находятся суждения?
1. Если идет дождь, то крыши мокрые. Дождя нет, а крыши мокрые.
2. Некоторые юристы обладают ораторскими способностями. Некоторые юристы не обладают ораторскими способностями.
3. Если тело является кристаллическим, то оно имеет определенную температуру плавления. Данное тело не является кристаллическим, поскольку оно не имеет определенной температуры плавления.
4. Если подсудимый виновен, то у него был сообщник. Подсудимый виновен, но у него не было сообщника.
5. Если болезнь запущена, то ее легко распознать, но трудно излечить. Если болезнь не запущена, то ее трудно распознать, но легко излечить.
6. Тому, кто тратит свое, лучше всего быть бережливым. Тому, кто тратит чужое, можно быть щедрым.
7. Если человек совершил преступление и это установлено, то он подлежит привлечению к уголовной ответственности. Если человек совершил преступление, то он подлежит привлечению к уголовной ответственности. Человек совершил преступление, но не подлежит привлечению к уголовной ответственности.
§ 4. ОТРИЦАНИЕ СУЖДЕНИЙ
Отрицание суждения — это операция, заключающаяся в таком преобразовании его логического содержания, в результате которого получают суждение, находящееся в отношении контрадикторности к исходному.
Пусть кто-то утверждает: “Все студенты нашей группы — отличники”. А кто-то не соглашается с этим и отрицает выдвинутое суждение: “Неверно, что все студенты нашей группы —отличники”. Что же верно? Какое суждение (без внешнего отрицания) является отрицанием суждения “Все студенты нашей группы — отличники”? Отрицанием является суждение “Некоторые студенты нашей группы не являются отличниками”, т.е. отрицанием общеутвердительного суждения (А) является частноотрицательное (О).
При отрицании атрибутивного суждения меняются его качество и количество. Отрицая общее суждение, получаем частное, и , наоборот, отрицая частное, получаем общее. Отрицая утвердительное суждение, получаем отрицательное, и наоборот, отрицая отрицательное, получаем утвердительное. Наглядно это можно представить следующим образом:
