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

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

Первые три из этих законов были выявлены и сформулированы Аристотелем, а закон достаточного основания был сформулирован Лейбницем.

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

Являясь законами правильного мышления, а не законами вещей, не законами объективного мира, законы логики выражают важные свойства такого мышления — определенность, непротиворечивость, обоснованность, четкость, выбор "или— или" в определенных "жестких" ситуациях. Кроме указанных четырех законов, в формальной логике существует много других, которым должно подчиняться правильное мышление в процессе оперирования его отдельными формами (понятиями, суждениями, умозаключениями).

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

Это достаточно очевидно в случае приведенных выше формул. Если вы приняли две посылки а и Ь, то ясно, что вы должны принять и каждую из них в отдельности. Если совокупность ваших посылок противоречива, т.е. включает в себя некоторое утверждение и его отрицание, то вы можете присоединить к ним любое утверждение ("из лжи следует все что угодно"). Наконец, если из утверждения а следует утверждение Ь, а из утверждения b следует утверждение с, то необходимо, что из утверждения а следует утверждение с. Точно так же и все остальные тождественно-истинные формулы выражают необходимые связи между нашими утверждениями, хотя во многих случаях это не так легко увидеть.

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

 

Важнейшая особенность основных законов мышления состоит в том, что они носят здесь универсальный характер, т. е. лежат в основе функционирования всего мышления в целом. Можно сказать без преувеличения, что без этих законов процесс мышления в целом был бы попросту невозможен. Ведь в них отражаются фундаментальные — наиболее общие и глубокие свойства, связи и отношения объективного мира, пости¬гаемого нашим мышлением. Вот почему они рассматриваются нами после анализа всех конкретных мыслительных форм.

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