Законы классической логики

Размещено на http://www.allbest.ru/

Законы классической логики

Введение

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

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

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

Цель моего реферата рассмотреть основные законы классической формальной логики, их сущность и специфику.

1. Класическая логика

Классическая логика Термин, используемы в математической логике по отношению к той или иной логической системе для указания того, что для данной логики справедливы все законы (классического) исчисление высказываний, в том числе закон исключение третьего.

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

2. Три закона Аристотеля

Слово "логика" происходит от древнегреческого слова "логос", что означает "слово". В дословном переводе "логика" - это процесс "говорения", мышление, рассуждение. Логика представляет собой гуманитарную науку, философскую дисциплину.

Основоположником логики принято считать древнегреческого философа Аристотеля, которым впервые был показан "правильный" процесс мышления. Философ объяснил, как именно нужно мыслить и рассуждать, чтобы в результате достичь истины, и какие правила при этом нужно соблюдать.

Логикой в определенной степени владеют все разумные люди, даже те, кто не слышал о правилах логики и никогда не изучал ее как науку. Достаточно вспомнить известную фразу: "Где разум, где логика?" Любому человеку будет ясно, о чем идет речь, если кто-то назовет какое-либо суждение "логичным" или "нелогичным".

Более того, даже школьник почувствует ошибку в суждении: "Я иду в пальто, а ты идешь в магазин". Несмотря на то, что он не изучал логику и не знает логического закона тождества, который был нарушен в этом суждении, он скажет, что правильно надо говорить: "Я иду в пальто, а ты идешь в куртке", либо "Я иду в магазин, а ты идешь в кино". Об аналогичном нарушении законов логики говорит, например, известная поговорка "В огороде бузина, а в Киеве дядька".

Таким образом, человек использует логику на практике задолго до того, как начинает изучать ее теорию. Многие люди вообще ее не изучают, но все без исключения, независимо от возраста, национальности, социального статуса пользуются ею интуитивно.

Можно для сравнения привести знание русского языка. Говорить люди начинают в два-три года, а изучают русский язык уже в школе. Но ведь никто не задает вопроса, а зачем, собственно изучать русский язык, уже зная его? Ответ очевиден: чтобы знать его еще лучше и повышать свой культурный и образовательный уровень.

Так и с логикой: мы владеем ей на интуитивном уровне, используя в повседневной жизни. А изучать логику как науку нужно, чтобы владеть ею осознанно и использовать для совершенствования своего интеллекта. Изучая логику, мы совершенствуем свой разум и обогащаем его новыми знаниями. Эти знания не только важны сами по себе, но и способствуют повышению нашего интеллектуального уровня. Способность к правильному построению умозаключений необходима человеку, в какой бы сфере деятельности ему ни пришлось трудиться.

1. Закон тождества

Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления - его определенность - выражает закон тождества, пожалуй, самый простой из всех логических законов. Он говорит: если утверждение истинно, то оно истинно, "если а, то а". Например, если Земля вращается, то она вращается и т. п. Чистое утверждение тождества кажется настолько бессодержательным, что редко кем употребляется.

Всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а=а, где под а понимается любая мысль). Закон тождества может быть выражен формулой р>р (если р, то р), где р - любое высказывание, > - знак импликации.

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

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

С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Например, в уголовном праве словом "штраф" обозначают меру наказания, предусмотренную Уголовным кодексом, в гражданском праве этим словом обозначают меру административного воздействия. Очевидно, употреблять подобное слово в одном значении не следует.

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

2. Закон противоречия

Из бесконечного множества логических законов самым популярным является закон противоречия. Он был открыт одним из первых и сразу же объявлен наиболее важным принципом не только человеческого мышления, но и самого бытия.

Закон противоречия говорит о противоречащих друг другу высказываниях, т. е. о таких высказываниях, одно из которых является отрицанием другого. К ним относятся, например, высказывания "Луна - спутник Земли" и "Луна не является спутником Земли", "Трава - зеленая" и "Неверно, что трава зеленая" и т.п. В одном из противоречащих высказываний что-то утверждается, в другом - это же самое отрицается.

Если обозначить буквой а произвольное высказывание, то выражение не-а, будет отрицанием этого высказывания.

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

