Основные формально – логические законы

Государственное образовательное учреждение

высшего профессионального образования

«РОССИЙСКАЯ ТАМОЖЕННАЯ АКАДЕМИЯ»

Кафедра гуманитарных дисциплин

 

 

 

РЕФЕРАТ

по дисциплине «Логика»

на тему «Основные формально – логические законы»

 

 

                                                                                            Выполнила: Сорокина М.Г., студент 1-го курса

                                                                                            очной формы обучения  юридического факультета

                                                                                            группа  ЮБ 1301

                                                                                            Проверил: Демидов Игорь Владимирович

                                                                                            Оценка:

                                                                                            .                                                                                .

                                                                                            Подпись

 

                                                                                            «     »                        2013г.                                                

 

                  

 

 

 

Люберцы

2013

Содержание:

 

Введение.

1. Законы формальной логики.
2. Общая характеристика формально-логических  законов.

1. Закон тождества.
2. Закон противоречия.
3. Закон исключенного третьего.
4. Закон достаточного основания.

3. Заключение.

4. Список литературы.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Введение.

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

     Существует бесчисленное множество законов логики, отражающих различные виды связи между суждениями и понятиями. К числу логических законов относятся, например, те необходимые условия, которым должны удовлетворять различные логические операции. Эти условия формулируются часто в виде правил. Таковы, например, правила определения, правила деления и тому подобные. Большое значение в логике имеют законы, выражающие зависимость истинности (или ложности) одних суждений от истинности (или ложности) других. Эти законы определяют логически правильные формы умозаключений. Примером логического закона может служить утверждение: «Если все М суть Р и все S суть М, то все S суть Р». Мы можем подставить любые конкретные по содержанию понятия вместо М, Р и S в указанное предложение, всякий раз все это предложение будет истинным. Подобные выражения в современной символической (математической) логике получают название тождественно-истинных.

Практически в ряде учебников по логике рассматриваются  десятки законов (например, в учебнике В.А. Бочарова и В.И. Маркина «Основы логики», 1997, их упомянуто 32). Однако во многих учебниках среди множества логических законов принято выделять следующие четыре:

1. закон тождества,
2. закон противоречия,
3. закон исключенного третьего
4. закон достаточного основания.

Они считаются  основными формально-логическими  законами.

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

 

Законы формальной логики.

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

     Мышление, которое осуществляется в соответствии с формально-логическими законами, называется правильным.

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

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

     Законы основные, так называются потому, что они имеют место в любой форме нашего рассуждения. Три основных закона – закон тождества, не противоречия, исключенного третьего – были разработаны Аристотелем, а закон достаточного основания был сформулирован Г. Лейбницем. В совокупности эти законы делают наше мышление определенным, последовательным, непротиворечивым и обоснованным.

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

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

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

Общая характеристика формально-логических законов.

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

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

     Из тавтологии «Дождь идет или не идет» мы ничего не можем узнать о погоде. Тавтология «Неверно, что Пегас, есть, и его нет» ровным счетом ничего не говорит о существовании Пегаса. Ни одна тавтология не несет содержательной информации о мире.

     Тавтология не описывает никакого реального положения вещей. Она совместима с любым таким положением. Немыслима ситуация, сопоставлением с которой тавтологию можно было бы опровергнуть.

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

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

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

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

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

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

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

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

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

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

     Например, в сказке Л. Кэрролла «Приключения Алисы в стране чудес» Алиса в течение дня несколько раз сильно меняется – то вдруг вырастает, то уменьшается в размерах, но она все же остается той же самой Алисой и не превращается в других обитателей страны чудес. Иначе повествование о ней было бы невозможным.