Контрольная работа по "Логике". 152

МИНИСТЕРСТВО ОБРАЗОВАНИЯ  И НАУКИ

РОССИЙСКОЙ ФЕДЕРАЦИИ

Государственное образовательное учреждение высшего  профессионального образования

«Читинский  государственный университет»

Юридический институт

Кафедра факультета гуманитарной культуры

КОНТРОЛЬНАЯ РАБОТА

ПО ДИСЦИПЛИНЕ

«Логика»

ВАРИАНТ № 6

ЧИТА  - 2012

СОДЕРЖАНИЕ

ВВЕДЕНИЕ………………………………………………………………………..3 
1. Основные законы мышления…………………………………………………..5

2. Законы тождества………………………………………………………………6

3. Законы непротиворечия………………………………………………………..7

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

5. Законы достаточного основания……………………………………………..11

ЗАКЛЮЧЕНИЕ………………………………………………………………….14

ИСПОЛЬЗУЕМАЯ  ЛИТЕРАТУРА…………………………………………….16 

Введение

Целью Данной работы является рассмотрение вопроса о  законах логики и основных принципах правильного мышления.

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

Мы знаем, например, что существует явление объективной  действительности — отклонение кометы Галлея от заранее рассчитанной траектории. Очевидно, что это событие имеет свою объективную логику. Живет на Земле астроном, который рассуждает о причинах, последствиях этого отклонения. Его рассуждения по этому поводу составят логику мышления.

Логику же, как  науку может интересовать само это рассуждение с точки зрения того, какие мыслительные процедуры, какие логические операции используются, т.е. как рассуждает астроном, когда он размышляет об отклонении кометы Галлея? Вопрос «Как?» включает в себя главный логический компонент: правильно ли он рассуждает? Ответы на подобные вопросы дает логика.

Логику обычно определяют как науку о правильном мышлении.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Заключение

Логика всегда считалась философской наукой. Дело в том, что, будучи, вообще говоря, специальной  наукой, она в то же время является и некоторой специальной частью раздела философии, именуемого теорией познания (гносеологией, эпистемологией). Это значит, что само изучение логики выступает как философская пропедевтика. Особенно возросла роль логики для философии после того, как в ней — в рамках символической логики — сложились специальные методы познания, связанные с применением формализованных языков: аксиоматизация, формализация теорий и др. Применение этих методов продвинуло решение ряда проблем философии: о соотношении эмпирического и теоретического в познании, о диалектике формального и содержательного, о возможностях и пределах формализации и аксиоматизации, о выразительных возможностях языков различных типов и т. д. Впервые в истории философии получены результаты, относящиеся к философии математики и касающиеся природы математического знания, которые точно зафиксированы и доказаны в ряде теорем. Причем доказаны, как отмечают А. А. Френкель и И. Бар-Хилел, «в соответствии с наивысшими из известных критериев строгости, даже более строгими, чем те, что общеприняты при математических доказательствах».

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

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

Используемая  литература  
 
1. Бузук Г.Л., Ивин А.А., Панов М.И. Наука убеждать: логика и риторика в вопросах и ответах. М., 1992.  
2. Гжегорчик А. Популярная логика. М., 1979.  
3. Зегет В. Элементарная логика. М., 1985.  
4. Гетманова А.Д. Учебник по логике. М., 1994.  
5. Ивин А.А. По законам логики. М., 1983.  
6. Кириллов В.И., Старченко А.А. Логика. Учебник. М., 1987.  
7. Краткий словарь по логике. М., 1991.  
8. Уемов А.И. Логические ошибки: как они мешают правильно мыслить. М., 1958.  
9. Упражнения по логике. М., 1993.  
10. Аристотель. Метафизика // Соч.: в 4-х т. М., 1976. Т. 1. С. 1125, 141  
11. Маркс К. и Энгельс Ф. Соч. 2-е изд. Т. 23.С. 176.