1. Общая характеристика законов логики

Мышление как отражение внешнего мира в сознании человека протекает в определенных логических формах. В каждой мысли различают конкретное содержание и ее структуру, т. е. логическую форму.

Логическое мышле­ние - реальный процесс, совершающийся в мозгу человека при помощи мыс­лей определенной структуры.

Люди никогда не мыслят отдельными, изолированными мыслями. Любые мысли находятся в объективной закономе­рной связи между собой. Эти связи выступают как внутри структуры от­дельных мыслей, так и между мыслями любой структуры. Одни из них су­щественны и выражают глубокую зависимость между мыслями, а другие ха­рактеризуют более слабую связь между ними. Существенные и необходи­мые связи между мыслями выражаются в законах и правилах логики.

Законы логики - это суждение, отражающее внутреннюю необходимую су­щественную связь между элементами мысли или отдельными мыслями.

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

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

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

Всякий предмет, несмотря на непрерывно происходящие в нем измене­ния, остается на протяжении его существования качественно определен­ным предметом с присущими ему свойствами, позволяющими отличить его от других предметов.

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

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

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

Специфика законов логики состоит в том, что они являются законами не самих вещей, а естественного процесса мышления, отражающего внеш­ний мир.

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

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

Известно, напри­мер, что если отрицать дважды некоторое высказывание, то в результате получим первоначальное высказывание.

Так, говоря «Не является истин­ным, что студент Иванов не сдал экзамена, но логике на «отлично», мы тем самым утверждаем: «Студент Иванов сдал экзамен на «отлично». От­сюда и получим закон логики: «если (не (не-р)), то р» или -р – р.

Словами эти формулы выражаются следующим образом: если неверно, что (неверно, что р), то р.

Законом логики является также и обратное высказывание: если р, то (не (не-р)) или Р—Р.

Таблица При любых значениях переменной А эта формула будет принимать значение истины.

Р	-Р	=Р	Р – Р
И	Л	И	И
Л	И	Л	И

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