Законы формальной логики

(По Челпанову, у Потемкина – формулировки законов несколько другие, и второй закон – непротиворечия.)

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

Закон тождества. Закон тождества можно формулировать: «A есть A», т.е. всякий предмет есть то, что он есть. Но в действительности этот закон содержит весьма важное требование, а именно, чтобы в процессе нашего мышления каждая мыслимая вещь или представление мыслимой вещи, которое мы обозначим символически при помощи A, сохраняло своё тождество. Если в нашем мышлении возникает представление какой-либо вещи (A), то оно и в дальнейших процессах мышления должно мыслиться с тем же содержанием, с каким мыслилось вначале. То, что мы мыслим в данный момент о той или другой вещи, мы должны мыслить и спустя известное время, т.е. мы должны мыслить с тем же самым содержанием, с каким мыслили раньше. Логическая мысль не могла бы осуществиться, если бы я, сказав, что A есть B, при повторении этого суждения думал уже не об A, а о чём-нибудь другом. Её ли бы я, например, высказывая суждение, что «поваренная соль состоит из хлора и натрия», думал о поваренной соли, при повторении же суждения стал думать о какой-нибудь другой соли, то процесс мышления привёл бы меня к ложным результатам. Необходимо, чтобы я вторично, при повторении суждения «поваренная соль состоит из хлора и натрия», думал именно о поваренной соли, а не о какой-либо другой соли. Нужно, чтобы в процессе мышления каждая мыслимая вещь оставалась тождественной самой себе. Без соблюдения этого требования не может осуществиться логическое мышление, т.е. истинное мышление.

Таким образом, по закону тождества, всё то, что мы мыслим, должно оставаться тождественным самому себе. Этот закон применяется главным образом к понятиям и представлениям. Они в процессе мышления должны оставаться тождественными самим себе, иначе будет нарушена правильность мышления.

Закон противоречия. Закон противоречия формулируется так: «A не может в одно и то же время быть B и не-B», или: «из двух суждений, из которых одно утверждает то, что другое отрицает, одно должно быть ложным». Смысл этого закона заключается в том, что ничто не может в одно и тоже время, водном и том же отношении иметь противоречащие качества. Мы, например, никак не можем себе представить, чтобы бумага была в одно и то же время и белая и не-белая, например красная. Мы никак не можем себе представить, чтобы дом в одно и то же время был и большим и небольшим. Ни одно качество не может в одно и то же время и присутствовать и отсутствовать.

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

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

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

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

Умозаключение. Непосредственное умозаключение.

Умозаключение – форма логического мышления, в которой мы движемся от знания явного к знанию неявному.

Суждения, из которых делается вывод, называются посылками умозаключения. (из 2 посылок одна должна быть общей) Суждение, содержащее в себе вывод, называется заключением.

Виды:

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

- опосредованные - индуктивные (от частного к общему) и дедуктивные (от общего к частному). Индукция бывает полной и неполной. (вопр.12)