Конструктивная и интуиционистская логики

Размещено на http://www.allbest.ru/

Содержание

Введение

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

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

Заключение

Список использованных источников

Введение

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

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

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

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

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

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

4. Различные интерпретации**. А. Н. Колмогоров рассматривал интуиционистскую логику как исчисление задач. А. А. Марков определял логические связки конструктивной логики как прилагаемые к потенциально осуществляемым конструктивным процессам (действиям).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Показательно такое обстоятельство: А. А. Марков строит свои конструктивные логические системы для обоснования конструктивной математики таким образом, что у него получается не одна законченная система, а целая иерархия систем. Это система языков Я0, Я1 Я2, Я3, Я4, Я5, ..., Я N (где N -- натуральное число) и объемлющего их языка Ящ после Ящ строится язык Ящ`.

Заключение

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

Список использованных источников

1. Гейтинг А. Интуиционизм. -- М., 1965.

2. Марков А. А. О логике конструктивной математики. -- М., 1972.

3. Новиков П. С. Конструктивная математическая логика с точки зрения классической. --М., 1977.

4. Шанин Н. А. Конструктивные вещественные числа и конструктивные функциональные пространства. -- Труды Математического института имени В. А. Стеклова АН СССР, т. 67. -- М., Л., 1967

Размещено на Allbest.ru