закон логики

Ответ от Владимир Захаров-Вальнер[гуру]
Виды формально-логических законов.
Во - первых, законы, связанные с отдельными формами абстрактного мышления -или с понятием, или с суждением, или с умозаключением. На основе этих законов были выведены конкретные правила, которые рассматривались в предыдущих главах данного учебного пособия.
Во - вторых, законы, которые имеют всеобщий характер, действуют во всех формах абстрактного мышления. Их называют основные формально-логические законы. Это - закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания. Их называют основными потому, что они:
действуют во всяком мышлении;
лежат в основе различных логических операций с понятиями и суждениями;
используются в процессе умозаключений и доказательств;
отражают важные свойства правильного мышления: определенность, логическую непротиворечивость, последовательность, обоснованность.
Первые три закона были выявлены и сформулированы древнегреческим философом Аристотелем, закон достаточного основания - немецким философом XVIII в. Г. В. Лейбницем.
Выделение четырех формально-логических законов осуществляется только в традиционной логике, которая и является объектом нашего изучения. Логика же современная (в частности, математическая, символическая) показала, что логических законов бесконечно много и нет оснований делить их на основные и второстепенные. Кроме того, построены логические системы, в которых не являются законами, например, закон исключенного третьего (например, интуиционистская логика, некоторые системы многозначной логики) , закон противоречия (паранепротиворечивая логика). Однако, абстрагируясь от этого и оставаясь в рамках традиционной логики, обратимся к анализу выделенных формальнологических законов, которые имеют важное значение в мыслительной деятельности людей.