ИНТУИЦИОНИСТСКАЯ ЛОГИКА
Интуиционистская логика построена в связи с развитием интуиционистской математики. Интуиционистская школа основана в 1907 г. голландским математиком и логиком Л. Брауэром (1881—1966)35, но некоторые ее идеи выдвигались и ранее.
Интуиционизм — философское направление в математике и логике, отказывающееся от использования абстракции актуальной бесконечности, отвергающее логику как науку, предшествующую математике, и рассматривающее интуитивную ясность и убедительность («интуицию») как последнюю основу математики и логики. Интуиционисты свою интуиционистскую математику строят с помощью финитных (конечных) средств на основе системы натуральных чисел, которая считается известной из интуиции. Интуиционизм включает в себя две стороны — философскую и математическую.
Математическое содержание интуиционизма изложено в ряде работ математиков. Ведущие представители отечественной школы конструктивной математики отмечают положительное значение некоторых математических идей интуиционистов.
В целом конструктивная математика существевно отличается от интуиционистской. Советский математик-конструктивист А. А. Марков (1903—1979) пишет о том, что конструктивное направление имеет точки соприкосновения с так называемой интуиционистской математикой. Конструктивисты сходятся с интуиционистами в понимании дизъюнкции и в силу этого признают правильной данную Брауэром критику закона исключенного третьего. Вместе с тем конструктивисты считают неприемлемыми методологические основы интуиционизма.
В этом высказывании ясно разделены две стороны интуиционизма — математическая и философская. Если первая сторона имеет рациональную часть (в этой связи предпочтительнее говорить об интуиционистской математике или интуиционистской логике, а не об интуиционизме), то вторая сторона интуиционизма (его методологические, идеалистические, философские основы) совершенно неприемлема.
Брауэр считал, что чистая математика представляет собой свободное творение разума и не имеет никакого отношения к опытным фактам. У интуиционистов единственным источником математики оказывается интуиция, а критерием приемлемости математических понятий и выводов является «интуитивная ясность». Но интуиционист Гейтинг вынужден признаться в том, что понятие интуитивной ясности в математике само не является интуитивно ясным; можно даже построить нисходящую шкалу степеней очевидности.
Основой происхождения математики в конечном итоге является не какая-то «интуитивная ясность» — продукт сознания человека, а отражение пространственных форм и количественных отношений действительного мира. Гейтинг, как и Брауэр, в гносеологии тоже субъективный идеалист. Он утверждает, что для математической мысли характерно, что она не выражает истину о внешнем мире, а связана исключительно с умственными построениями36.
Еще в 1936 г. советский математик А. Н. Колмогоров подверг критике субъективно-идеалистические основы интуиционизма, заявив, что невозможно согласиться с интуиционистами, когда они говорят, что математические объекты являются продуктом конструктивной деятельности нашего духа, ибо математические объекты являются абстракциями реально существующих форм независимой от нашего духа действительности. Интуиционисты не признают человеческую практику и опыт источником формирования математических понятий, методов математических построений и методов доказательств.
Особенности интуиционистской логики вытекают из характерных признаков интуиционистской математики.
В современной классической математике часто прибегают к косвенным доказательствам. Но их почти невозможно ввести в интуиционистской математике и логике, так как там не признаются закон исключенного третьего и закон которые участвуют в косвенных доказательствах.
Закон исключенного третьего для бесконечных множеств в интуиционистской логике не проходит потому, что знак отрицания) требует общего метода для решения любой проблемы или, более явно, общего метода, который по произвольному высказыванию р позволил бы получать либо доказательство р, либо доказательство отрицания р. Гейтинг считает, что так как интуиционисты не располагают таким методом, то они и не вправе утверждать принцип исключенного третьего. Покажем это на таком примере. Возьмем утверждение: «Всякое целое число, большее единицы, либо простое, либо сумма двух простых, либо сумма трех простых». Неизвестно, так это или нет, хотя в рассмотренных случаях, которых конечное число, это так. Существует ли число, которое не удовлетворяет этому требованию? Мы не можем указать такое число и не можем вывести противоречие из допущения его существования.»
Эта знаменитая проблема Гольдбаха (X. Гольдбах — математик) была поставлена им в 1742 г. и не поддавалась решению около 200 лет. Гольдбах высказал предположение, что всякое целое число, большее или равное шести, может быть представлено в виде суммы трех простых чисел. Для нечетных чисел она была положительно решена только в 1937 г. советским математиком — академиком И. М. Виноградовым; все достаточно большие нечетные числа представимы в виде суммы трех простых чисел. Это одно из крупнейших достижений современной математики. Но закон непротиворечия представители как интуиционистской, так и конструктивной логик считают неограниченно применимым.
Брауэр первый наметил контуры новой логики. Идеи Брауэра формализовал Гейтинг, в 1930 г. построивший интуиционистское исчисление предложений с использованием импликации, конъюнкции, дизъюнкции и отрицания на основе 11 аксиом и двух правил вывода — модуса поненс (modus ponens) и правила подстановки. Гейтинг утверждает, что, хотя основные различия между классической и интуиционистской логиками касаются свойств отрицания, эти логики не совсем совпадают и в формулах без отрицания. Гейтинг отличает математическое отрицание от фактического: первое выражается в форме конструктивного построения (выполнения) определенного действия, а второе говорит о невыполнении действия (а «невыполнение» чего-либо не является конструктивным действием). Интуиционистская логика имеет дело только с математическими суждениями и лишь с математическим отрицанием, которое определяется через понятие противоречия, а понятие противоречия интуиционисты считают первоначальным, выражающимся или приводящимся в форме 1 = 2, Фактическое отрицание не связано с понятием противоречия.
Проблемами интуиционистской логики в нашей стране занимаются К. Н. Суханов, М. И. Панов, А. Л, Никифоров и др.
Дата добавления: 2014-12-08; просмотров: 1017;