Законы логики и их истолкование

 

Содержание.

 

Введение                                                                                                                 

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

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

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

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

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

2. Второстепенные законы  логики                                                                         

2.1 Закон двойного  отрицания                                                                             

2.2 Законы контрапозиции                                                                                   

2.3 Модус поненс                                                                                                  

2.4 Модус толленс                                                                                                

2.5 Модус понендо толленс                                                                                 

2.6 Модус толлендо  поненс                                                                                 

2.7 Законы де Моргана                                                                                         

2.8 Закон приведения  к абсурду                                                                          

2.9 Закон косвенного  доказательства                                                                

2.10 Закон Клавия                                                                                                 

2.11 Закон транзитивности                                                                                  

2.12 Закон ассоциативности  и коммутативности                                              

2.13 Закон Дунса Скотта                                                                                   

Заключение                                                                                                            

Литература                                                                                                             

 

 

 

Введение.

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

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

Нарушение законов логики приводит к логической ошибке: как непреднамеренной – паралогизму, так и сознательной – софизму.

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

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

Цель работы – полностью истолковать  основные законы логики, а также  кратко охарактеризовать некоторые  второстепенные законы, тем самым  раскрыть тему контрольной работы.

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

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

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

А → А,

если А, то А. Например: «если дом высокий, то он высокий», «Если трава черная, то она черная» и т.п.

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

«Применительно к абстрактным  объектам принцип тождества принимается  в качестве интуитивно очевидного постулата, лежащего в основе логики и рационального  мышления в целом.

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

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

Эмпирические объекты тождественны друг другу, если и только если они  обладают одними и теми же свойствами».

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

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

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

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

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

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

Закон противоречия выражается формулой:

~ (А & ~A),

неверно, что А и не –А.

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

Если применить понятия истины и лжи, закон противоречия можно  сформулировать так: никакое высказывание не является вместе истинным и ложным.

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

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

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

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

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

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

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

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

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

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

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

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

««…Все мы полны противоречий. Каждый из нас – просто случайная  мешанина несовместимых качеств. Учебник  логики скажет вам, что абсурдно  утверждать, будто желтый цвет имеет цилиндрическую форму, а благодарность тяжелее воздуха; но в той смеси абсурдов, которая составляет человеческое «я», желтый цвет вполне может оказаться лошадью с тележкой, а благодарность – серединой будущей недели». Этот отрывок из романа С. Моэма «Луна и грош» выразительно подчеркивает сложность, а нередко и прямую противоречивость душевной жизни человека».

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

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

Формулировка закона исключенного третьего такова: «Из двух противоположных  суждений одно истинно, другое ложно, а  третьего не дано». [1]

Символически:

Аv ~ A,

А или не – А. например: «Аристотель  умер в 322 г. до н.э. или он не умер в  этом году», «Личинки мух имеют голову или не имеют ее» и т.п. само название закона выражает его смысл: дело обстоит так, как говорится  в рассматриваемом высказывании, или так, как говорится в его отрицании, и никакой третьей возможности нет.

Как выразил эту мысль Аристотель: «…Не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать».

Закон исключенного третьего с иронией  обыгрывается в художественной литературе:

«Жила одна старушка,                                             

 Вязала кружева,                                             

 И, если не скончалась  –                                              

 Она еще жива» 

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

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

Немецкий философ Гегель весьма иронично отзывался как о  законе противоречия, так и о законе исключенного третьего. Последний он представлял так: дух является зеленым или не является зеленым и задавал каверзный, как ему казалось, вопрос: какое из этих двух выражений истинно?

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

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

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

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

«Изъять из математики принцип  исключенного третьего, - заявлял немецкий математик Д. Гильберт, - все равно, что запретить боксеру пользоваться кулаками».

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

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

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

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

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

2.    Второстепенные законы логики.           

 Закон двойного отрицания.

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

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

В символической форме закон  записывается так:

~ ~ A → A,

если неверно, что не – А, то верно  А.

Другой закон логики, говорящий  о возможности не снимать, а вводить  два отрицания, принято называть обратным законом двойного отрицания: утверждение влечет свое двойное отрицание. Например: «Если Шекспир писал сонеты, то неверно, что он не писал сонеты».

Символически:

A → ~ ~ A,

если А, то неверно что не –  А.

Объединение этих законов дает так  называемый полный закон двойного отрицания:

~ ~ A ↔ A,

неверно, что не – А, если и только если верно А.            

 Законы контрапозиции.

