Логические законы

Помимо законов материалистической диалектики человеческое мышление подчиняется еще законам логики. Вот основные законы логики: закон тождества, закон непротиворечия, закон исключенного третьего, закон достаточного основания и т.д. Они используются при оперировании понятиями и суждениями , применяются вумозаключениях, доказательствах и опровержениях . Первые три были открыты Аристотелем , четвертый - В. Г. Лейбницем . Логические законы отражают в сознании человека определенные отношения, существующие между объектами, или отражают такие обычные свойства предметов, как их относительная устойчивость, определенность, несовместимость в одном и том же предмете одновременного наличия и отсутствия одних и тех же признаков. Законы логики отражают объективное в субъективном сознании человека, поэтому их нельзя отменить или заменить другими. имеют общечеловеческий характер, т. к. они едины для людей всех рас, наций, профессий. Основные логические законы сложились исторически в результате многовековой практики познания . Они отражают такие важные свойства правильного мышления, как его определенность, непротиворечивость, обоснованность, четкость мышления, выбор "или-или" в определенных "жестких" ситуациях. Кроме основных, существует много неосновных законов логики, которые надо выполнять при оперировании понятиями, или суждениями, или умозаключениями. Законы логики, как основные, так и неосновные в мышлении функционируют в качестве принципов правильного рассуждения в ходе доказательства истинных суждений и теорий и опровержения ложных суждений и ложных гипотез. Законы логики играют роль универсальных связей мышления и общих принципов любой мыслительной деятельности, выражающих требования методологического характера. Нарушение Законов логики приводит к логической ошибке - как непреднамеренной - паралогизму (от греч. paralogismos), так и сознательной - софизму (от греч. sophisma – уловка, выдумка, головоломка), хотя эти типы ошибок возникают и в других ситуациях.

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

Данный закон , сформулированный в 17 веке Г. В. Лейбницем, "гласит, что ни одно явление не может быть действительным, ни одно утверждение истинным без достаточного основания, почему именно дело обстоит так, а не иначе. В настоящее время она звучит так: "Всякая истинная мысль должна быть достаточно обоснованной "" [1, с. 40]. При этом речь идет об обосновании только истинной мысли, ибо достаточно обосновать ложный тезис (ложное суждение) невозможно. В отличие от законов тождества, непротиворечия, исключенного третьего , которые имеют содержательную формулировку, а в математической логике выражаются формулами, у закона достаточного основания формулы нет, т. к. ему присущ только содержательный характер.

Достаточным основанием для обоснования истинности тезиса является доказательство с применением удостоверенных фактов, определений понятий, аксиом и постулатов, законов науки и теорем.

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

Закон исключенного третьего.

У предметов объективного мира какой-либо признак, или присутствует, или его нет. Так, например, из двух суждений: "У птицы есть крылья", и "У птицы нет крыльев", первое истинно, второе - ложно, и третьего - промежуточного - суждения не может быть. Закон исключенного третьего впервые был открыт и сформулирован Аристотелем . Двузначная логика имеет дело с жесткой ситуацией, где суждение может быть либо истинным, либо ложным и каждое суждение может иметь только одно из этих истинностных значений. Формулировка закона исключенного третьего такова: "Из двух противоположных суждений, одно истинно, другое ложно, а третьего не дано " [1, с. 42]. В противоречащих (контрадикторных) суждениях , отрицающих друг друга, одно суждение истинно, а другое - ложно. К противоречащим относятся суждения простые следующих трех типов, где S - одинаковые термины и P - одинаковые термины: 1. - "Данное S есть P" и Е - "Данное S не есть Р". 2. А - "Все S есть Р" и О - "Некоторые S не есть Р". 3. Е - "Ни одно S не есть Р" и J - "Некоторые S есть Р". Одно из этих суждений в каждой из пар можно обозначить переменной а, а другое - а. Формула закона исключенного третьего в исчислении высказываний двузначной логики записывается так: а / а (где знак "/" обозначает нестрогую дизъюнкцию, союз "или"). Точнее этот закон выраж