§ 1. Понятие логического закона

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

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

Кроме этих четырех формально-логических законов, отражаю­щих важные свойства правильного мышления, - определенность,

106

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

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

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

a  a - закон тождества.

а ^ â - закон непротиворечия.

a v â - закон исключенного третьего.