Закон тождества как выражение определенности мысли.

Зако́нто́ждества — закон логики, согласно которому в процессе рассуждения каждое осмысленное выражение (понятие, суждение) должно употребляться в одном и том же смысле. Предпосылкой его выполнимости является возможность различения и отождествления тех объектов, о которых идёт речь в данном рассуждении. Мысль о предмете должна иметь определённое, устойчивое содержание, сколько бы раз она ни повторялась. Важнейшее свойство мышления - его определённость - выражается данным логическим законом.

Впервые закон тождества сформулирован Аристотелем в трактате «Метафизика».

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

Символическая логика при построении исчислений высказываний оперирует формулами (читается: влечет ) и ≡ (Читается: равнозначно ), где − любое высказывание, – знак импликации, ≡ – знак эквивалентности. Эти формулы соответствуют закону тождества.

Закон не противоречия. Понятие диалектического и формально-логического противоречия.

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

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

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

Закон гласит:

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

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

То есть: Закон исключения третьего дополняет закон непротиворечия, но применим лишь в том случае, где при однозначности ситуации, имеется прямое отрицание одного понятия другим или косвенное отрицание дополняется достаточно обстоятельными комментариями; его назначение – устранение возникших противоречий.