Содержание
1. Понятие логического закона
. Закон противоречия
. Закон исключенного третьего
. Другие логические законы
. Силлогистика
. Логические законы как тавтологии
7. Классическая и неклассическая логика
1. Понятие логического закона
логический мышление силлогизм тавтология
Логические законы составляют основу человеческого мышления. Они определяют, когда из одних высказываний логически вытекают другие высказывания, и представляют собой тот невидимый железный каркас, на котором держится последовательное рассуждение и без которого оно превращается в хаотическую, бессвязную речь. Без логического закона нельзя понять, что такое логическое следование, а тем самым — что такое доказательство.
Правильное, или, как обычно говорят, логичное, мышление, — это мышление по законам логики, по тем абстрактным схемам, которые фиксируются ими. Отсюда понятна вся важность данных законов.
Однородные логические законы объединяются в логические системы, которые тоже обычно именуются «логиками». Каждая из них дает описание логической структуры определенного фрагмента, или типа, наших рассуждений.
Нужна помощь в написании реферата?
Мы - биржа профессиональных авторов (преподавателей и доцентов вузов). Наша система гарантирует сдачу работы к сроку без плагиата. Правки вносим бесплатно.
Например, законы, описывающие логические связи высказываний, не зависящие от внутренней структуры последних, объединяются в систему, именуемую «логикой высказываний». Логические законы, определяющие связи категорических высказываний, образуют логическую систему, называемую «логикой категорических высказываний», или «силлогистикой», и т. д.
Логические законы объективны и не зависят от воли и сознания человека. Они не являются результатом соглашения между людьми, некоторой специально разработанной или стихийно сложившейся конвенции. Они не являются и порождением какого-то «мирового духа», как полагал когда-то Платон. Власть законов логики над человеком, их обязательная для правильного мышления сила обусловлена тем, что они представляют отображение в человеческом мышлении реального мира и многовекового опыта его познания и преобразования человеком.
Подобно всем иным научным законам, логические законы являются универсальными и необходимыми. Они действуют всегда и везде, распространяясь в равной мере на всех людей и на любые эпохи. Представители
разных наций и разных культур, мужчины и женщины, древние египтяне и современные полинезийцы с точки зрения логики своих рассуждений не отличаются друг от друга.
Присущая логическим законам необходимость в каком-то смысле даже более настоятельна и непреложна, чем природная, или физическая, необходимость. Невозможно даже представить, чтобы логически необходимое было иным. Если что-то противоречит законам природы и является физически невозможным, то никакой инженер, при всей его одаренности, не сумеет реализовать это. Но если нечто противоречит законам логики и является логически невозможным, то не только инженер — даже всемогущее существо, если бы оно вдруг появилось, не смогло бы воплотить это в жизнь.
Как уже говорилось ранее, в правильном рассуждении заключение вытекает из посылок с логической необходимостью, и общая схема такого рассуждения представляет собой логический закон.
Число схем правильного рассуждения (логических законов) бесконечно. Многие из этих схем известны нам из практики рассуждения. Мы применяем их интуитивно, не отдавая себе отчета, что в каждом правильно проведенном нами умозаключении используется тот или иной логический закон.
Прежде чем ввести общее понятие логического закона, приведем несколько примеров схем рассуждения, представляющих собой логические законы. Вместо переменных А, В, С, …, используемых обычно для обозначения высказываний, воспользуемся, как это делалось еще в античности, словами «первое» и «второе», заменяющими переменные.
«Если есть первое, то есть второе; есть первое; следовательно, есть второе». Эта схема рассуждения позволяет от утверждения условного высказывания («Если есть первое, то есть второе») и утверждения его основания («Есть первое») перейти к утверждению следствия («Есть второе»). По этой схеме протекает, в частности, рассуждение: «Если лед нагревают, он тает; лед нагревают; следовательно, он тает».
Еще одна схема правильного рассуждения: «Либо имеет место первое, либо второе; есть первое; значит, нет второго». Посредством этой схемы от двух взаимоисключающих альтернатив и установления того, какая из них имеет место, осуществляется переход к отрицанию второй альтернативы. Например: «Либо Достоевский родился в Москве, либо он родился в Петербурге. Достоевский родился в Москве. Значит, неверно, что он родился в Петербурге». В американском вестерне «Хороший, плохой и злой» один отрицательный герой говорит другому: «Запомни, мир делится на две части: на тех, кто держит револьвер, и тех, кто копает. Револьвер сейчас у меня, так что бери лопату». Это рассуждение также опирается на указанную схему.
И последний предварительный пример логического закона, или общей схемы правильного рассуждения: «Имеет место первое или второе. Но первого нет. Значит, имеет место второе». Подставим вместо выражения «первое» высказывание «Сейчас день», а вместо «второго» — высказывание «Сейчас ночь». Из абстрактной схемы получаем рассуждение: «Сейчас день или сейчас ночь. Но неверно, что сейчас день. Значит, сейчас ночь».
Таковы некоторые простые схемы правильного рассуждения, иллюстрирующие понятие логического закона. Сотни и сотни подобных схем сидят у нас в голове, хотя мы и не осознаем этого. Опираясь на них, мы рассуждаем логично, или правильно.
Закон логики (логический закон) — выражение, включающее только логические постоянные и переменные вместо содержательных частей и являющееся истинным в любой области рассуждений.
Возьмем в качестве примера выражения, состоящего только из переменных и логических постоянных, выражение: «Если А, то В; значит, если не-А, то не-В». Логическими постоянными здесь являются пропозициональные связки «если, то» и «не». Переменные А и В представляют какие- то высказывания. Допустим, А — это высказывание «Имеется причина», а В — высказывание «Есть следствие». С данным конкретным содержанием получаем рассуждение: «Если имеется причина, то есть следствие; значит, если нет следствия, то нет и причины». Предположим, далее, что вместо А подставляется высказывание «Число делится на шесть», а вместо В — высказывание «Число делится на три». С этим конкретным содержанием на основе рассматриваемой схемы получаем рассуждение: «Если число делится на шесть, оно делится на три. Следовательно, если число не делится на три, оно не делится на шесть». Какие бы иные высказывания ни подставлялись вместо переменных А и В, если эти высказывания истинны, то и выводимое из них заключение будет истинным.
Нужна помощь в написании реферата?
Мы - биржа профессиональных авторов (преподавателей и доцентов вузов). Наша система гарантирует сдачу работы к сроку без плагиата. Правки вносим бесплатно.
В логике обычно делается оговорка, что та область объектов, о которой ведется рассуждение и о которой говорят подставляемые в логический закон высказывания, не может быть пустой: в ней должен иметься хотя бы один предмет. В противном случае рассуждение по схеме, представляющей собой закон логики, может вести от истинных посылок к ложному заключению.
Например, из истинных посылок «Все слоны — животные» и «Все слоны имеют хобот» по закону логики вытекает истинное заключение «Некоторые животные имеют хобот». Но если область объектов, о которой идет речь, является пустой, следование закону логики не гарантирует истинного заключения при истинных посылках. Будем рассуждать по такой же схеме, но уже о золотых горах. Построим умозаключение: «Все золотые горы есть горы; все золотые горы — золотые; следовательно, некоторые горы — золотые». Обе посылки этого умозаключения истинны. Но его заключение «Некоторые горы — золотые» явно ложно: ни одной золотой горы не существует.
Таким образом, для рассуждений, опирающихся на закон логики, характерны две особенности:
• такие рассуждения всегда ведут от истинных посылок к истинному заключению;
• следствие вытекает из посылок с логической необходимостью. Логический закон принято называть также логической тавтологией. Логическая тавтология — выражение, остающееся истинным,
независимо от того, о каких объектах идет речь, или «всегда истинное» выражение.
Например, все результаты подстановок в логический закон двойного отрицания «Если А, то неверно, что не-А» являются истинными высказываниями: «Если сажа черная, то неверно, что она не является черной», «Если человек дрожит от страха, то неверно, что он не дрожит от страха» и т. д.
Как уже говорилось, понятие логического закона непосредственно связано с понятием логического следования: заключение логически следует из принятых посылок, если оно связано с ними логическим законом. К примеру, из посылок «Если А, то В» и «Если В, то С» логически следует заключение «Если А, то С», поскольку выражение «Если А, то В, и если В, то С, то если А, то С» представляет собой логический закон, а именно закон транзитивности (переходности). Скажем, из посылок «Если человек отец, то он родитель» и «Если человек родитель, то он отец или мать» по этому закону вытекает следствие «Если человек отец, то он отец или мать».
Логическое следование — отношение между посылками и заключением умозаключения, общая схема которого представляет собой логический закон.
Поскольку связь логического следования опирается на логический закон, для нее характерны две особенности:
• логическое следование ведет от истинных посылок только к истинному заключению;
• заключение, следующее из посылок, вытекает из них с логической необходимостью.
Не все логические законы непосредственно определяют понятие логического следования. Имеются законы, описывающие другие логические связи: «и», «или», «неверно, что» и т. д. и только косвенно связанные с отношением логического следования. Таков, в частности, рассматриваемый далее закон противоречия: «Неверно, что произвольно взятое высказывание и его отрицание одновременно истинны». Этот закон характеризует логическое противоречие, и с понятием логического следования он связан лишь опосредствованно.
Современная логика исследует логические законы только как элементы систем, включающих бесконечные множества таких законов. Каждая из логических систем представляет собой абстрактную знаковую модель, дающую описание какого-то определенного фрагмента, или типа, наших рассуждений. Например, множество систем, объединяемых в рамках модальной логики, распадается на теорию логических модальностей, теорию физических модальностей, логику оценок, логику норм и др.
В традиционной логике в последний период ее существования широкое распространение получила концепция «расширенной» логики. Ее сторонники резко сдвинули центр тяжести логических исследований с изучения правильных способов рассуждения на разработку проблем теории познания, причинности, вероятностного рассуждения и т. д. В логику были введены темы, интересные и важные сами по себе, но не имеющие к ней прямого отношения. Собственно логическая проблематика отошла на задний план. Вытеснившие ее методологические проблемы трактовались, как правило, упрощенно, без учета сложной динамики научного познания.
С развитием современной логики это направление в логике, путающее ее с поверхностно понятой методологией и пронизанное психологизмом, постепенно захирело.
Одним из отголосков идей «расширенной» логики является, в частности, разговор о так называемых «основных» законах мышления, или «основных» законах логики, иногда возникающий и сейчас.
Согласно «широкой» трактовке логики основные законы — это наиболее очевидные из всех утверждений логики, являющиеся чем-то вроде аксиом этой науки. Они образуют как бы фундамент логики, на который опирается все ее здание. Сами же они ниоткуда не выводимы, да и не требуют никакой особой опоры в силу своей исключительной очевидности.
Под это крайне расплывчатое понятие «основных» законов можно подвести самые разнородные идеи. Обычно к таким законам относили закон противоречия, закон исключенного третьего, закон тождества. Нередко к ним добавлялся еще и так называемый «закон достаточного основания».
«Закон достаточного основания» вообще не является принципом логики — ни основным, ни второстепенным. Требование «достаточного основания» предполагает, что ничто не принимается просто так, на веру. В случае каждого утверждения следует указывать основания, в силу которых оно считается истинным. Разумеется, это никакой не закон логики.
Рассуждения «расширенной» логики об основных законах мышления только затемняли и запутывали проблему логических законов. Как показала современная логика, законов логики бесчисленное множество. Деление их на основные и не являющиеся основными лишено каких-либо ясных оснований.
Несостоятельна также подмена логических законов расплывчатыми методологическими советами. Никакого фундамента в виде короткого перечня основополагающих принципов в науке логике нет. В этом она не отличается от всех других научных дисциплин.
Есть еще один предрассудок, культивировавшийся «расширенной» логикой и доживший до наших дней. Это обсуждение законов логики в полном отрыве их от всех иных ее важных тем и понятий и даже в изоляции их друг от друга.
Логические законы интересны, конечно, и сами по себе. Но если они действительно являются важными элементами механизма мышления — а это, несомненно, так, — они должны быть неразрывно связаны с другими элементами этого механизма. И прежде всего с центральным понятием логики — понятием логического следования, и значит, с понятием доказательства.
Далее рассмотрим отдельные наиболее известные и часто употребляемые логические законы, а также некоторые системы таких законов.
2. Закон противоречия
Один из наиболее известных законов логики — закон противоречия. Его сформулировал еще Аристотель, назвав «самым достоверным из всех начал, свободным от всякой предположительности».
Закон говорит о высказываниях, одно из которых отрицает другое, а вместе они составляют логическое противоречие. Например: «Пять — четное число» и «Пять — нечетное число».
Нужна помощь в написании реферата?
Мы - биржа профессиональных авторов (преподавателей и доцентов вузов). Наша система гарантирует сдачу работы к сроку без плагиата. Правки вносим бесплатно.
Идея, выражаемая законом противоречия, проста: высказывание и его отрицание не могут быть одновременно истинными.
Пусть А обозначает произвольное высказывание, не-А — отрицание этого высказывания. Тогда закон можно представить так: «Неверно, что А и не-А». Неверно, например, что Солнце — звезда и Солнце не является звездой, что человек — разумное существо и вместе с тем не является разумным, и т. п.
Закон противоречия не раз становился предметом ожесточенных споров. Попытки опровергнуть его чаще всего были связаны с неправильным пониманием логического противоречия. Составляющие его утверждения должны говорить об одном и том же предмете, который рассматривается в одном и том же отношении. Если этого нет, нет и противоречия. Те примеры, которые обычно противопоставляют закону противоречия, не являются подлинными противоречиями и не имеют к нему никакого отношения.
Нет противоречия в утверждении: «Осень настала и еще не настала», когда подразумевается, что хотя по календарю уже осень, тепло, как летом.
В оде «Бог» — вдохновенном гимне человеческому разуму — Г. Р. Державин соединяет вместе явно несоединимое:
«„Я телом в прахе истлеваю,
Умом громам повелеваю,
Я царь — я раб, я червь — я бог!»
Но здесь нет противоречия. Точно так же, как нет его в словах песни: «Речка движется и не движется… Песня слышится и не слышится…»
Отношение логики к противоречиям лишено двусмысленности и неопределенности: где есть противоречия, там логика поколеблена.
Никто, пожалуй, не утверждает прямолинейно, что дождь идет и не идет или что трава зеленая и одновременно не зеленая. А если и утверждает, то только в переносном смысле. Противоречие вкрадывается в рассуждение, как правило, в неявном виде. Чаще всего противоречие довольно легко обнаружить.
В начале XX в., когда автомобилей стало довольно много, в одном английском графстве было издано распоряжение: если два автомобиля подъезжают одновременно к пересечению дорог под прямым углом, то каждый из них должен ждать, пока не проедет другой. Это распоряжение внутренне противоречиво и потому невыполнимо.
У детей популярны головоломки такого типа: что произойдет, если всесокрушающее пушечное ядро, сметающее на своем пути все, попадет в несокрушимый столб, который нельзя ни повалить, ни сломать? Ясно, что ничего не произойдет: подобная ситуация логически противоречива, а значит, нереальна.
Однажды актер, исполняющий эпизодическую роль слуги, желая хотя бы чуть-чуть удлинить свою реплику, произнес:
Давая партнеру возможность поправить ошибку, другой актер ответил:
— А вы уверены, что он немой?
— Во всяком случае, он сам так говорит.
Этот «говорящий немой» так же противоречив, как и «знаменитый разбойник, четвертованный на три неравные половины», или как «окружность со многими тупыми углами».
Противоречие может быть и более скрытым.
Такое противоречие является, например, стержнем маленького рассказа писателя-юмориста Э. Липиньского: «Жан Марк Натюр, известный французский художник-портретист, долгое время не мог схватить сходство с португальским послом, которого как раз рисовал. Расстроенный неудачей, он уже собирался бросить работу, но перспектива высокого гонорара склонила его к дальнейшим попыткам добиться сходства. Когда портрет близился к завершению и сходство было уже почти достигнуто, португальский посол покинул Францию, и портрет остался с несхваченным сходством.
Натюр продал его очень выгодно, но с этого времени решил сначала схватывать сходство и только потом приступать к написанию портрета».
Уловить сходство несуществующего портрета с оригиналом так же невозможно, как невозможно написать портрет, не написав его.
В комедии Козьмы Пруткова «Фантазия» некто Беспардонный намеревается продать «портрет одного знаменитого незнакомца: очень похож…». Здесь ситуация обратная: если оригинал неизвестен, о портрете нельзя сказать, что он похож. Кроме того, о совершенно неизвестном человеке нелепо утверждать, что он знаменит.
Противоречие недопустимо в строгом рассуждении, когда оно смешивает истину с ложью. Но, как очевидно из приведенных примеров, в обычной речи у противоречия много разных задач.
Оно может выступать в качестве основы сюжета какого-либо рассказа, быть средством достижения особой художественной выразительности и т. д.
Реальное мышление — и тем более художественное — не сводится к одной логичности. В нем важно все: и ясность и неясность, и доказательность и зыбкость, и точное определение и чувственный образ. В нем может оказаться нужным и противоречие, если оно к месту.
Известно, что Н. В. Гоголь очень не жаловал чиновников. В «Мертвых душах» они изображены с особым сарказмом. Они «были, более или менее, люди просвещенные: кто читал Карамзина, кто „Московские ведомости“, кто даже и совсем ничего не читал». Хороша же просвещенность, за которой только чтение газеты, а то и вовсе ничего нет!
Испанский писатель ХУІ-ХУІІ вв. Ф. Кеведо так озаглавил свою сатиру: «Книга обо всем и еще о многом другом». Его не смутило то, что, если книга охватывает «все», для «многого другого» уже не остается места.
Нужна помощь в написании реферата?
Мы - биржа профессиональных авторов (преподавателей и доцентов вузов). Наша система гарантирует сдачу работы к сроку без плагиата. Правки вносим бесплатно.
Классической фигурой стилистики, едва ли не ровесницей самой поэзии, является оксюморон — сочетание логически враждующих понятий, вместе создающих новое представление. «Пышное природы увяданье», «свеча темно горит» (А. С. Пушкин), «живой труп» (Л. Н. Толстой), «ваш сын прекрасно болен» (В. В. Маяковский) — все это оксюмороны. А в строках стихотворения А. А. Ахматовой «смотри, ей весело грустить, такой нарядно обнаженной» сразу два оксюморона. Один поэт сказал о Державине: «Он врал правду Екатерине». Без противоречия так хорошо и точно, пожалуй, не скажешь.
Нелогично утверждать одновременно А и не-А. Но каждому хорошо понятно двустишие римского поэта І в. до н. э. Катулла:
«Да! Ненавижу и вместе люблю. — Как возможно, ты спросишь?
Не объясню я. Но так чувствую, смертно томясь».
Вывод из сказанного очевиден. Настаивая на исключении логических противоречий, не следует, однако, всякий раз «поверять алгеброй гармонию» и пытаться втиснуть все многообразие противоречий в прокрустово ложе логики.
Логические противоречия недопустимы в науке, но установить, что конкретная теория не содержит их, непросто. То, что в процессе развития и развертывания теории не встречено никаких противоречий, еще не означает, что их в самом деле нет. Научная теория — очень сложная система утверждений. Не всегда противоречие удается обнаружить относительно быстро путем последовательного выведения следствий из ее положений.
Вопрос о непротиворечивости становится яснее, когда теория допускает аксиоматическую формулировку, подобно геометрии Евклида или механике Ньютона. Для большинства аксиоматизированных теорий непротиворечивость доказывается без особого труда.
Есть, однако, теория, в случае которой десятилетия упорнейших усилий не дали ответа на вопрос, является она непротиворечивой или нет. Это математическая теория множеств, лежащая в основе всей математики.
3. Закон исключенного третьего
Рассказывают историю об одном владельце собаки, который очень гордился воспитанием своего любимца. На команду хозяина: «Эй! Приди или не приходи!» — собака всегда либо приходила, либо нет. Так что команда в любом случае оказывалась выполненной.
Здесь мы сталкиваемся еще с одним популярным законом логики — законом исключенного третьего. Как и закон противоречия, он устанавливает связь между противоречащими друг другу утверждениями: из двух таких утверждений одно является истинным.
«А или не-А» — или дело обстоит так, как говорится в утверждении А, или так, как говорится в его отрицании. Третьей возможности нет. Иногда эту идею выражают так: «третьего не дано».
Человек говорит прозой или не говорит прозой, кто-то рыдает или не рыдает, собака выполняет команду или не выполняет и т. п. — других вариантов не существует. Мы можем не знать, противоречива некоторая конкретная теория или нет, но на основе закона исключенного третьего еще до начала исследования мы вправе заявить: она или непротиворечива, или противоречива.
Этот закон с иронией обыгрывается в художественной литературе. Причина иронии понятна: сказать «Нечто или есть, или его нет», значит, ровным счетом ничего не сказать. И смешно, если кто-то этого не знает.
В известной сказке Л. Кэрролла «Алиса в Зазеркалье» Белый Рыцарь намерен спеть Алисе «очень, очень красивую песню»:
«- Когда я ее пою, все рыдают… или…
— Или что? — спросила Алиса, не понимая, почему Рыцарь вдруг остановился.
— Или. не рыдают…»
В сказке А. Н. Толстого «Золотой ключик, или Приключения Бурати- но» народный лекарь Богомол заключает после осмотра Буратино:
«- Одно из двух: или пациент жив, или он умер. Если он жив — он останется жив или не останется жив. Если он мертв — его можно оживить или нельзя оживить».
Закон исключенного третьего кажется самоочевидным, и трудно представить, что кто-то мог предложить отказаться от него. И тем не менее в современной логике имеются системы, в которых этот закон отбрасывается. Далее об одной из таких систем — интуиционистской логике — пойдет речь.
Очевидное в одно время и в одних обстоятельствах способно потерять свою очевидность в другое время и в свете других обстоятельств. Закон исключенного третьего хорошо демонстрирует справедливость этого наблюдения.
4. Другие логические законы
Закон тождества — логический закон, согласно которому всякое высказывание влечет само себя.
Его можно передать также так: если высказывание истинно, то оно истинно.
Другая форма записи данного закона:
«Если А, то А».
Например, если Земля вращается, то она вращается; если лингвист — ученый, то он ученый, и т. п. Чистое утверждение тождества кажется настолько бессодержательным, что редко кем употребляется.
Нужна помощь в написании реферата?
Мы - биржа профессиональных авторов (преподавателей и доцентов вузов). Наша система гарантирует сдачу работы к сроку без плагиата. Правки вносим бесплатно.
Закон тождества кажется в высшей степени очевидным. Однако его тоже ухитрялись истолковывать неправильно. Заявлялось, например, будто этот закон утверждает, что вещи всегда остаются неизменными, тождественными самим себе. Это, конечно, недоразумение. Закон ничего не говорит об изменчивости или неизменности. Он утверждает только, что если вещь меняется, то она меняется, а если она остается той же, то она остается той же.
Закон контрапозиции говорит о перемене позиций высказываний с помощью отрицания.
Закон контрапозиции — логический закон, позволяющий с помощью отрицания менять местами основания и следствие (антецедент и консеквент) условного высказывания.
Данный закон позволяет из высказывания «Если А, то В» выводить высказывание «Если не-В, то не-А».
Например, из высказывания «Если есть огонь, то есть дым» по этому закону логически следует высказывание «Если нет дыма, то нет и огня».
Поскольку данный закон говорит о логическом следовании, его можно представить более наглядно в такой форме:
Если А, то В.
Если не-В, то не-А.
Еще один вариант этого же закона: Если не-А, то не-В.
Если В, то А.
Например, из высказывания «Если рукопись, не получившая положительного отзыва, не публикуется» вытекает высказывание «Если рукопись публикуется, она получила положительный отзыв».
Контрапозиция — это, выражаясь шахматным языком, рокировка высказываний. Редкая шахматная партия обходится без рокировки, и редкое наше рассуждение проходит без использования контрапозиции.
Именем английского логика А. де Моргана называются логические законы, связывающие высказывания, образованные с помощью связок «и» и «или».
Закон де Моргана — общее название логических законов, связывающих с помощью отрицания конъюнкцию («и») и дизъюнкцию («или»).
Один из этих законов утверждает: высказывание «А и В» эквивалентно высказыванию «Неверно, что не-А или не-В».
Например, из высказывания «Завтра будет холодно и завтра будет дождливо» логически следует высказывание «Неверно, что завтра не будет холодно или завтра не будет дождливо», и наоборот.
Другой закон де Моргана гласит: высказывание «А или В» эквивалентно высказыванию «Неверно, что не-А и не-В».
Например, из высказывания «Идет дождь или идет снег» следует высказывание «Неверно, что нет дождя и нет снега», и наоборот.
На основе законов де Моргана связку «и» можно определить, используя отрицание, через «или», а «или» определить через «и»:
«А и В» означает «неверно не-А или не-В»,
«А или В» означает «неверно не-А и не-В».
«Модусом» в логике называется разновидность некоторой общей формы рассуждения. Далее будут перечислены четыре близких друг другу модуса, известных еще средневековым логикам. Некоторые из них теперь обычно называются иначе, чем раньше.
Правило отделения (модус поненс) — логический закон, позволяющий от утверждения условного высказывания и утверждения его основания перейти к утверждению следствия условного высказывания.
Другая формулировка правила отделения:
Если А, то В; А.
В.
Здесь высказывания «Если А, то В» и «А» — посылки умозаключения, высказывание «В» — заключение.
Если у человека диабет, он болен.
Нужна помощь в написании реферата?
Мы - биржа профессиональных авторов (преподавателей и доцентов вузов). Наша система гарантирует сдачу работы к сроку без плагиата. Правки вносим бесплатно.
У человека диабет.
Человек болен.
Благодаря правилу отделения, от посылки «Если А, то В», используя посылку «А», мы отделяем заключение «В». Рассуждение по правилу отделения идет от утверждения основания условного высказывания к утверждению его следствия. Это логически корректное движение мысли иногда путают со сходным, но логически неправильным ее движением: от утверждения следствия условного высказывания к утверждению его основания. Например, внешне сходное с правилом отделения умозаключение:
Если бы электролит был металлом, он проводил бы электрический ток.
Электролит проводит электрический ток.
Электролит — металл.
не является логически корректным. Рассуждая по последней схеме, можно прийти от истинных посылок к ложному заключению. Против смешения правила отделения с этой неправильной схемой рассуждения предостерегает совет: от подтверждения основания к подтверждению следствия рассуждать допустимо, а от подтверждения следствия к подтверждению основания — нет.
Правило фальсификации (модус толленс) — логический закон, позволяющий от отрицания следствия условного высказывания переходить к отрицанию основания этого высказывания.
Если А, то В. Неверно В.
Неверно А.
Например: «Если бы семь делилось на два, оно было бы четным числом. Но семь не является четным. Следовательно, семь не делится на два».
На основе правила фальсификации идет процесс фальсификации, установления ложности теории (или гипотезы) путем выведения из нее ложных эмпирических следствий. Для проверки какой-то теории Т из нее выводится некоторое проверяемое опытным путем утверждение А, т. е. устанавливается условная связь «Если Т, то А». Посредством наблюдения или эксперимента утверждение А сопоставляется с реальным положением дел. Выясняется, что А ложно, а истинно утверждение не-А. Из посылок «Если Т, то А» и «Неверно, что А» следует «Неверно, что Т». Теория Т оказывается, таким образом, ошибочной и нуждается в исправлении или даже в замене ее новой теорией.
С правилом фальсификации нередко путают внешне сходное с ним умозаключение, в котором от утверждения условного высказывания и отрицания его основания осуществляется переход к отрицанию следствия.
Пример такого неправильного рассуждения:
Нужна помощь в написании реферата?
Мы - биржа профессиональных авторов (преподавателей и доцентов вузов). Наша система гарантирует сдачу работы к сроку без плагиата. Правки вносим бесплатно.
Если у человека повышенная температура, он болен.
У человека нет повышенной температуры.
Неверно, что он болен.
Это рассуждение ведет от истинных посылок к ложному заключению, если речь идет о человеке, болезнь которого протекает без повышения температуры. Против смешения правила фальсификации с этой некорректной схемой рассуждения предостерегает совет: от отрицания следствия условного высказывания можно переходить к отрицанию основания этого высказывания, а от отрицания основания к отрицанию следствия — нельзя.
Утверждающе-отрицающий модус — логический закон, позволяющий из посылок «Либо А, либо В» и «А» вывести заключение «Неверно В».
Другая форма записи:
Либо А, либо В; А.
Неверно В.
Посредством данной схемы рассуждения от утверждения двух взаимоисключающих альтернатив и установления того, какая из них имеет место, осуществляется переход к отрицанию второй альтернативы. Например: «Либо Южный полюс открыл Амундсен, либо этот полюс открыл Скотт. Южный полюс открыл Амундсен. Следовательно, неверно, что Южный полюс был открыт Скоттом».
Отрицающе-утверждающий модус — логический закон, позволяющий от посылок «А или В» и «Неверно А» перейти к заключению «В».
Другая форма записи:
А или В; неверно А.
В.
Например:
Нужна помощь в написании реферата?
Мы - биржа профессиональных авторов (преподавателей и доцентов вузов). Наша система гарантирует сдачу работы к сроку без плагиата. Правки вносим бесплатно.
Данную кражу совершил Иванов, или ее совершил Петров. Иванов не совершал кражи.
Кражу совершил Петров.
Закон двойного отрицания — логический закон, позволяющий вводить или снимать двойное отрицание исходного высказывания.
А.Неверно, что не-А.
Неверно, что не-А.А.
Другая форма записи: из высказывания «А» логически следует высказывание «Неверно, что не-А»; из высказывания «Неверно, что не-А» следует высказывание «А».
Например, «Если Петрарка писал сонеты, то неверно, что он не писал сонетов» и «Если неверно, что Пушкин не написал роман в стихах, то он написал роман в стихах».
Шерлок Холмс однажды заметил: «Отбросьте все невозможное, и то, что останется, будет ответом». Имеется в виду логический закон: «Или первое, или второе, или третье; но первое неверно и второе неверно; следовательно, третье». Другая форма записи:
Или А, или В, или С. Но А нет и В нет.
Имеет место С.
Еще один логический закон говорит об ошибочных следствиях: «Если первое, то второе или третье, но второе неверно и третье неверно; значит, неверно и первое». Другая форма записи:
Если А, то В или С. Но не-В и не-С.
Не-А.
Рассмотрим пример рассуждения, своеобразно комбинирующего два последних закона.
Когда-то халиф Омар вознамерился сжечь богатейшую Александрийскую библиотеку. На просьбу сохранить ее этот религиозный фанатик, сам учившийся на ее книгах, ехидно отвечал, что книги библиотеки либо согласуются с Кораном, либо нет; если они согласуются с Кораном, они излишни и должны быть сожжены; если они не согласуются с Кораном, они вредны и поэтому также должны быть сожжены; следовательно, книги библиотеки в любом случае должны быть сожжены.
Это рассуждение опирается, конечно, на ложную предпосылку. Оно показывает, что фанатик тоже способен быть иногда логичным.
Закон, носящий имя средневекового логика и философа мон
Автор: Тагир