Анализ антонимических отношений в подъязыке математики английского языка (стр. 12 из 16)

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

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

Математическая запись:

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

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

С интуиционистской (и, в частности, конструктивистской) точки зрения, установление истинности высказывания вида «А или не А» означает установление истинности A или истинности его отрицания,

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

3.2 Категория «противоположность» в различных логических системах

Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.

Характерной чертой конструктивных объектов является то обстоятельство, что они не существуют извечно. Они рождаются в результате развёртывания некоторых конструктивных процессов, а затем исчезают (в силу самых различных естественных причин). Алгебраическое выражение, написанное мелом на доске, находилось на этой доске не всегда — и просуществует на ней ровно до того момента, пока его не сотрут. Таблица, сохранённая на жёстком диске персональной ЭВМ, также заведомо не существовала до момента изготовления этого диска — и также рано или поздно будет уничтожена (или в результате переформатирования, или в результате выхода диска из строя).

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

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

при конструктивном понимании выражает суждение

«среди формул A и

потенциально осуществима верная»,

однако классический вывод дизъюнкции

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

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

«для любого конструктивного объекта X рассматриваемого вида потенциально осуществим конструктивный объект Y, находящийся в отношении T к объекту X»

означает наличие в нашем распоряжении единого общего метода (алгоритма) переработки объекта X в отвечающий ему объект Y. Поэтому такое суждение может быть заведомо неверным даже в случае верности суждения

«для любого конструктивного объекта X рассматриваемого вида квазиосуществим конструктивный объект Y, находящийся в отношении T к объекту X».

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

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

, перерабатывающих любое натуральное число в некоторое рациональное число, и удовлетворяющих условию

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

и считаются равными, если выполняется условие

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

«любые два вещественных числа или равны, или не равны»

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

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

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

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