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