Вопрос о взаимосвязи математики и философии впервые был задан довольно давно. Аристотель, Бэкон, Леонардо да Винчи - многие
великие умы человечества занимались этим вопросом и достигали выдающихся
результатов. Это не удивительно: ведь основу взаимодействия философии
с какой-либо из наук составляет потребность использования аппарата
философии для проведения исследований в данной области; математика же,
несомненно, более всего среди точных наук поддается философскому анализу
(в силу своей абстрактности). Наряду с этим прогрессирующая математизация
науки оказывает активное воздействие на философское мышление.
Если пытаться некоторым образом классифицировать различные науки, то неизбежно приходишь к выводу, что и математика, и философия занимают некоторое особое место в этой классификации. Необходимо замечаешь, что между ними много общего. Рассмотрим этот вопрос поподробнее.
Во времена античности и средневековья вообще нельзя было отделить математику и философию. Примером тому являются Аристотель и Декарт, которым математики обязаны новыми взглядами на логику и на геометрию. В то же время эти ученые создали собственные философские учения, тесно связанные, лучше даже сказать, неотделимые от их исследований в области математики. И обратно, их математические результаты базируются на их философских взглядах и в то же время следуют из них. Такое положение продолжалось вплоть до XVII веков. Даже
фундаментальный труд Исаака Ньютона, положивший начало всему
дифференциально-интегральному исчислению и механике, был озаглавлен
"Математические начала натуральной философии". Надо сказать, что и в
дальнейшем все настоящие великие математики являлись и
мыслителями-философами. К их числу можно отнести, кроме вышеперечисленных,
Лобачевского, Римана, Брауэра, Гильберта, Пуанкаре, Геделя.
Затем философия выделяется в
отдельную область человеческого знания, причем очень специфическую
область. Если различные естественные науки имеют дело с материальными
объектами, изучая их с некоторой, вполне определенной точки зрения
(биология - с живыми организмами, физика - с пространством, временем,
телами и т. д.), общественные и социальные науки имеют дело с такими
понятиями, как государство, революция и эволюция и т. д., гуманитарные
науки - со словом, текстом, музыкой, психология имеет
дело с мозгом и поведением человека и т.д., то философия делает предметом
своего анализа обобщения частных наук. Если учесть, что каждая
частная наука как раз и характеризуется тем, что обобщает и классифицирует
знания, то философия имеет дело с более высоким, вторичным уровнем
обобщения.
То же самое можно сказать и про математику. Ни один
математический объект не встречается в реальной жизни. При этом если для
некоторых объектов, как то точка, прямая, натуральное число, мы можем
увидеть и осознать их грубую модель в природе, то для подавляющего
большинства математических понятий таких моделей нет и быть не может.
Они возникли как чисто умозрительные построения и обобщения уже построенных объектов. Парадокс состоит в том, что при всем своем отрыве от действительности они помогают познавать природу. Надо заметить, что это происходит не напрямую, а с помощью привлечения еще какой-либо науки из области естествознания, а последнее время и общественные науки стали серьезно использовать математические методы в своих исследованиях. Таким образом, математика тоже имеет дело со вторичным уровнем обобщения.
Особняком ко всем наукам стоит логика. Все науки, в том числе философия и математика) подчиняются
формально-логическим законам (иначе они теряют право называться наукой), в то же время логика - наука об наиболее общих законах мышления, поэтому ее можно рассматривать как часть философии или близкую к ней науку. Не случайно Гедель рассматривал философию прежде всего с точки зрения "науки
логики". ootnote Философия. Под ред. В.Н Лавриненко. М.,1996. С.25 В то же время логика рассматривается как часть математики, так как
логические законы могут быть отображены в формализованные языки
(логические исчисления) и исследованы с помощью математических методов.
Именно в математике обращается наибольшее внимание на логическую
строгость доказательств, и именно в связи с проблемой обоснования
математики были разработаны неклассические логики. Их создание и развитие,
в свою очередь, сильно повлияло на развитие математики, в частности,
общей алгебры, топологии, теории множеств, теории рекурсивных функций и
многих других областей математики. Ни с одной другой наукой логика не
находится в таком тесном взаимопроникновении, как с математикой и
философией. Знаменательно, что законы логики заложил Аристотель -
философ и математик.
Кроме того, и математика, и философия характеризуются одной важной особенностью, которой в такой мере не обладает ни одна другая наука. Эта особенность напрямую вытекает из того, что обе науки имеют дело со вторичным уровнем абстракции. Ни математик, ни философ не имеют возможности воспользоваться напрямую таким действенным методом познания, как практический эксперимент или опыт. Ни математику, ни философу не нужно дорогостоящее оборудование или статистические данные. Они довольствуются умозрительными экспериментами и данными других наук. Для работы им необходимо иметь только ручку и лист бумаги (или другое средство для записи мыслей и результатов). Таким образом, если чувственное познание отходит на второй план, возрастает роль логического познания. Как ни парадоксально, при этом в творческом процессе возрастает роль интуиции, озарения, которую зачастую противопоставляют логике и не всегда признают в качестве способа достижения новых результатов, представляя движение мысли как ряд непрерывных строго обоснованных логических звеньев цепи силлогизмов. Именно роли и месту интуиции и логики в математике и математическом творчестве посвящен данный реферат.
ewpage
egincenter
f
История вопроса ootnoteОсновные факты, используемые в этой части, взяты из книг [3] и [4]
ndcenter
Сейчас в математике, как ни в одной другой науке, особое внимание обращается на строгость и логическую последовательность доказательств. При этом те рассуждения, которые применялись еще сравнительно недавно и рассматривались как строгие, на нынешнем этапе уже не являются доказательствами и требуют дополнительного обоснования. Например, допускали, что непрерывная функция не может изменить знак, не проходя через нуль. Теперь это доказывают.
Первым особое внимание логической стройности рассуждений уделил Аристотель. Именно его понятие силлогизма и группа выделенных им законов (тождества, противоречия и исключенного третьего), по которым должно строится любое доказательство, надолго определили развитие логики. Группа работ Аристотеля была объединена под названием "Органон", то есть инструмент для получения истинного знания. В Новое время вопросами теории познания (в то время еще не отделившейся от логики) занимались Фрэнсис Бэкон и Рене Декарт. В частности, был поставлен вопрос о формировании исходных понятий (определений и аксиом). У Бэкона основным инструментом познания служила индукция, а у Декарта --- дедукция. Декарт, как истинный геометр, призывал допускать в качестве истинных только очевидные утверждения.
Таким образом, аксиомы постигаются интуитивно, а все остальные знания выводятся из них с помощью дедукции без пропуска логических звеньев. В "Рассуждении о методе" Декарт предлагает следующие правила познания:
1) допускать в качестве истины только такие утверждения, которые ясно и отчетливо представлены уму и не могут вызывать
никаких сомнений; 2) расчленять сложные задачи на более простые и
доступные для решения; 3) последовательно переходить от известного и доказанного к неизвестному и недоказанному; 4) не допускать пропуска звеньев в цепи логических доказательств.
Родоначальником современной математической логики явился Готфрид Лейбниц, развивший аристотелевскую силлогистику и учение Декарта о врожденных
идеях. Именно он выдвинул идею создания алфавита мыслей, или универсального языка. Если создать систему знаков для высказываний, подобную системе цифр в арифметике, и создать некую формальную комбинаторику, которая может определять истинность или ложность некоторой мысли или утверждения, то можно получить общий метод и с помощью формально логических законов получать все возможные истины или определять случаи, когда высказывание неизбежно окажется ложным.
Противоположных взглядов на математику
придерживался философ Иммануил Кант. Если, по Лейбницу, все
математические науки можно воплотить в некотором универсальном логическом исчислении, то Кант утверждал, что все математические положения могут доказываться только путем обращения к наглядному представлению, которое дается только априорными формами чувственности.
Но в прошлом веке положение начало резко меняться.
Начало этому положила геометрия Лобачевского, в которой
только один постулат (аксиома) отличался от традиционной евклидовой геометрии. Эта геометрия уже не соответствовала привычным представлениям людей, но в то же время была логически безупречна и непротиворечива. Дальнейшие работа немецкого математика Римана, создавшего систему различных геометрий, наиболее известна из которых сферическая геометрия Римана, итальянского математика Бельтрами показали, что геометрии можно строить на различных системах аксиом и получать при этом непротиворечивые теории. Математика перешла на новый уровень абстракции.
Что же послужило толчком для подобного события? Основу классической геометрии составляли пять постулатов Евклида, из которых первые четыре казались очевидными, и только пятый был достаточно сложным и казался более похожим на теорему. На протяжении почти двух тысячелетий многие математики пытались вывести его из других аксиом, но это не удавалось. Тем не менее, на геометрию смотрели как на идеал научного знания, и вопрос о единственности геометрии был не просто математическим вопросом, а имел мировоззренческий, философский характер. У Канта, например, идея единственности геометрии была органичной частью его философской системы. Иначе говоря, в то время математики рассуждали так: геометрия Евклида является великолепно выстроенным зданием, правда, в нем есть некоторая неясность, связанная с 5 постулатом, однако, в конце концов, все выясниться и неясность будет устранена.
Однако в начале XIX века вдруг наступил кризис в отношении пятого постулата, и сразу трое человек (Н. Лобачевский, Ф. Гаусс и Я. Больяи) решают этот кризис методом построения новой геометрии. Почему же именно в этот момент произошел перелом? Вряд ли можно предполагать, что одновременно появились три гения, которых не было на протяжении многих веков.
Дело в том, что проблема пятого постулата предстала перед математиками в новом свете, уже не как досадная неясность, а как проблема,
порождающая ряд фундаментальных вопросов: как вообще должна быть построена математика? Может ли она быть построена на действительно прочных основаниях? Является ли она достоверным знанием? Является ли она логически точным знанием? Эти вопросы возникли не в связи с постановкой проблемы пятого постулата, а были определены общим состоянием математики в тот исторический момент.
Вплоть до XVII века математика находилась как бы в зачаточном состоянии. Наиболее разработана была геометрия, известны начала алгебры и тригонометрии. Но с XVII века математика начала бурно развиваться, и к началу XIX века она представляла собой довольно сложную и развитую систему знаний. Для нужд механики было создано и развивалось дифференциальное и интегральное исчисление; значительное развитие получила алгебра, появилось понятие функции; появилась теория вероятностей и теория рядов. Математическое знание выросло не только количественно, но и качественно. С этим развитием появилось множество новых понятий, которые математики не могли истолковать. Например, алгебра несла с собой понятие числа. Положительные, отрицательные и мнимые величины были в равной степени ее объектами, но что это такое, никто толком не знал до XIX века. Не было ответа даже на более общий вопрос --- что такое число? Что такое бесконечно малая величина, которая уже широко использовалась в дифференциальном и интегральном исчислениях? Как можно обосновать дифференцирование, интегрирование, суммирование рядов, то есть операции, требующие предельного перехода? Что представляет собой вероятность?
В итоге именно в XIX веке сложилась кризисная ситуация в математике.
Но трудности истолкований новых понятий еще можно было понять: то, что неясно сегодня, станет ясно завтра, когда соответствующая область получит должное развитие, когда там будет сосредоточено достаточное количество интеллектуальных усилий. Иначе дело обстояло с проблемой пятого постулата --- она стояла уже около двух тысячелетий, и многие люди ей занимались, но решения не было. Может быть, что эта проблема устанавливала некий эталон для истолкования тогдашнего состояния математики и уяснения того, что есть математика вообще. Возможно, математика не является точным знанием. В свете этих вопросов проблема пятого постулата перестала быть частной задачей, а стала фундаментальной проблемой и была решена путем построения новых геометрий. Параллельно на основе нового взгляда на метематику развивались и другие области.
Алгебра логики возникла в работах англичанина Джона Буля, который предложил рассматривать логику как алгебру, где переменные принимают только два значения - 0 и 1, и применять к высказываниям методы алгебры. Буль полагал, что есть некие общие принципы мышления, что дает основания для аналогий между логикой и алгеброй. Эта идея блестяще подтвердилась, кроме того, булевозначные алгебры, как оказалось, являются моделями классической теории множеств.
На этом подходе ныне базируется вся электронно-вычислительная техника. Дальнейшее развитие этот подход получил в работах математика Готлоба
Фреге, который осуществил дедуктивно-аксиоматическое построение логики высказываний и
логики предикатов. Он построил систему формализованной арифметики, тем
самым пытаясь обосновать идею сводимости значительной части математики к
чистой логике. Это направление получило название логицизм, который был
развит в работе "Принципы математики" англичанами Бертраном Расселом и
Альфредом Уайтхедом. В этом же направлении работали гениальные математики
Пеано (им создана знаменитая система аксиом Пеано для определения базового понятия математики - натурального числа и принципа математической индукции) и Гильберт, строго аксиоматически изложивший евклидову геометрию в своем труде "Основания геометрии"(1889). Надо сказать, что она была достаточно далека от той геометрии, которую до сих пор преподают в школах.
Однако с углублением формализации математики начали натыкаться на различные парадоксы, связанные с определениями абстрактных понятий, из которых наиболее известен парадокс Рассела в теории множеств. Возникла
ситуация, похожая на ситуацию с евклидовой геометрией. Опять еще более
остро стали философские вопросы обоснования математики и возможности
ее построения на чисто логико-аксиоматической основе.
В 1931 году
австрийский математик Курт Гедель доказал неполноту достаточно богатых
формальных систем, что и означало, что лейбницева программа полной
формализации мышления невозможна. Иначе говоря, существуют
предложения, которые формулируются в терминах данной теории, но
недоказуемы и неопровержимы в рамках этой теории. Эти исследования
наряду с исследованиями поляка Тарского и голландца Чёрча определили
современное состояние математической логики. На сегодняшний день
ситуация с классической логикой повторила ситуацию с евклидовой
геометрией. Созданы и развиваются интуиционистская и конструктивная
логики, основанные на отбрасывании или замене классических
аристотелевских законов логики. Ведутся исследования в области
многозначных, релевантных и модальных логик.
Итак, можно сказать, что в ходе развития математики все большее внимание уделялось строгости логики. Надо сказать, что это не является какой-то особенностью именно математики. Для примера можно взять юриспруденцию и сравнить законы, которые использовались в средние века, в Новое время и сегодняшний свод законов. Можно увидеть, что при сохранении основных идей (записанных еще в Библии --- не убий, не укради и т.д.) увеличивается детальность и логическая последовательность законов. Тем более это видно в естественных науках. Был момент, когда казалось, что все в математике можно свести к формальным правилам вычислений. Иначе говоря, можно было бы сконструировать некую машину, которая могла бы генерировать все теоремы и их доказательства, а нужда в математике-человеке с его интуицией бы отпала. Только в 30-х годах XX века вновь появилось понимание, что машина не может заменить человека в этой области знаний (и, по-видимому, ни в какой другой).
egincenter
f
О природе математического умозаключения
ndcenter
Сама возможность математического познания при рассмотрении ее с точки зрения логицизма кажется неразрешимым противоречием. Если все предложения в математике выведены одно из другого по правилам формальной логики, то верно ли, что вся математика сводится к бесконечному повторению и тавтологии? Ведь силлогизм Аристотеля не может научить ничему новому, и если все теоремы вытекают из закона тождества, то все должно к сводится к нему и к нескольким аксиомам, лежащим в основе математики. Правда, надо предположить или проверить, что эта система аксиом не сводится к закону противоречия.
Получается, что ни одна теорема не могла бы дать никаких новых знаний, если бы в ее доказательство не входила бы новая аксиома. Ведь сам силлогизм ничего не добавляет к тем данным, которые даются в посылке. Иначе говоря, вся математика сводилась бы к нескольким аксиомам и скрытому способу говорить, что А есть А. Кроме того, если математика имеет дедуктивный характер, то как объяснить тот факт, что 90 процентов математических статей связаны с обобщением уже известных результатов. Чтобы объяснить смысл этих противоречий, надо признать, что математическое умозаключение само по себе имеет род творческой силы, и этим отличается от силлогизма.
Рассмотрим один из важнейших, если не самый важный, тип математических умозаключений, причем сделаем это на простейшем примере, на примере арифметике. Выражение "дважды два равно четырем" используется, когда говорят о чем-то очень простом, элементарном. Это вроде бы ясно, и доказывать тут нечего. Первым пытался доказать это Лейбниц. Для этого необходимо ввести некие понятия (по сути - аксиомы), а именно понятие числа 1 и операции прибавления к некоторому числу х числа 1. Далее определяем числа 2, 3 и 4 следующими равенствами
2=1+1, 3=2+1, 4=3+1. Теперь определим операцию прибавления 2 следующим образом х+2=(х+1)+1. Заметим, что пока ничего содержательного не появилось, но при этом в определении новой операции неявно используется аксиома ассоциативности сложения. Иначе говоря, либо вводится эта аксиома, и тогда новая операция определяется однозначно, либо сначала определяется новая операция прибавления 2, и из нее получается ассоциативность сложения как свойство (а не как аксиома). Далее имеем цепочку равенств 2+2=(2+1)+1=3+1=4. Откуда и получим, что 2+2=4. Таким образом, на основе формально введенных понятий мы доказали формальное(!) равенство. Вроде бы эти рассуждения может проделать и машина, с этим никто не спорит.
Но если спросить любого математика об
10-09-2015, 22:52