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

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

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

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

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

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

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

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

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

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

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

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

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

20. Закон достаточного основания как выражение обоснованности вывода.

Четвертый закон логики выражает одну из общих черт правильного мышления — его обоснованность; требует, чтобы ваши суждения о предмете и его свойствах были не голословны, а базировались на достоверных аргументах. Этот логический закон имеет следующую формулировку: всякая мысль, чтобы стать несомненной, должна быть обоснована другими мыслями, истинность которых доказана или самоочевидна. Он обеспечивает доказательность и (вместе с другими заколами) последовательность мышления.  Ни одно положение не может быть признано истинным, если оно не обосновано. В любом рассуждении наши мысли должны быть логически связаны, доказательны. Доказательным будет такое мышление, в котором не только утверждается истинность известного вывода, но и . указываются основания, позволяющие признать эхо положение истинным (С — consequentia — следствие — есть потому, что есть R — ratio — основание).