Кроме преобразования суждений другую важнейшую логическую операцию с ними представляет собой
Если формула простого атрибутивного утвердительного суждения — «S есть Р», то формулой отрицания его будет: «Неверно, что S есть Р» или «S не есть Р». В символической записи: ˥А (читается: «неверно, что А» или: «не-А»). Например: «Все судьи справедливы» — «Неверно, что все судьи справедливы» или «Не все судьи справедливы» (это равносильно признанию, что «Некоторые судьи несправедливы»). Отрицанию могут подвергаться и отрицательные суждения. Если формула отрицательного суждения — «S не есть Р», то его отрицание будет выражено формулой: «Неверно, что S не есть Р» (что равносильно утверждению: «S есть Р»), Символически: ˥(˥А).
Уже отсюда явствует, что отрицание нельзя отождествлять с отрицательными суждениями. Когда мы говорим об отрицательном суждении, то имеем в виду один из видов суждений по характеру связки, т. е. по качеству. Причем в этом случае речь идет о качестве самого суждения безотносительно к утвердительному, а именно: о непринадлежности какого-либо свойства предмету мысли, о невключении мыслимого предмета в класс предметов и т. д. А когда говорится об отрицании, то разумеется особая логическая операция с суждениями. Она предполагает наличие определенного исходного суждения и определенное отношение к нему — именно отношение отрицания. В этом случае исходное суждение называется
Подобно тому как утвердительное и отрицательное суждения могут быть истинными и ложными, отрицание одного суждения другим может быть истинным или ложным. Но если истинность или ложность утвердительного или отрицательного суждений определяется лишь их отношением к действительности, соответствием или несоответствием ей, то с отрицанием дело обстоит иначе. Его истинность или ложность определяется отношением к другому, исходному суждению, зависит всецело от того, истинно оно или ложно. Закономерностью здесь становится взаимная обратная зависимость:
Исходя из этой закономерности, нетрудно определить, какие из простых атрибутивных суждений могут считаться отрицаниями, а какие нет. Так, в отношении взаимного отрицания находятся противоречащие суждения: общеутвердительные (А) и частноотрицательные (О), общеотрицательные (Е) и частноутвердительные (I). Ведь, как отмечалось выше, если истинно одно из них, то ложно другое, и наоборот. Таким образом, несложно сделать вывод, что в процессе отрицания меняется и количество, и качество исходного суждения.
Что же касается противоположных суждений — общеутвердительных (А) и общеотрицательных (Е), то они не находятся в отношении взаимного отрицания: хотя они не могут быть вместе истинными, но могут быть вместе ложными.
Точно так же нет отношений взаимного отрицания между субконтрарными суждениями. Хотя они могут быть вместе истинными, но не могут быть вместе ложными. Их отношения, вспомним, это как бы «зеркальное» отражение отношений противоположных суждений.