Getmanova_A_D_-_Logika

§ 3. Интуиционистская логика

Интуиционистская логика построена в связи с развитием интуиционистской математики. Интуиционистская школа основана в 1907 г. голландским математиком и логиком Л. Брауэром (1881-1966)², но некоторые ее идеи выдвигались и ранее.

Интуиционизм - философское направление в математике и логике, отказывающееся от использования абстракции актуальной бесконечности, отвергающее логику как науку, предшествующую математике, и рассматривающее интуитивную ясность и убедительность (“интуицию”) как последнюю основу математики и логики. Интуиционисты свою интуиционистскую математику строят с помощью финитных (конечных) средств на основе системы натуральных чисел, которая считается известной из интуиции. Интуиционизм включает в себя две стороны - философскую и математическую.

_______________________

'Меськов В. С. Очерки по логике квантовой механики. М., 1986. С. 9.

²Brouwer L. E. J. Intuitionism and Formalism // Bulletin of American Mathematical Society. 1913. Vol. 20. The Effect of Intuitionism on Classical Algebra of Logic // Proceedings of the Royal Irish Academy. 1955. Vol. 57. P. 113-116.

409

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

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

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

Брауэр считал, что чистая математика представляет собой свободное творение разума и не имеет никакого отношения к опытным фактам. У интуиционистов единственным источником математики оказывается интуиция, а критерием приемлемости математических понятий и выводов является “интуитивная ясность”. Но интуиционист Гейтинг вынужден был признаться в том, что понятие интуитивной ясности в математике само не является интуитивно ясным; можно даже построить нисходящую шкалу степеней очевидности.

Основой происхождения математики в конечном итоге является не какая-то “интуитивная ясность”, а отражение в сознании пространственных форм и количественных отношений действительного мира. Гейтинг, как и Брауэр, в гносеологии субъективный идеалист. Он считает, что математическая мысль не выражает истину о внешнем мире, а связана исключительно с умственными построениями'.

Еще в 1936 г. советский математик А.Н. Коломогоров подверг критике субъективно-идеалистические основы интуиционизма,

____________________

'Cм: Гейтинг А. Интуиционизм // Пер. с англ. М., 1965. С. 17.

410

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

Особенности интуиционистской логики вытекают из характерных признаков интуиционистской математики.

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

Закон исключенного третьего для бесконечных множеств в интуиционистской логике не проходит потому, что р требует общего метода, который по произвольному высказыванию р позволил бы получать доказательство, либо доказательство отрицания. Гейтинг считает, что так как интуиционисты не располагают таким методом, то они не вправе утверждать и принцип исключенного третьего. Покажем это на таком примере. Возьмем утверждение: “Всякое целое число, большее единицы, либо простое, либо сумма двух простых, либо сумма трех простых”. Неизвестно, так это или не так в общем случае, хотя в рассмотренных случаях, которых конечное число, это так. Существует ли число, которое не удовлетворяет этому требованию? Мы не можем указать такое число и не можем вывести противоречие из допущения его существования.

Эта знаменитая проблема X. Гольдбаха была поставлена им в 1742 г. и не поддавалась решению около 200 лет. Гольдбах высказал предположение, что всякое целое число, большее или равное шести, может быть представлено в виде суммы трех простых чисел. Для нечетных чисел это предположение было доказано только в 1937 г. советским математиком академиком

411

И. М.Виноградовым; все достаточно большие нечетные числа представимы в виде суммы трех простых чисел. Это - одно из крупнейших достижений современной математики.

Брауэр первый наметил контуры новой логики. Идеи Брауэра формализовал Гейтинг, в 1930 г. построивший интуиционистское исчисление предложений с использованием импликации, конъюнкции, дизъюнкции и отрицания на основе 11 аксиом и двух правил вывода - modus ponens и правила подстановки. Гейтинг утверждает, что хотя основные различия между классической и интуиционистской логиками касаются свойств отрицания, эти логики не совсем совпадают и в формулах без отрицания. Он отличает математическое отрицание от фактического: первое выражается в форме конструктивного построения (выполнения) определенного действия, а второе говорит о невыполнении действия (“невыполнение” чего-либо не является конструктивным действием). Интуиционистская логика имеет дело только с математическими суждениями и лишь с математическим отрицанием, которое определяется через понятие противоречия, а понятие противоречия интуиционисты считают первоначальным, выражающимся или приходящимся в форме 1 = 2. Фактическое отрицание не связано с понятием противоречия.

Проблемами интуиционистской логики занимаются также философы К. Н. Суханов, М. И. Панов, А. Л. Никифоров и др.

Содержание