Предмет и значение логики

Этот закон можно записать с помощью дизъюнкции: р v не-р. Таким  образом, этот закон, как и закон  противоречия, выражает последовательность, непротиворечивость мышления, т.е. не допускает  противоречий в мыслях и словах. Во-вторых, действуя только в отношении  противоречащих суждений, устанавливает, что они не могут быть не только одновременно истинными (на что указывает  закон непротиворечия), но также  и одновременно ложными. Если ложно  одно, то другое обязательно истинно. В-третьих, сам закон не указывает  какое именно из этих суждений истинно. Этот вопрос решается другими средствами, но закон подсказывает направление  в отыскании истины: возможно только два решения этого вопроса - истина и ложь. "да" или "нет" - иного  не может быть по закону. Скажем, осетрина не бывает первой или второй свежести, как совершенно справедливо заметил  М.Булгаков в "Мастере и Маргарите" или "Нельзя быть немного беременной", как иронизирует народ. Однако, наибольшее значение этот закон имеет в юридической  практике, где требуется однозначное  категорическое решение вопроса: виновен  подозреваемый в совершении преступления или нет. Право знает либо: "Да. Виновен", либо: "Нет. Не виновен".

Закон достаточного основания

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

Что может служить достаточным  основанием? Истинность некоторых суждений подтверждается путём их непосредственного  сопоставления с фактами действительности. Скажем, для человека, явившегося свидетелем преступления, достаточным основанием для признания истинности суждения "Подозреваемый Х. совершил преступление" является его личный опыт. Но личный опыт ограничен, поэтому человеку приходится опираться на опыт других людей, опыт всего человечества, в том числе, и научный опыт, закрепленный в  принципах, аксиомах и законах. Истинность последних подтверждается практикой  человеческой истории и не нуждается  в дополнительном подтверждении.

Таким образом, достаточным  основанием какой-либо мысли, может  быть, другая мысль уже подтвержденная опытом. Если из истинности суждения А  следует истинность суждения В, то А  будет основанием для В, а В - следствием этого основания. Связь основания  и следствия является отражением в мышлении объективных связей, в  том числе и причинно-следственных, когда одна причина порождает  следствие. Однако следует уметь  отличать логические связи и причинно-следственные. Обоснованность - важнейшее свойство логического мышления, во всех случаях, когда мы утверждаем что-либо, убеждаем в чем-либо других, мы должны доказать наши суждения, приводить достаточные  основания, подтверждающие истинность наших мыслей.

Закон достаточного основания  имеет важное теоретическое и  практическое значение. Фиксируя внимание на суждениях, обосновывающих истинность выдвинутых положений, он помогает отделить истинное высказывание от ложного. Ничто  не должно приниматься на веру, для  каждого утверждения следует  указывать основания, в силу которых  оно считается истинным. Скажем, знаменитый софизм "Покрытый". Брата  прячут от сестры под покрывалом и  спрашивают: "знает ли она покрытого?". Она его не может не знать, но не знает, кто покрыт.

Итак, связи между мыслями, при которых истинность одних  с необходимостью обусловливает  истинность других, определяют законы логики. Следовательно, законы логики - это такие выражения, которые  являются истинными только в силу своей логической формы, то есть только на основании связи их составляющих. Другими словами логическим законом  является сама логическая форма, гарантирующая  истинность выражения при любом  содержании. Значит, закон логики, это  такое выражение, которое содержит только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Это так называемые законы связи между мыслями.