Формально-логические законы сложились в результате многовековой практики человеческого познания как отражение самых обычных свойств и отношений предметов действительности, - их качественной определенности, относительной устойчивости. Ведь каждый предмет, несмотря на происходящие с ним изменения, остается относительно определенным предметом с присущими ему свойствами, позволяющими отличать его от других предметов. Например, каждый человек на протяжении своей жизни меняется; меняются его привычки, черты характера, внешний облик. Тем не менее, несмотря на все изменения, он остается определенным человеком, с присущими ему особенностями, отличающими его от других людей.
Качественная определенность предметов и их свойств составляет объективную основу законов тождества, непротиворечия и исключенного третьего. Закон достаточного основания является логическим выражением причинно- следственных связей.
Отражая связи и отношения предметов действительности, согласуясь с ее законами, законы формальной логики не являются непосредственно законами самих вещей и явлений. Это отличает их от диалектических законом мышления, представляющих собой отраженный в человеческой голове законы развития внешнего мира. Формально-логические законы - это законы правильного построения и связи мыслей. Выражая необходимые условия правильного мышления, они действуют в любом рассуждении, в познании любых предметов и явлений, в том числе в познании сложных диалектических процессов.
Закон тождества
Закон тождества формулируется следующим образом: всякая мысль тождественна сама себе, а есть а (или а=а), где а обозначает любую мысль. Из сущности этого закона вытекает важное требование: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные.
Требование закона тождества очевидно, однако нередки случаи, когда оно нарушатся. Отождествление различных мыслей или различение тождественных мыслей возникает, например ,в связи с особенностями их языкового выражения. Одну и туже мысль можно выразить в различной языковой форме, что нередко приводит к изменению первоначального смысла понятия, к подмене одной мысли другой. Особенно опасны в этом отношении синонимы и омонимы, неправильное употребление которых ведет к нарушению логического строя мысли. Так, под словом "заключение" в логике понимают суждение, вытекающее из других посылок. Этим же словом обозначается состояние лица, лишенного свободы, подвергнутого аресту. Употребление таких слов в одном значении означает отождествление различных понятий, и, наоборот, употребление одного из них в различных понятиях означает ошибочное различение тождественных понятий. И в первом и во втором случаях требование закона тождества нарушено.
Отождествление различных мыслей может произойти в результате того, что разные люди в зависимости от профессии, жизненного опыта и т. д. вкладывают в одно и тоже понятие разный смысл.
Отождествление различных понятий представляет собой логическую ошибку - подмену понятия, сущность которой состоит в том, что вместо данного понятия и под видом данного понятия употребляют другое понятие. При чем эта подмена может быть как неосознанной, так и сознательной, преднамеренной, Подмена понятия означает подмену предмета рассуждения. Рассуждение в этом случае будет относиться к разным предметам, хотя они и будут ошибочно приниматься за один предмет.
Ошибкой, сходной с подменой понятия, является подмена тезиса. Эта ошибка возникает в доказательстве или опровержении, когда доказывается или опровергается не выдвинутое положение (тезис), а другое положение, которое принимается за выдвинутое.
Указанные ошибки возникают во многих логических формах и операциях, в том числе в умозаключениях и доказательствах, где они будут рассмотрены.
Закон тождества, таким образом, одно из важнейших свойств логического мышления - определенность.
Отождествление широко используется в следственной практике, например, при сличении документов, подписей, отпечатков пальцев. Так же закон тождества используется в науке, искусстве, в программах для работы ЭВМ, в школьном преподавании, в повседневной жизни.
Закон непротиворечия
Для того, чтобы правильно познать действительность, наши суждения не должны быть противоречивыми. Противоречия делают мышление непоследовательным, бессвязным, они разрушают мысль, затрудняют процесс познания.
Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два противоположных суждения не могут быть одновременно истинными; по крайне мере одно из них необходимо ложно.
Закон непротиворечия действует в отношении всех противоположных суждений - и противных (контрарных) и противоречащих (контрадикторных). Он указывает, что два противоположных суждения не могут быть одновременно истинными, одно из них необходимо ложно. Что касается другого суждения, то оно может быть как истинным, так и ложным.
Закон непротиворечия можно выразит формулой, применяемой математической логикой в исчислениях высказываний: не-(а или не-а) (неверно, что а и не-а одновременно истинны). В этой формуле под а имеется ввиду любое суждение, под не-а - суждение, отрицающее суждение а, а общее отрицание - отрицание двух суждений, соединенных знаком конъюнкции. Утверждая что-либо о каком-либо предмете, мы не можем, не противореча себе, отрицать то же самое о том же самом предмете, взятом в то же самое время и в том же самом отношении.
Если мы утверждаем принадлежность предмету одного признака и в то же время отрицаем принадлежность этому же предметы другого признака, никакого противоречия не будет. Не будет противоречия между суждениями, если речь идет о разных предметах. Противоречия не будет и в том случае, если мы что либо утверждали и то же самое отрицает относительно одного лица, но рассматриваемого в разное время. Наконец, один и тот же предмет нашей мысли может рассматриваться в разном отношении.
В основе закона непротиворечия лежит качественная определенность вещей и явлений, относительная устойчивость их свойств. Отражая эту сторону действительности, закон непротиворечия требует, чтобы мышление не допускало противоречивых утверждений. Если, например, предмет А имеет определенное свойство, то в суждениях об этом предмете мы обязаны утверждать это свойство, а не отрицать его и не приписывать данному предмету того, чего у него нет.
Не следует ли из этого, что закон непротиворечия отрицает всякие противоречия?
Прежде всего нужно строго отличать формально-логические противоречия от противоречий объективной действительности.
Противоречия, существующие объективно, - внутренний источник развития вещей и явлений материального мира. Это - реальные, действительные противоречия, которые отражает и должно отражать мышление при помощи действующих в нем диалектических законов. Формально-логические противоречия - это противоречия путаного, неправильного рассуждения, не являющиеся отражением жизненных, диалектических противоречий и затрудняющие познание действительности.
Закон непротиворечия имеет важное значение в теоретической и практической деятельности человека.
Сознательное использование закона непротиворечия помогает более успешно обнаруживать и устранять противоречия в своих и чужих рассуждениях, выработать критическое отношение ко всякого рода неточности, непоследовательности в мыслях.
Не могут быть одновременно истинными следующие четыре типа простых суждений:
1. "Данное S есть P" и "Данное S не есть P"
2. "Ни одно S не есть P" и "Все S есть P"
3. "Все S есть P" и "Некоторые S не есть P"
4. "Ни одно S не есть P" и "Некоторые S есть P".
Закон исключенного третьего
Закон непротиворечия указывает, что из двух противоположных суждений одно необходимо ложно. Но поскольку он распространяется и на противные, и на противоречащие суждения, вопрос о втором суждении остается открытым: оно может быть как истинным, так и ложным.
Отношения между двумя пртиворечащими суждениями выражает закон исключенного третьего: два противоречащих суждения не могут быть одновременно ложными: одно из них необходимо истинно; другое - необходимо ложно; третье суждение исключено.
Закон исключенного третьего может быть записан при помощи дизъюнкции в виде формулы а и не-а (истинно или а, или отрицание а), где а - любое суждение, не-а - отрицание суждения а. Суждение а и его отрицание не-а соединены при помощи дизъюнкции.
Поскольку закон исключенного третьего действует только в отношении противоречащих суждений, из которых одно необходимо истинно, а другое необходимо ложно, то рассуждение ведется по формуле: " или-или" ("либо-либо"). Третьего не дано.
Таким образом, подобно закону непротиворечия закон исключенного третьего выражает последовательность, непротиворечивость мышления, не допускает противоречий в мыслях. Но вместе с тем он представляет собой дальнейшее развитие закона непротиворечия, устанавливая, что два противоречащих суждения не могут быть не только одновременно истинными (на что указывает закон непротиворечия), но они не могут быть также одновременно ложными: если истинно одно из них, то другое необходимо ложно.
Закон исключенного третьего формулирует очень важные требование к нашим мыслям: нельзя уклоняться от признания истинным одного из двух противоречащих друг другу высказывай и искать нечто третье между ними. Если одно из них признано истинным, то другое надо признать ложным, а не искать третье.
Конечно, закон исключенного третьего не может указать, какое именно из данных суждений истинно. Этот вопрос решается при помощи практики, устанавливающей соответствие или несоответствие суждения объективной действительности. Однако значение этого закона в познании, в исследовании истины состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса, причем одно из них (и только одно) необходимо является истинным. Всякое третье, среднее решение исключено.
Закон исключенного третьего требует ясных, определенных ответов, указывая на возможность отвечать на один и тот же вопрос в одном и том же смысле и "да" и "нет", на невозможность искать нечто среднее между утверждением чего-либо и отрицанием того же самого.
Закон исключенного третьего, не рассматривая самих противоречий, запрещает признавать одновременно истинным или одновременно ложным два противоречащих друг другу суждения. В этом и состоит его смысл.
Отрицающими являются следующие пары суждений:
1. "Это S есть P" и "Это S не есть P"
2. "Все S есть P" и "Некоторые S не есть P"
3. "Ни одно S не есть P" и "Некоторые S есть P".
Закон достаточного основания
Наши мысли о каком-либо факте, явлении, событии могут быть истинными и ложными. Высказывая истинную мысль, мы должны обосновывать ее истинность, т. е. доказать ее соответствие с действительностью.
Требование доказательности мышления, обоснованности суждений выражает закон достаточного основания, который формулируется следующим образом: всякая истинная мысль имеет достаточное основание.
Достаточным, т. е. действительным, невымышленным основанием наших мыслей может являться личный опыт, индивидуальная практика. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности.
Но личный опыт ограничен. Поэтому человеку в своей деятельности приходится опираться на опыт других людей.
Благодаря развитию научных знаний человек все шире использует в качестве оснований своих мыслей предыдущий опыт всего человечества, закрепленный в законах и аксиомах науки, в принципах и положениях, существующих в любой области человеческой деятельности.
Истинность законов, аксиом и т. д. подтверждена практикой человечества и не нуждается поэтому в новом подтверждении. Для подтверждения какого-либо частного случая нет необходимости обращаться к его практической проверке, обосновывать его при помощи личного опыта. Если, например, нам известен закон Архимеда (всякое тело, погруженное в жидкость, теряет в своем весе столько, сколько весит вытесненная им жидкость), то нет никакой необходимости погружать в жидкость какой-либо предмет, чтобы выяснить, сколько он теряет в весе. Закон Архимеда будет достаточным основанием для подтверждения этого частного случая.
Благодаря науке, которая в своих законах и принципах закрепляет всю общественно-историческую практику человечества, мы для обоснования наших мыслей не прибегаем всякий раз к их практической проверке, а обосновываем их теоретически, путем сопоставления с установленными уже ранее закономерностями.
Таким образом, достаточным основанием какой либо мысли может быть любая другая, уже проверенная и признанная истинной мысль, из которой вытекает истинность другой мысли.
Если из истинности суждения а следует истинность суждения b, то а будет логическим основанием для b, а b - логическим следствием этого основания. Связь логического основания с логическим следствием может быть выражена при помощи импликации a{СИМВОЛ 174 f "Symbol"}b, где а- логическое основание, b - логическое следствие. В некоторых случаях основание в свою очередь нуждается в обосновании своей истинности. Если, например, суждение с обосновывается при помощи суждения b, которое в свою очередь обосновывается суждением а, то перед нами цепь суждений, связанных друг с другом следующим образом: a{СИМВОЛ 174 f "Symbol"}b{СИМВОЛ 174 f "Symbol"}c.
Закон достаточного основания имеет важное теоретическое и практическое значение. Фиксируя внимание на суждениях, обосновывающих истинность выдвинутых положений, этот закон помогает отделить истинное от ложного и прийти к верному выводу. Требование закона достаточного основания сводиться к тому, что всякое суждение, прежде чем быть принятым за истину, должно быть обоснованно.
Обоснованность - важнейшее свойство логического мышления. Во всех случаях, когда мы утверждаем что-либо, убеждаем в чем-либо других, мы должны доказывать наши суждения, приводить достаточные основания, подтверждающие истинность наших мыслей.
Заключение
Итак, в заключении нужно сказать, что соблюдение законов логики - необходимое условие достижения истины в процессе рассуждения. Логические принципы действуют независимо от воли людей, не созданы по их воле и желанию. Они являются отражением связей и отношений вещей материального мира. Общечеловеческий характер принципов формальной логики состоит в том, что во все исторические времена люди всех классов, всех национальностей мыслят по одним и тем же логическим законам. Логика нужна во всех направлениях деятельности, и часто мы используем логику подсознательно, даже не задумываясь что это какой-либо формально-логический закон.
Оглавление:
1. Общая характеристика формально-логических законов
2. Закон тождества
3. Закон непротиворечия
4. Закон исключенного третьего
5. Закон достаточного основания
6. Заключение
7. Оглавление
8. Список использованной литературы
Список использованной литературы
1. Кириллов В. И., Логика
2. Гетманова А. Д., Учебник по логике