Законы контрапозиции говорят  о перемене позиций высказываний с помощью отрицания: из условного  высказывания «если есть первое, то есть и второе» вытекает «если  нет второго, то нет и первого», и наоборот.

Символически:

(А → В) → (~ B → ~ A),

если дело обстоит так, что если А, то В, то если не – В, то не – А;

( ~ B → ~ A) → (A → B),

если дело обстоит так, что если не – В, то не – А, то если А, то В.

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

К законам контрапозиции обычно относят также законы:

(A → ~ B) → (B → ~ A),

если дело обстоит так, что если А, то не – В, если В, то не  - А. Например: «Если квадрат не является треугольником, то треугольник не квадрат»;

( ~ A → B) → (~ B → A),

если верно, что если не – А, то В, то если не – В, то А. Например: «Если  не являющееся очевидным сомнительно, то не являющееся сомнительным очевидно».

Контрапозиция подобна рокировке  в шахматной игре. И подобно  тому, как редкая партия проходит без  рокировки, так и редко наше рассуждение  обходится без контрапозиции.            

 Модус поненс.

Слово «модус» в логике означает разновидность некоторой общей формы рассуждения. «Модус поненс» - термин средневековой логики, обозначающий определенное правило вывода и соответствующий ему логический закон.

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

Если А, то В; А

_______________

В                

Здесь «если А, то В» и «А» - посылки, «В» - заключение; горизонтальная черта стоит вместо слова «следовательно». Другая запись:

Если А, то В. А. Следовательно, В.

Благодаря этому правилу от посылки  «если А, то В», используя посылку  «А», мы как бы отделяем заключение «В». Например:

Если у человека грипп, он болен.                                  

 У человека грипп.                                

______________________________                                

 Человек болен. 

Это правило постоянно используется в наших рассуждениях. Впервые  оно было сформулировано учеником Аристотеля Теофрастом еще в III веке до н.э.

Соответствующий правилу отделения  логический закон формулируется  так:

(A → B) & A → B,

если верно, что если А, то В, и  А, то верно В. Например: «Если при  дожде трава растет быстрее и  идет дождь, то трава растет быстрее».

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

Например, правильным является умозаключение:

Если висмут – металл, то он проводит электрический ток.

Висмут – металл.

__________________________________________________

Висмут проводит электрический  ток.

Но внешнее сходное с ним  умозаключение:

Если висмут – металл, он проводит электрический ток.

Висмут проводит электрический  ток.

___________________________________________________

Висмут металл.

Это умозаключение логически некорректно. Рассуждая по последней схеме, можно от истинных посылок прийти к ложному заключению. Например:

Если человек собирает марки, он коллекционер.

Человек - коллекционер.

___________________________________________________

Человек собирает марки.

Далеко не все коллекционеры  собирают именно марки; из того, что  человек коллекционер, нельзя заключать, что он собирает как раз марки. Истинность посылок не гарантирует  истинности заключения.

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

 Модус толленс.

Так средневековые логики называли следующую схему рассуждений:

Если А, то В; неверно В.                                         

________________________                                         

 Неверно А. 

Другая запись:

Если А, то В. Не – В. Следовательно  не – А.

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

Если гелий – металл, он электропроводен.

Гелий неэлектропроводен.

_____________________________________

Гелий - не металл.             

 Модус понендо толленс.

Так средневековые логики называли следующую схему рассуждений:

Либо А, либо В; А       Либо А, либо В; В

____________________________________

Неверно В                     Неверно А

Другая запись:

Либо А, либо В. А. Следовательно, не – В.

Либо А, либо В. В. Следовательно, не – А.

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

Достоевский родился либо в Москве, либо в Петербурге.

Он родился в Москве.

__________________________________________________

Неверно, что Достоевский родился  в Петербурге.

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

На Южном полюсе первым был Амундсен или был Скотт.

На Южном полюсе первым был Амундсен.

__________________________________________________

Неверно, что там был Скотт.

Обе посылки истинны: и Амундсен, и Скотт достигли Южного полюса, заключение же ложно. Правильным является умозаключение:

На Южном полюсе первым был Амундсен или Скотт.

На этом полюсе первым был Амундсен.

_______________________________________________

Неверно, что там первым был Скотт.             

 Модус толлендо поненс.

Этим термином средневековые логики обозначали разделительно-категорическое умозаключение: первое или второе; не первое; значит второе. Первая посылка умозаключения – разделительное (дизъюнктивное) высказывание, вторая – категорическое высказывание, отрицающее один из членов дизъюнкции; заключением является другой ее член:

А или В; неверно А                                   А или В, неверно В

__________________               Или:      __________________