4. Понятие логического закона. Основные формально-логические законы как законы правильного мышления.

Формально-логическими называются законы структурно-смысловой связи элементов мысли между собой, придающие ей определенную форму, посредством которой выражается содержание мысли. В них отражены устойчивые черты внутренней структуры мыслительного процесса, отложился многовековый опыт практической деятельности человека, отражены общие свойства и стороны действительности. Однако законы формальной логики нельзя абсолютизировать даже в сфере мышления. Они – важный момент в комплексе условий, определяющих истинность наших знаний, но только отдельный момент, а не все условия; их действие правомерно в ос­новном в пределах логической формы, а с содержанием мысли они связа­ны лишь косвенно.

Различают следующие виды формально-логических законов:

1) законы, связанные с отдельными формами абстрактного мышления - или с понятием, или с суждением, или с умозаключением. На основе этих законов выведены конкретные правила, которые в данном пособии рассма­тривались при анализе каждой из названных форм мышления (например, закон обратного отношения между содержанием и объемом понятия, зако­ны распределенности терминов в простых суждениях, законы различных ви­дов умозаключений и т.д.);

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

— распространяют свое влияние на всю сферу мыслительной деятельности;

— лежат в основе различных логических операций с понятиями и суждениями;

— используются в процессе умозаключений и доказательств;

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

Первые три закона были выявлены и сформулированы древнегреческим мудрецом Аристотелем, закон достаточного основания - немецким филосо­фом XVIII века Г.В. Лейбницем.

Необходимо иметь в виду, что выделение четырех формально-логических законов осуществляется только в традиционной формальной логике, которая и является объектом нашего изучения. Логика же современная (в частности, математическая, символическая) утверждает, что логических законов бес­конечно много и нет оснований делить их на основные и второстепенные. Кроме того, построены логические системы, в которых не являются закона­ми, например, закон исключенного третьего (интуиционистская логика, не­которые системы многозначной логики), закон противоречия (паранепротиворечивая логика).

1. Закон тождества

Закон тождества формулируется следующим образом: всякая мысль тождественна сама себе, а есть а (или а=а), где а обозначает любую мысль. Из сущности этого закона вытекает важное требование: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные.

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