Основные законы логики

Автор: Пользователь скрыл имя, 05 Апреля 2013 в 11:50, контрольная работа

Краткое описание

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

Оглавление

1. Основные законы мышления: тождества, непротиворечия, исключенного третьего, достаточного основания.
2. Законы логики и логическая культура мысли.
3. Упражнение
4. Литература

Файлы: 1 файл

К.р Логика.docx

— 34.23 Кб (Скачать)

ТЕМА 14. Основные законы логики

План

1. Основные законы мышления: тождества, непротиворечия, исключенного  третьего, достаточного основания. 

2. Законы логики и логическая  культура мысли. 

3. Упражнение

4. Литература 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

  1. Основные законы мышления

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

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

Законы логики являются отражением в сознании человека определенных отношений  между предметами объективного мира. Формально-логические законы не могут  быть отменены или заменены другими. Они имеют обще человеческий характер: они едины для всех людей различных  рас, наций, классов, профессий. Законы логики – это законы правильного  мышления, а не законы самих вещей  или явлений мира. Кроме этих четырех формально-логических законов, отражающих важные свойства правильного мышления, - определенность, непротиворечивость, четкость мышления выбор «или – или» в определенных «жестких» ситуациях, - существует много других формально-логических законов, которым должно подчиняться правильное мышление в процессе оперирования правильными отдельными формами мышления (понятиями, суждениями, умозаключениями).

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

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

Этот закон формулируется  так: «В процессе определенного рассуждения  всякое понятие и суждение должны быть тождественны сами себе». В математической логики законы тождества выражаются такими формулами:

а=а (в логике высказанной) и

А=А (в логике классов, в которой классы отождествляются с объектами понятий).

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

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

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

Если предмет А обладает определенным свойством, то в суждениях об А люди должны утверждать это свойство, а не отрицать его. Если же человек, утверждая что-либо, отрицает то же самое или утверждает что-то несовместимое с первым, налицо логическое противоречие. Формально-логические противоречия – это противоречия путаного, неправильного рассуждения. Такие противоречия затрудняют познание мира. Древнегреческий философ и ученый Аристотель считал «…Невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и тому же в одном и том же отношении». Эта формулировка указывает на необходимость для человека не допускать в своем мышлении и речи формально-противоречивые высказывания, в противном случае его мышление будет неисправимым.

Мысль противоречива, если мы об одном и том же предмете в  одно и то же время и в одном  и том же отношении нечто утверждаем и то же самое отрицаем. Например: «Кама – приток Волги» и «Кама не является притоком Волги». Или: «Лев Толстой – автор романа «Воскресенье» и «Лев Толстой не является автором романа «Воскресенье№».

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

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

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

а^а

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

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

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

В книге «Метафизика» Аристотель сформулировал закон исключения третьего так: «Равным образом не может быть ничего промежуточного между  двумя членами противоречия, а  относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать». В двузначной традиционной логике закон исключения третьего формулируется так: «Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано». Противоречащими (контрадикторными) называются такие два суждения, в одном из которых что-либо утверждается о предмете, а в другом то же самое об этом предмете отрицается, поэтому они не могут быть оба одновременно истинными и оба ложными; одно из них истинно, а другое обязательно ложно. Такие суждения называются отрицающими друг друга. Так, из двух суждений: «Джеймс Фенимор Купер является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» и «Джеймс Фенимор Купер не является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» первое истинно, второе ложно, и третьего – промежуточного - суждения не может быть.

Различие в областях определения (т.е. применения) этих законов в том, что по отношению противных (контрарных) суждений, которые оба не могут  быть истинными, но оба могут быть ложными, распространяется действие лишь закона непротиворечия и не распространяется действие закона исключения третьего. Итак, сфера действия содержательного  закона непротиворечия шире, чем сфера  действия содержательного закона исключения третьего. Действительно, истинно одно из двух суждений: «Все дома в данной деревне электрифицированы» или  «Некоторые дома в данной деревне  не являются электрифицированными»  и третьего не дано.

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

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

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

- А - это логическое  следствие, т.е. мысль, которая  вытекает из предыдущей мысли; 

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

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

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

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

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

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

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

В этом плане показательны действия литературного героя А. Конан Дойля - Шерлока Холмса. Он с высокой степенью достоверности  по следствию восстанавливал причину  путем построения умозаключений  от логического основания (реального следствия) к логическому следствию (реальной причине). Необходимо также отметить, к примеру, что врачи при постановке диагноза заболевания человека также идут от реального следствия к реальной причине, поэтому их выводы должны особенно тщательно проверяться и убедительно аргументироваться.

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

  1. Законы логики и логическая культура мысли

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

Первый и наиболее важный закон логики — это закон тождества, который был сформулирован Аристотелем  в трактате «Метафизика» следующим  образом: «…иметь не одно значение — значит не иметь ни одного значения; если же у слов нет значений, тогда  утрачена всякая возможность рассуждать друг с другом, а в действительности — и с самим собой; ибо невозможно ничего мыслить, если не мыслить что-нибудь одно».

Информация о работе Основные законы логики