как и какие суждения связывает закон исключенного третьего

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

С «интуиционистской» (и, в частности, «конструктивистской)» точки зрения, установление истинности высказывания вида «А или не А» означает либо (а) установление истинности , либо (б) установление истинности его отрицания . Поскольку, вообще говоря, не существует общего метода, позволяющего для любого высказывания за конечное число шагов установить его истинность или истинность его отрицания, закон исключённого третьего не должен применяться в рамках интуиционистского и конструктивного направлений в математике как аксиома.

Содержание

Формулировка

В математической логике закон исключенного третьего выражается формулой

где — знак дизъюнкции, — знак отрицания.

Другие формулировки

Примеры

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

Гораздо более тонкий пример применения закона исключённого третьего, который хорошо демонстрирует, почему он не является приемлемым с точки зрения интуиционизма, состоит в следующем. Предположим, что мы хотим доказать теорему, что существуют два иррациональных числа a и b, таких что рационально. Известно, что иррационально. Рассмотрим . Если данное число рационально, то теорема доказана. Иначе возьмём и . Тогда

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

Поправка: доказательство того факта, что иррациональное число в иррациональной степени может быть рациональным, может быть проведено элементарным способом. Он не требует использования каких-то глубоких результатов из теории чисел. А именно, в качестве первого числа возьмём корень квадратный из двух, а второе число пусть будет равно удвоенному логарифму 3 по основанию 2. Очевидно, что при возведении в степень получается рациональное число 3. При этом как основание степени, так и показатель иррациональны. Доказательство того, что логарифм иррационален, состоит в том, что если бы он равнялся m/n, то 2 в степени m было бы равно 3 в степени n, что невозможно.

Примечания

См. также

Исключённого третьего закон — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия

Исключённого третьего принцип — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия

Принцип исключённого третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия

Закон исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия

Закон исключения третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия

Закон Пирса — Закон Пирса один из законов классической логики, аналог законов двойного отрицания и исключённого третьего. Назван в честь американского логика и философа Чарльза Пирса. Закон Пирса формально выглядит так: что означает: P должно быть… … Википедия

Закон противоречия — Закон непротиворечия (закон противоречия) закон логики, который гласит, что два несовместимых (противоречащих либо противоположных) суждения не могут быть одновременно истинными. По крайней мере, одно из них необходимо ложно[1].… … Википедия

Закон двойного отрицания — положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то А верно». Закон двойного отрицания называется также законом снятия двойного отрицания. В формализованном языке логики высказываний закон двойного… … Википедия

Принцип исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний «А» или «не А» одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… … Википедия

Источник

Логика. Шпаргалка

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

Оглавление

Приведённый ознакомительный фрагмент книги Логика. Шпаргалка предоставлен нашим книжным партнёром — компанией ЛитРес.

8 ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО

Закон исключенного третьего действует только в отношении противоречащих понятий.

Противоречащими и называются два суждения, в одном из которых что—либо утверждается (отрицается) о каждом предмете некоторого множества, а в другом отрицается (утверждается) о некоторой части этого множества. Например, если суждение «Каждый гражданин РФ имеет право свободно искать, получать, передавать, производить и распространять информацию любым законным способом» истинно, то суждение «Некоторые граждане РФ не имеют право свободно искать, получать, передавать, производить и распространять информацию любым законным способом» ложно.

Закон исключенного третьего формулируется следующим образом: два противоречащих суждения не могут быть одновременно ложными, так как одно из них необходимо истинно (a есть либо b, либо не — b). Закон исключенного третьего может быть выражен следующий формулой: pv]p, где p — любое высказывание, ]p — отрицание высказывания р, v — знак дизъюнкции. Таким образом, истинно либо утверждение какого—либо факта, либо его отрицание.

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

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

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

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

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

Источник

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

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

Реально такие связи образуются из следующих пар суждений:

— «Это S есть Р» и «Это S не есть Р» (единичные суждения);

— «Все S есть Р» и «Некоторые S не есть Р» ( суждения А и О);

-«Ни одно S не есть Р» и «Некоторые S есть Р» (суждения Е и I).

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

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

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

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

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

Значение закона состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса «или-или», причем одно из них (и только одно) необходимо истинно.

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

Согласно этому закону необходимо уточнять наши понятия, чтобы мож­но было давать ответы на альтернативные вопросы. Например, «Является ли данное деяние преступлением или оно не является преступлением?». Если бы понятие «преступление» не было точно определено, то в некоторых слу­чаях на этот вопрос невозможно было бы ответить.

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

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

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

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

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

Источник

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

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

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

Как установлено выше, закон противоречия гласит, что утверждение и отрицание одного и того же не могут быть вместе истинными: одно из них непременно ложно. Но могут ли они быть одновременно ложными? Об этом закон противоречия ничего не говорит.

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

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

Поэтому в той мере, в какой мир альтернативен, раздвоен на «наличие — отсутствие», мышление, если оно верно отражает его, не может не быть тоже альтернативным. В нем неизбежно действует закон исключенного третьего.

Открытый Аристотелем, этот закон гласит: «Не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать»[57]. И в другом месте: «О чем бы то ни было истинно или утверждение, или отрицание. »[58].

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

