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

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

Эти законы называются формальными законами мысли, потому что они не касаются содержания мысли.

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

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

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

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

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

4. Закон достаточного основания. Этот закон обыкновенно определяется так: «мы все должны мыслить на достаточном основании», т.е. всякая мысль, всякое суждение должно иметь определённое логическое обоснование.

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

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

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

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

Умозаключения бывают правильные (выполняются основные законы логики) и неправильные.

Виды:

1. Непосредственные (вывод делается на основании одной посылки, одного исходного суждения).

2. Опосредованные (вывод делается из двух и более посылок). Бывают индуктивные и дедуктивные.

Операции непосредственного умозаключения:

· Превращение (S есть P → S не есть не P) – предикат заменяется противоречащим понятием, а связка заменяется на противоположную (Следователь есть юрист – Следователь не может не быть юристом).

· Обращение (S есть P → P есть S) – предикат и субъект меняются местами. Бывает простым (субъект и предикат совпадают по объему «Достоевский – автор ПиН») и сложным (объем предиката ограничивается «Птицы летают → Некоторые из летающих птицы»).

· Противопоставление предикату (все S суть P → ни одно не-Р не есть S) – субъектом становится понятие, противоречащее предикату, а предикат – субъект исходного суждения.