Сравнение основных законов мышления в формальной логике (стр. 2 из 3)
Закон исключенного третьего может быть записан при помощи дизъюнкции в виде формулы а и не-а (истинно или а, или отрицание а), где а - любое суждение, не-а - отрицание суждения а. Суждение а и его отрицание не-а соединены при помощи дизъюнкции. Поскольку закон исключенного третьего действует только в отношении противоречащих суждений, из которых одно необходимо истинно, а другое необходимо ложно, то рассуждение ведется по формуле: " или-или" ("либо-либо"). Третьего не дано. Таким образом, подобно закону непротиворечия закон исключенного третьего выражает последовательность, непротиворечивость мышления, не допускает противоречий в мыслях. Но вместе с тем он представляет собой дальнейшее развитие закона непротиворечия, устанавливая, что два противоречащих суждения не могут быть не только одновременно истинными (на что указывает закон непротиворечия), но они не могут быть также одновременно ложными: если истинно одно из них, то другое необходимо ложно.
Закон исключенного третьего формулирует очень важные требование к нашим мыслям: нельзя уклоняться от признания истинным одного из двух противоречащих друг другу высказывай и искать нечто третье между ними. Если одно из них признано истинным, то другое надо признать ложным, а не искать третье. Конечно, закон исключенного третьего не может указать, какое именно из данных суждений истинно. Этот вопрос решается при помощи практики, устанавливающей соответствие или несоответствие суждения объективной действительности. Однако значение этого закона в познании, в исследовании истины состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса, причем одно из них необходимо является истинным. Всякое третье, среднее решение исключено.
Закон исключенного третьего требует ясных, определенных ответов, указывая на возможность отвечать на один и тот же вопрос в одном и том же смысле и "да" и "нет", на невозможность искать нечто среднее между утверждением чего-либо и отрицанием того же самого. Закон исключенного третьего, не рассматривая самих противоречий, запрещает признавать одновременно истинным или одновременно ложным два противоречащих друг другу суждения. В этом и состоит его смысл.
Четвёртый закон, это закон достаточного основания. Этот закон объясняет человеку то, что все мысли которые можно объяснить считаются истинными, а те которые объяснить нельзя - те ложные. Если человек пользуется этим законом, то он должен уметь отстаивать свои убеждения в спорах. Наши мысли о каком-либо факте, явлении, событии могут быть истинными и ложными. Высказывая истинную мысль, мы должны обосновывать ее истинность, т. е. доказать ее соответствие с действительностью. Требование доказательности мышления, обоснованности суждений выражает закон достаточного основания, который формулируется следующим образом: всякая истинная мысль имеет достаточное основание. В логике высказываний этот закон формулы не имеет, так, как он имеет содержательный характер. Достаточным, т. е. действительным, невымышленным основанием наших мыслей может являться личный опыт, индивидуальная практика. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Но личный опыт ограничен. Поэтому человеку в своей деятельности приходится опираться на опыт других людей. Благодаря развитию научных знаний человек все шире использует в качестве оснований своих мыслей предыдущий опыт всего человечества, закрепленный в законах и аксиомах науки, в принципах и положениях, существующих в любой области человеческой деятельности. Истинность законов, аксиом и т. д. подтверждена практикой человечества и не нуждается поэтому в новом подтверждении. Для подтверждения какого-либо частного случая нет необходимости обращаться к его практической проверке, обосновывать его при помощи личного опыта. Если, например, нам известен закон Архимеда (всякое тело, погруженное в жидкость, теряет в своем весе столько, сколько весит вытесненная им жидкость), то нет никакой необходимости погружать в жидкость какой-либо предмет, чтобы выяснить, сколько он теряет в весе. Закон Архимеда будет достаточным основанием для подтверждения этого частного случая.
Благодаря науке, которая в своих законах и принципах закрепляет всю общественно-историческую практику человечества, мы для обоснования наших мыслей не прибегаем всякий раз к их практической проверке, а обосновываем их теоретически, путем сопоставления с установленными уже ранее закономерностями. Таким образом, достаточным основанием какой либо мысли может быть любая другая, уже проверенная и признанная истинной мысль, из которой вытекает истинность другой мысли. Закон достаточного основания имеет важное теоретическое и практическое значение. Фиксируя внимание на суждениях, обосновывающих истинность выдвинутых положений, этот закон помогает отделить истинное от ложного и прийти к верному выводу. Требование закона достаточного основания сводиться к тому, что всякое суждение, прежде чем быть принятым за истину, должно быть обоснованно.
Обоснованность - важнейшее свойство логического мышления. Во всех случаях, когда мы утверждаем что-либо, убеждаем в чем-либо других, мы должны доказывать наши суждения, приводить достаточные основания, подтверждающие истинность наших мыслей.
Основная часть: анализ сути законов методом их сравнения.
Зная законы, текст законов и матевировку их внутренней логики у нас есть возможность сравнить эти законы и показать их сходство и различие, а также взаимопроникновение одного закон в другой.
1. Первый закон - закон тождества демонстрирует логику одинаковых понятий и суждений, в то время, как второй закон непротиворечия демонстрирует о логической несовместимости разных в том числе противоположных суждений, то есть два противоположных суждения не могут быть одновременно истинными.
2. В тоже время формально-логические нарушения как закона тождества, так и закона непротиворечия - это противоречие неправильных рассуждений, затрудняющих познание действительности и демонстрирует непоследовательность мысли.
3. Третий закон - закон исключённого третьего демонстрирует наложение или сочетание первого и второго закона. Если двух понятий, одно истинно, а другое ложно, то следовательно тождества нет и в то же время, если одно истинно, а другое ложно, то больше ничего утверждать нельзя по закону непротиворечия, таким образом третье суждение исключается. В тоже время такое различие в известной мере натянуто, так как закон исключённого третьего логичен сам по себе и нарушение данного закона и признание существования третьего суждения одновременно с двумя противоположными непременно приводит к путанице, к нарушению формальной логики, а проще говоря, к бессмыслице. Также закон непротиворечия и за исключением третьего выражает последовательность и не допускает противоречия в мыслях. Вместе с тем закон исключённого третьего представляет собой дальнейшее развитие закона непротиворечия, устанавливая, что два противоположных суждения не могут быть не только одновременно истинными, но и одновременно ложными, следовательно, если одно суждение истинно, то другое неизбежно ложно (и третьего не дано).
4. В отличие от первых трёх законов которые можно выразить формулой, Закон достаточного основания, формулы не имеет, так как носит содержательный характер и указывает на необходимость доказать какое-либо понятие или суждение и их соответствие действительности. Но поскольку истина всегда относительна, постольку на каждом этапе развития человечества вполне могут появляться новые более совершенные доказательства какого-либо понятия.
5. Как и первые три закона, Закон достаточного основания сопутствует логическому мышлению, а его нарушения недостаточная аргументация каких-либо положений и суждений по прежнему приводит к путанице и алогичности.
Закон мышления - внутренняя, существенная, необходимая связь между мыслями. Наиболее простые и вместе с тем необходимые связи выражаются в основных формально-логических законах: тождества, непротиворечия, исключенного третьего и достаточного основания. Эти законы называются основными, потому что выражают важные свойства правильного мышления: его определенность, непротиворечивость, последовательность и обоснованность. Они имеют необходимый и всеобщий характер, действуют во всяком процессе мышления не зависимо от того, в какой форме он протекает. Кроме основных, существуют формально-логические законы, связанные с отдельными формами мышления, с отдельными логическими операциями, например, закон обратного отношения между объемом и содержанием понятия и другие.
Формально-логические законы сложились в результате многовековой практики человеческого познания как отражение самых обычных свойств и отношений предметов действительности, - их качественной определенности, относительной устойчивости. Ведь каждый предмет, несмотря на происходящие с ним изменения, остается относительно определенным предметом с присущими ему свойствами, позволяющими отличать его от других предметов. Например, каждый человек на протяжении своей жизни меняется; меняются его привычки, черты характера, внешний облик. Тем не менее, несмотря на все изменения, он остается определенным человеком, с присущими ему особенностями, отличающими его от других людей.
Качественная определенность предметов и их свойств составляет объективную основу законов тождества, непротиворечия и исключенного третьего. Закон достаточного основания является логическим выражением причинно- следственных связей.