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

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

____________________

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

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

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

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

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

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

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

---

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

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

§ 4. Конструктивные логики

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

Конструктивное направление (в математике и логике) ограни­чивает исследование конструктивными объектами и проводит его в рамках абстракции потенциальной осуществимости (реализуемо­сти), т. е. игнорирует практическое ограничение наших возможностей построений в пространстве, времени, материале.

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

Однако между конструктивной и интуиционистской логика­ми имеются и существенные отличия.

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

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

---

2. Обоснование интуиционистской математики и логики дается с помощью идеалистически истолкованной интуиции, а обоснование конструктивной математики и логики дается на базе математического понятия алгоритма (например, нормального алгоритма А. А. Маркова) или эквивалентного ему понятия рекурсивной функции.

3. Различные методологические основы. Методологической основой конструктивного направления в математике является признание практики источником познания и критерием его ис­тинности (в том числе и научного). Это положение сохраняет свою силу и для таких наук, как логика и математика, хотя здесь практика входит в процесс познания лишь опосредованно, в ко­нечном счете.

Интуиционисты же считают источником формирования ма­тематических понятий и методов первоначальную “интуицию”, а критерием истинности в математике - “интуитивную ясность”.

4. Различные интерпретации¹. А. Н. Колмогоров интерпретировал интуиционистскую логику как исчисление задач. А. А. Марков

________________________

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

интерпретировал логические связки конструктивной логики как прилагаемые к потенциально осуществимым конструктивным процессам (действиям).

Интуиционистская логика Л. Брауэра и А. Рейтинга интерпре­тируется ими как исчисление предложений (высказываний), при­чем область высказываний у них ограничивается математичес­кими предложениями.

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

Представители интуиционистской логики не признают дан­ного принципа.

Конструктивные исчисления высказываний В. И. Гливенко и А. Н. Колмогорова

Первыми представителями конструктивной логики были математики А. Н. Колмогоров (1903-1987) и В. И. Гливенко (1897-1940). Первое исчисление, не содержащее закон исключенного третьего, было предложено в 1925 г. А. Н. Колмого­ровым в связи с его критикой концепции Л. Брауэра, а в даль­нейшем развито В. И. Гливенко. Позже было опубликовано исчисление Гейтинга, которое Колмогоров интерпретировал как исчисление задач, что породило содержательное истолко­вание исчислений, не пользующихся законом исключенного третьего, а это, в свою очередь, легло в основу всех дальней­ших, подлинно научных исследований таких исчислений.

Введя понятия “псевдоистинность” (двойное отрицание суждения) и “псевдоматематика” (“математика псевдоистинно­сти”), Колмогоров доказал, что всякий вывод, полученный с помощью закона исключенного третьего, верен, если вместо каж­дого суждения, входящего в его формулировку, поставить суж­дение, утверждающее его двойное отрицание. Тем самым он показал, что в “математике псевдоистинности” законно приме­нение принципа исключенного третьего.

---

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

Какова же область применения частной логики суждений? Все ее формулы верны для суждения типа А^. , в том числе для всех финитных и для всех отрицательных суждений, т. е. область применимости ее совпадает с областью применимости фор­мулы двойного отрицания ®А. (Символами А^. ,В^. ... обозна­чены произвольные суждения, для которых из двойного отрица­ния следует само суждение).

Конструктивная логика А. А. Маркова

Проблема конструктивного понимания логических связок, в частности отрицания и импликации, требует применения в ло­гике специальных точных формальных языков. В основе конст­руктивной математической логики А. А. Маркова (1903-1979) лежит идея ступенчатого построения формальных языков. Сна­чала вводится формальный язык Я₀, в котором предложения вы­ражаются по определенным правилам в виде формул; в нем име­ется определение смысла выражения этого языка, т. е. семантика. Правила вывода позволяют, исходя из верных предложений, все­гда получать верные предложения.

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

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

Новое понимание логических связок требует новой логики. Мы считаем утверждение А. А. Маркова о неединственности логики верным и весьма глубоким: “В самой идее неединственности логики, разумеется, нет ничего удивительного. В самом деле, с какой стати все наши рассуждения, о чем бы мы ни рас­суждали, должны управляться одними и теми же законами? Для этого нет никаких оснований. Удивительным, наоборот, было бы, если бы логика была единственна”'.

В конструктивную математическую логику А. А. Марков вво­дит понятие “разрешимое высказывание” и связанное с ним по­нятие “прямое отрицание”. В логике А. А. Маркова имеется и другой вид отрицания - усиленное отрицание, относящееся к так называемым полуразрешимым высказываниям.

---

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

Через дедуктивную импликацию А. А. Марков определяет редукционное отрицание (reductio ad absurdum). Редукционное отрицание высказывания А (сформулированного в данном языке) понимается как дедуктивная импликация “если А, то Л”, где через Л обозначен абсурд. Это определение отрицания соответству­ет обычной практике рассуждений математика: математик отрицает то, что можно привести к абсурду. Для установление истинности редукционного отрицания высказывания не требуется вникать в его смысл. Высказывание, для которого установлена истинность редукционного отрицания, не может быть истинным.

——————

'Марков А.А. О логике конструктивной математики. //Вестник МГУ. Серия “Математика, механика”. 1970. №2. С. 13.

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

Показательно такое обстоятельство. А. А. Марков строит свои конструктивные логические системы для обоснования конструктивной математики таким образом, что у него получается не одна за­конченная система, а целая иерархия систем. Это система языков Я₀, Я₁, Я₂, Я₃,, Я₄ , Я₅,..., Я_n (где п - натуральное число) и объемлю­щего их языка Я_w; после Я_w строится язык Я_w '.

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

Проблемами конструктивной логики и теории алгоритмов за­нимается также математик Н. М. Нагорный.

§ 5. Многозначные логики

В многозначных логиках число значений истинности аргу­ментов и функций для высказываний может быть любым конеч­ным (больше двух) и даже бесконечным. В настоящем параграфе используются так называемая польская запись, которую приме­нял Лукасевич, и обычная, применяемая в двузначной логике: от­рицание обозначается через Nx или, конъюнкция - через Кху или х v у, нестрогая дизъюнкция - через Аху или х v у, матери­альная импликация - через Сху или х→ у. Значение функции от аргумента а записывается так: [а]. Тавтологией (или общезначи­мой, или законом логики, или тождественно-истинной) называется формула, которая при любых комбинациях значений входя­щих в нее переменных принимает выделенное (или отмеченное) значение; как правило, это значение “истина” (чаще всего в рас­сматриваемых системах “истина” обозначается цифрой 1).

---

Смотрите также файлы

• Репкина Курсовая.docx

• Нац сб.docx

• РУКОВОДСТВО ПО ПСИХИАТРИИ 2 ТОМА.pdf

• ОСНОВЫ ОРГАНИЧЕСКОЙ ХИМИИ ФАРМАЦИЯ.pdf

• ОРГАНИЧЕСКАЯ ХИМИЯ.pdf