Закон противоречия.

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

Закон исключённого третьего. Закон исключённого третьего формулируется следующим образом: «при двух суждениях, из которых одно утверждает то, что другое отрицает («А есть В» и «А есть не-В»), не может быть третьего, среднего суждения».

Закон исключённого третьего лучше всего можно объяснить, если сказать, что, согласно этому закону, о всяком качестве вещи мы можем только утверждать, что оно или принадлежит вещи, или не принадлежит; в этом случае не может быть ничего третьего, среднего, что-либо третье в этом случае исключается. Когда мы приписываем какой-либо вещи какой-либо предикат, то мы можем приписывать только или В, или не-В. Вещь должна быть или чёрной, или не-чёрной. Растения могут быть или хвойные, или не-хвойные; животные могут быть  или позвоночные, или не-позвоночные; третьего ничего быть не может (tertium non datur).

Закон достаточного основания. Четвёртый закон мышления называется «законом достаточного основания» (lexrationis sufficientis). Этот закон обыкновенно определяется так: «мы все должны мыслить на достаточном основании», т.

Мы видели при рассмотрении условных суждений, что называется основанием и что называется следствием, и потому для нас должно быть понятно, что значит, что «мысль должна иметь известное обоснование». Мы видели в первой главе, что все положения должны быть сводимы на непосредственно очевидные положения, такое сведение предполагает, что между суждениями есть связь такого рода, что одни суждения опираются на другие, обосновываются другими. Например, если мы говорим, что «погода изменится», потому что барометрическое давление падает, то суждение: «барометрическое давление падает» является основанием для суждения: «погода изменится». Если мы находим, что «треугольник имеет две равных стороны», то это суждение есть основание для суждения «два угла данного треугольника равны».

Обыкновенно в логике основание и причина обозначаются одним и тем же термином ratio, но только основание называют ratio cognoscendi («основание познания»), а причину называют ratio fiendi («основание становления»). Чтобы видеть разницу между этими двумя ratio, возьмём пример. Я произношу суждение: «В комнате сделалось теплее». Логическое обоснование этого суждения может находиться в суждении: «ртуть' термометра расширилась». Причинное обоснование теплоты комнаты получится в том случае, если мы скажем: «затопили печку, и оттого в комнате сделалось теплее».

Формальный характер законов мышления. Рассмотренные нами законы мышления в логике имеют такое же значение, какое в математике имеют аксиомы. Они так же непосредственно Очевидны, как эти последние, как, например, аксиомы: «целое больше части», «между двумя точками можно провести только одну прямую».

Эти законы называются также формальными законами мысли, потому что они не касаются содержания мысли. Закон тождества не указывает, какие именно представления, понятия, суждения должны оставаться тождественными; закон противоречия также не указывает, какие именно мысли не должны сами себе противоречить; закон исключённого третьего ничего не говорит, между какими именно противоречащими суждениями не может быть третьего, но они не говорят этого потому, что их утверждение справедливо по отношению ко всякому представлению, ко всякому суждению: всякая мысль должна подчиняться этим законам, совершенно так, как алгебраические формулы не показывают, в применении к каким числам они справедливы, и именно потому, что в них можно подставить какие угодно числа и величины.

Вопросы для повторения

Что называется законами мышления? Какие .существуют законы мышления? Как формулируется закон тождества? Как формулируется закон противоречия? Объясните применение закона противоречия. Как формулируется закон исключённого третьего? Объясните применение закона исключённого третьего. Как формулируется закон достаточного основания? Какое различие между основанием и причиной? Почему законы мышления называют формальными законами?