Чтобы понять действие закона, приведем две пары несовместимых высказываний:

1) «Байкал глубокий» — «Байкал мелкий»;

2) «Байкал глубокий» — «Байкал неглубокий».

Обратим внимание, что в первой паре предикатами выступают противоположные понятия («глубокий» — «мелкий»), а во второй — противоречащие понятия («глубокий» — «неглубокий»). Между ними, как мы помним, имеется не только сходство, но и различие. Противоположные отрицают друг друга, но не исчерпывают объема родового понятия. Спрашивается: могут ли два высказывания с противоположными предикатами быть одновременно истинными? Нет. Об этом говорит закон противоречия. Но могут ли они быть одновременно ложными? Да, потому что не исчерпывают всех возможных вариантов. Может статься, что «Байкал средней глубины». Закон исключенного третьего здесь не действует.

Что же касается противоречащих понятий («глубокий» — «неглубокий»), то они не только отрицают друг друга, но и исчерпывают объем родового понятия. Возникают те же вопросы. Могут ли оба суждения с подобными предикатами быть одновременно истинными? Нет. Это опять-таки следует из закона противоречия. А могут ли они быть одновременно ложными? Вот тут-то и «зарыта собака». В отличие от первой пары они не могут быть и одновременно ложными. Ведь третьего здесь попросту нет, так как озеро либо глубокое, либо неглубокое. Одно из них непременно истинно. Эта закономерность, свойственная подобным суждениям, и нашла свое отражение в законе исключенного третьего.

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

Как и закон противоречия, закон исключенного третьего — результат обобщения практики применения суждений. Но если в законе противоречия выражаются их отношения по истинности, то в законе исключенного третьего — по ложности. Он действует в отношениях между противоречащими (контрадикторными) суждениями (А — О, Е — I).

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

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

Требования закона исключенного третьего и их нарушения. На основе этого закона можно сформулировать определенные требования к мышлению. Чтобы понять их принципиальный смысл, вспомним историю с буридановым ослом. Как гласит легенда, он сдох с голоду, ибо так и не смог выбрать одну из двух совершенно одинаковых охапок сена. Перед человеком нередко тоже встает дилемма, но уже иная: выбирать не из одинаковых, а из взаимоотрицающих высказываний. Закон исключенного третьего как раз и предъявляет требование выбора — одного из двух — по принципу «или — или», tertium non datur (третьего не дано). Он означает, что при решении альтернативного вопроса нельзя уклоняться от определенного ответа; нельзя искать что-то промежуточное, среднее, третье.

С такого рода альтернативами человек сталкивается довольно часто. Еще в Древнем Риме родилась крылатая фраза: «Aut Caesar, aut nihil» (буквально «Или Цезарь, или ничто»), которую иногда употребляют в обобщенном смысле: «Все или ничего». Подобную интеллектуальную ситуацию гениально выразил У. Шекспир, вложив в уста Гамлета слова, ставшие тоже крылатыми: «Быть или не быть?» У А. Пушкина мы находим: «Она меня зовет: поеду или нет?» Ясно, что из этих вариантов приходится выбирать: ничего третьего нет.

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

Нарушение требования выбора проявляется в разных формах. Иногда сам вопрос сформулирован неальтернативно. Вспомним: «Перестал ли ты бить своего отца?» Как правильно ответить? Если «перестал», значит, бил. Если же «не перестал», значит, продолжаешь бить. Тут как раз возможно третье: «Я его не бил и не бью». Или на вопрос: «Любишь ли ты его?» нередко нельзя ответить по формуле «или — или». Ведь можно кого-то любить, можно презирать или ненавидеть, а можно просто проявлять безразличие или равнодушие.

Но если вопрос сформулирован правильно, то уклонение от определенного ответа на него, поиски чего-то третьего будут ошибкой. Она свойственна людям нерешительным, неуверенным в себе или просто беспринципным.

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

Какое значение имеет закон исключенного третьего в юридическом отношении? Можно сказать, что именно здесь он празднует свой триумф. На принципе «или — или» основана, по существу, вся юридическая практика. Еще в афинском суде было установлено двойное голосование судей: первым определялась виновность или невиновность, а вторым — мера наказания. Этим достигалась большая точность в рассмотрении дел.

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

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

Читайте также

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

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

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

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

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

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

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

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

3. Закон исключенного третьего С законом противоречия, в свою очередь, тесно связан закон исключенного третьего.Как установлено выше, закон противоречия гласит, что утверждение и отрицание одного и того же не могут быть вместе истинными: одно из них непременно ложно. Но

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

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

2. Закон тождества. Закон непротиворечия

2. Закон тождества. Закон непротиворечия Закон тождества (a = a). Чтобы дать его характеристику, прежде необходимо понять, что же такое тождество вообще. В наиболее общем смысле под тождеством понимают равнозначность, одинаковость. При этом редко можно говорить об

Первый духовный закон успеха – это Закон Чистой Потенциальности

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

Глава первая Закон интеллектуальной эволюции человечества или закон трех стадий

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

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

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

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

§ 25. Закон исключенного третьего Из закона противоречия и закона двойного отрицания само собою вытекает, что из двух противоречиво противоположных суждений одно необходимо истинно; что, следовательно, наряду с утверждением и отрицанием нет никакого третьего

Источник