Этот закон формулируется следующим образом: неверно, что а и не-а (не могут быть истинными две мысли, одна из которых отрицает другую). Неверно, например, что трава зеленая и не зеленая, что Луна спутник Земли и не спутник Земли и т.д. Закон выражается формулой ¬(р^ р) (неверно, что р и не-р одновременно истинны). Под р понимается любое высказывание, под ^ р - отрицание высказывания р, знак ¬перед всей формулой - отрицание двух высказываний, соединенных знаком конъюнкции.

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

Контактные и дистантные противоречия

Противоречия бывают контактными, когда одно и то же утверждается и сразу же отрицается (последующая фраза отрицает предыдущую в речи, или последующее предложение отрицает предыдущее в тексте) и дистантными, когда между противоречащими друг другу суждениями находится значительный интервал в речи или в тексте. Например, в начале своего выступления лектор может выдвинуть одну идею, а в конце высказать мысль, противоречащую ей; так же и в книге в одном параграфе может утверждаться то, что отрицается в другом. Понятно, что контактные противоречия, будучи слишком заметными, почти не встречаются в мышлении и речи. Иначе обстоит дело с дистантными противоречиями: будучи неочевидными и не очень заметными, они часто проходят мимо зрительного или мысленного взора, непроизвольно пропускаются, и поэтому их часто можно встретить в интеллектуально-речевой практике. Так, Bитaлий Ивaнoвич Свинцов приводит пример из одного учебного пособия, в котором с интервалом в несколько страниц сначала утверждалось: "В первый период творчества Маяковский ничем не отличался от футуристов", а затем: "Уже с самого начала своего творчества Маяковский обладал качествами, которые существенно отличали его от представителей футуризма".

Явные и неявные противоречия

Противоречия также бывают явными и неявными. В первом случае одна мысль непосредственно противоречит другой, а во втором случае противоречие вытекает из контекста: оно не сформулировано, но подразумевается. Например, в учебнике "Концепции современного естествознания" из главы, посвященной теории относительности Aльбeрта Эйнштейна, следует, что, по современным научным представлениям, пространство, время и материя не существуют друг без друга: без одного нет другого. А в главе, рассказывающей о происхождении Вселенной, говорится о том, что она появилась примерно 20 млрд. лет назад в результате Большого взрыва, во время которого родилась материя, заполнившая собой все пространство. Из этого высказывания следует, что пространство существовало до появления материи, хотя в предыдущей главе речь шла о том, что пространство не может существовать без материи. Явные противоречия, так же как и контактные, встречаются редко. Неявные противоречия, как и дистантные, наоборот, в силу своей незаметности намного более распространены в мышлении и речи.

Мнимые противоречия

Важно отметить, что противоречия также бывают мнимыми. Некая мыслительная или речевая конструкция может быть построена так, что, на первый взгляд, выглядит противоречивой, хотя на самом деле никакого противоречия в себе не содержит. Например, известное высказывание Антона Пaвлoвича Чехова: "В детстве у меня не было детства", - кажется противоречивым, т. к. оно вроде бы подразумевает одновременную истинность двух суждений, одно из которых отрицает другое: "У меня было детство", "У меня не было детства". Таким образом, можно предположить, что противоречие в данном высказывании не просто присутствует, но и является наиболее грубым - контактным и явным. На самом же деле никакого противоречия в чеховской фразе нет. Вспомним, закон противоречия нарушается только тогда, когда речь идет об одном и том же предмете, в одно и то же время и в одном и том же отношении. В рассматриваемом высказывании речь идет о двух разных предметах: термин "детство" употребляется в различных значениях: детство как определенный возраст; детство как состояние души, пора счастья и безмятежности.

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

Закон исключенного третьего, как и закон противоречия, устанавливает связь между противоречащими друг другу высказываниями. И опять-таки идея, выражаемая им, представляется поначалу простой и очевидной: из двух противоречащих высказываний одно является истинным. Два противоречивых суждения не могут быть одновременно ложными, одно из них необходимо истинно: a есть либо b, либо не-b. Истинно либо утверждение некоторого факта, либо его отрицание.

Истинность отрицания равнозначна ложности утверждения. В силу этого закон исключенного третьего можно передать и так: каждое высказывание является истинным или ложным.

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

