GreatPhilosophy

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

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

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

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

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

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

Перечисленные выше законы были сформулированы традиционной логикой. Математическая логика расширила понятие логического закона. С ее точки зрения, законом логики является всякая тождественно истинная формула, т.е. формула, принимающая значение "истина" при любых значениях входящих в нее переменных. Например, независимо от того, какие значения мы припишем переменным а, b и с, формулы (а ^ b)— а, (а ^ а)-- b, (а-b) ^ (b-- с) -- (а -- с) всегда будут истинными. Это означает, что если наше рассуждение построено в соответствии с одной из таких формул, то оно будет корректным, правильным, от истинных посылок оно будет приводить нас к истинным заключениям. Такие формулы выражают необходимую связь между нашими мыслями, следовательно, являются законами логики.

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