Согласно «широкой» трактовке логики основные законы – это наиболее очевидные из всех утверждений логики, являющиеся чем-то вроде аксиом этой науки. Они образуют как бы фундамент логики, на который опирается все ее здание. Сами же они ниоткуда не выводимы, да и не требуют никакой особой опоры в силу своей исключительной очевидности.
Под это крайне расплывчатое понятие «основных» законов можно подвести самые разнородные идеи. Обычно к таким законам относили закон противоречия, закон исключенного третьего, закон тождества. Нередко к ним добавлялся еще и так называемый «закон достаточного основания».
«Закон достаточного основания» вообще не является принципом логики – ни основным, ни второстепенным. Требование «достаточного основания» предполагает, что ничто не принимается просто так, на веру. В случае каждого утверждения следует указывать основания, в силу которых оно считается истинным. Разумеется, это никакой не закон логики.
Рассуждения «расширенной» логики об основных законах мышления только затемняли и запутывали проблему логических законов. Как показала современная логика, законов логики бесчисленное множество. Деление их на основные и не являющиеся основными лишено каких-либо ясных оснований.
Несостоятельна также подмена логических законов расплывчатыми методологическими советами. Никакого фундамента в виде короткого перечня основополагающих принципов в науке логике нет. В этом она не отличается от всех других научных дисциплин.
Есть еще один предрассудок, культивировавшийся «расширенной» логикой и доживший до наших дней. Это обсуждение законов логики в полном отрыве их от всех иных ее важных тем и понятий и даже в изоляции их друг от друга.
Логические законы интересны, конечно, и сами по себе. Но если они действительно являются важными элементами механизма мышления – а это, несомненно, так, – они должны быть неразрывно связаны с другими элементами этого механизма. И прежде всего с центральным понятием логики – понятием логического следования, и значит, с понятием доказательства.
Далее рассмотрим отдельные наиболее известные и часто употребляемые логические законы, а также некоторые системы таких законов.