Эти суждения не могут быть одновременно ни истинными, ни ложными: если одно из них истинно, то другое ложно и наоборот. Противоречащим являются также два суждения об одном предмете, в одном из которых что - либо утверждается, а в другом то же самое отрицается. Например: "Суд вынес обвинительный приговор по делу К." и "Суд не вынес обвинительного приговора по делу К.". Одно из этих суждений необходимо истинно, другое - необходимо ложно.

Этот закон можно записать с помощью дизъюнкции: р v р, где р - любое высказывание, v р - отрицание высказывания р.

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

Конечно, закон исключенного третьего не может указать, какое именно из данных суждений истинно. Этот вопрос решается другими средствами. Значение закона состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса, причем одно из них (и только одно) необходимо истинно.

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

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

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

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

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

Требование доказанности, обоснованности мысли выражает закон достаточного основания: всякая мысль признается истинной, если она имеет достаточное основание. Если есть b, то есть и его основание a.

Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Так, для человека, явившегося свидетелем преступления, обоснованием истинности суждения "Н. совершил преступление" будет сам факт преступления, очевидцем которого он был. Но личный опыт ограничен. Поэтому человеку в своей деятельности приходится опираться на опыт других людей, например на показания очевидцев того или иного события. К таким основаниям прибегают обычно в следственной и судебной практике при расследовании преступлений.

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

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

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

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

Если из истинности суждения a следует истинность суждения b, то a будет основанием для b, а b - следствием этого основания.

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

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

Закон достаточного основания не совместим с различными предрассудками и суевериями. Например, существуют нелепые приметы: разбить зеркало - к несчастью, рассыпать соль - к ссоре и т.д., хотя между разбитым зеркалом и несчастьем, рассыпанной солью и ссорой нет причинной связи. Логика - враг суеверий и предрассудков. Она требует обоснованности суждений и не совместима поэтому с утверждениями, которые строятся по схеме "после этого - значит, по причине этого". Эта логическая ошибка возникает в случаях, когда причинная связь смешивается с простой последовательностью во времени, когда предшествующее явление принимается за причину последующего.

Будучи объективным, закон достаточного основания предъявляет к нашему мышлению важные требования: всякая истинная мысль должна быть обоснованной, или нельзя признать высказывание истинным, если для него нет достаточных оснований. Иными словами, ничего нельзя принимать на веру: надо основываться на достоверных фактах и ранее доказанных положениях. Этот закон направлен против бессвязных, хаотичных, бездоказательных рассуждений; голого, необоснованного теоретизирования; неоправданных, неубедительных выводов. Он враг всяких догм, пустых верований, суеверий и предрассудков.

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

Заключение

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

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

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

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

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

Глоссарий

Логика формальная - наука о формах, законах и операциях правильного мышления.

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

Закон тождества - всякая мысль в процессе рассуждения должна быть тождественна самой себе.

Закон противоречия - два несовместимых суждения не могут быть одновременно истинными; по крайней мере, одно из них необходимо ложно.

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

Закон достаточного основания - всякая мысль признается истинной, если она имеет достаточное основание.

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

Дистантное противоречие - когда между противоречащими друг другу суждениями находится значительный интервал в речи или в тексте.

Контактное противоречие - это когда одно и то же утверждается и сразу же отрицается (последующая фраза отрицает предыдущую в речи, или последующее предложение отрицает предыдущее в тексте).

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

Предикат - понятие, определяющее предмет суждения - субъект и раскрывающее его содержание.

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

Софизм - это внешне правильное доказательство ложной мысли с помощью преднамеренного нарушения логических законов.

Тождество - отношение между предметами (реальными или абстрактными), которое позволяет говорить о них как о неотличимых друг от друга, в какой-то совокупности характеристик.

Явное противоречие - когда одна мысль непосредственно противоречит другой.

Неявное противоречие - когда противоречие вытекает из контекста: оно не сформулировано, но подразумевается.

Список используемой литературы

1. Гетманова А.Д. Логика. Учеб. пособие.- М.: Дрофа, 1995.

2. Демидов И.В. Логика: Учебник- М., 2004

3. Иванов Е.А. Логика.- М., 2001

4. Ивин А.А. Логика. Учеб. пособие.- М.: Знание, 1998.

5. Кириллов В.И, Старченко А.А. Логика. Учебник.- М., 1995.

Размещено на Allbest.ru