Законы тождества, непротиворечия, исключенного третьего, достаточного основания

Закон тождества. Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а = а, где под а понимается любая мысль).

Закон тождества может быть выражен формулой р ∞ р (если р, то р), где р – любое высказывание, ∞ – знак импликации.

Из закона тождества следует: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения нередко бывает связано с различным выражением одной и той же мысли в языке.

Закон непротиворечия действует в отношении всех несовместимых суждений.

Не будет противоречия между суждениями, если в одном из них утверждается принадлежность предмету одного признака, а в другом – отрицается принадлежность этому же предмету другого признака и если речь идет о разных предметах.

Этот закон принято называть законом противоречия. Однако название – закон непротиворечия – точнее выражает его действительный смысл.

Закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений. Он формулируется следующим образом: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо b, либо не-b. Истинно либо утверждение некоторого факта, либо его отрицание.

Требование доказанности, обоснованности мысли выражает закон достаточного основания: всякая мысль признается истинной, если она имеет достаточное основание. Если есть b, то есть и его основание а.

Таким образом, достаточным основанием какой-либо мысли может быть любая другая, уже проверенная и установленная мысль, из которой с необходимостью вытекает истинность данной мысли.