авторефераты диссертаций БЕСПЛАТНАЯ РОССИЙСКАЯ БИБЛИОТЕКА - WWW.DISLIB.RU

АВТОРЕФЕРАТЫ, ДИССЕРТАЦИИ, МОНОГРАФИИ, НАУЧНЫЕ СТАТЬИ, КНИГИ

 
<< ГЛАВНАЯ
АГРОИНЖЕНЕРИЯ
АСТРОНОМИЯ
БЕЗОПАСНОСТЬ
БИОЛОГИЯ
ЗЕМЛЯ
ИНФОРМАТИКА
ИСКУССТВОВЕДЕНИЕ
ИСТОРИЯ
КУЛЬТУРОЛОГИЯ
МАШИНОСТРОЕНИЕ
МЕДИЦИНА
МЕТАЛЛУРГИЯ
МЕХАНИКА
ПЕДАГОГИКА
ПОЛИТИКА
ПРИБОРОСТРОЕНИЕ
ПРОДОВОЛЬСТВИЕ
ПСИХОЛОГИЯ
РАДИОТЕХНИКА
СЕЛЬСКОЕ ХОЗЯЙСТВО
СОЦИОЛОГИЯ
СТРОИТЕЛЬСТВО
ТЕХНИЧЕСКИЕ НАУКИ
ТРАНСПОРТ
ФАРМАЦЕВТИКА
ФИЗИКА
ФИЗИОЛОГИЯ
ФИЛОЛОГИЯ
ФИЛОСОФИЯ
ХИМИЯ
ЭКОНОМИКА
ЭЛЕКТРОТЕХНИКА
ЭНЕРГЕТИКА
ЮРИСПРУДЕНЦИЯ
ЯЗЫКОЗНАНИЕ
РАЗНОЕ
КОНТАКТЫ

Pages:   || 2 | 3 |

Онтологические и гносеологические основания математического знания в интуиционистской философии математики

-- [ Страница 1 ] --

На правах рукописи

ЛЕВЧЕНКО Андрей Сергеевич

ОНТОЛОГИЧЕСКИЕ И ГНОСЕОЛОГИЧЕСКИЕ ОСНОВАНИЯ МАТЕМАТИЧЕСКОГО ЗНАНИЯ

В ИНТУИЦИОНИСТСКОЙ ФИЛОСОФИИ МАТЕМАТИКИ

09.00.08 философия науки и техники

АВТОРЕФЕРАТ

диссертации на соискание ученой степени

кандидата философских наук

МОСКВА

2010

Работа выполнена на кафедре философии факультета философии, социологии и культурологии Курского государственного университета

Научный руководитель:

доктор философских наук, доцент

АРЕПЬЕВ Евгений Иванович

Официальные оппоненты:

доктор философских наук, профессор

КНЯЗЕВ Виктор Николаевич

кандидат философских наук, доцент

ЧЕРНЕЦОВ Михаил Михайлович

Ведущая организация:

Брянский государственный университет имени академика И.Г.Петровского

Защита диссертации состоится «14» марта 2011 г в 15 часов на заседании Диссертационного совета Д 212.154.06 при Московском педагогическом государственном университете по адресу 119571, г. Москва, пр-т. Вернадского, д.88. ауд. 818.

С диссертацией можно ознакомиться в библиотеке Московского педагогического государственного университета по адресу: 119992, г.Москва, ул. Пироговская, д. 1.

Автореферат разослан «____» _________________ 2011

Ученый секретарь

Диссертационного Совета С.В. Кузнецова

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы исследования

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

Во-вторых, в конце XIX – XX вв. происходит интенсивная разработка философско-методологических проблем научного знания и, в том числе, математики. Богатое наследие этого периода продолжает оставаться плодотворной почвой для развития современной философии науки и, в частности, для построения интерпретаций онтологического и гносеологического фундамента математических областей. Перед современными исследователями остро встает задача выявления позитивных результатов, полученных в ведущих программах обоснования науки прошлого столетия, их реконструкции и развития в свете современных научных реалий, задача выявления на их основе тенденций и перспектив дальнейшей эволюции научных областей. К числу таких ведущих программ, несомненно, относится и программа интуиционизма в основаниях математики.





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

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

Степень научной разработанности проблемы

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

Это труды ученых, направленные на осмысление вклада программы математического интуиционизма и конструктивизма в развитие математики, ее философских оснований и методологию науки, в частности таких авторов, как А. Гейтинг, Д. ван Даллен, А.Г. Драгалин, С.К. Клини, А.Н. Колмогоров, Б.А. Кушнер, В.Т. Мануйлов, А.А. Марков, П. Мартин-Леф, А. Мостовский, Н.Н. Непейвода, П.С. Новиков, М.И. Панов, А.А. Побережный, А.С. Трулстра, Н.А. Шанин и др.

Особенно значимы современные исследования онтологических и гносеологических проблем обоснования математических областей, понятий и истин. К ним относятся работы Е.И. Арепьева, Г.Б. Гутнера, С.Л. Катречко, А.Н. Кричевца, А.Ф. Кудряшева, В.Я. Перминова, Я. Хинтикки, В.В. Целищева и др.

Необходимо учитывать исследования логико-методологических и семантических аспектов обоснования математики в работах А.В. Бессонова, Б.В. Бирюкова, Н. Бурбаки, В.Э. Войцеховича, Г. Генцена, К. Геделя, И.Н. Грифцовой, В.А. Карпунина, Х.Б. Карри, С.К. Клини, З.А. Кузичевой, И. Лакатоса, Я. Лукасевича, В.В. Мадер, П.С. Новикова, В.Я. Перминова, Е.Д. Смирновой, В.А. Успенского, Г. Фреге, В.В. Целищева, А.В. Чусова, Б.Л. Яшина и др.

Важные идеи для темы диссертации содержатся в классических трудах по основаниям математики И. Бар-Хилелла, П. Бернайса, Л.Э.Я. Брауэра, Н. Бурбаки, Г. Вейля, К. Геделя, А. Гейтинга, Д. Гилберта, Р. Дедекинда, Г. Кантора, Х.Б. Карри, С.К. Клини, А.Н. Колмогорова, Н.И. Лобачевского, А.А. Маркова, Дж. фон Неймана, Д. Пеано, Б. Рассела, Б. Римана, Г. Фреге, А. Френкеля, Э. Цермело и др.

Новые идеи присутствуют в исследованиях, посвященных современному состоянию дел в философии математики в нашей стране и за рубежом, в частности таких авторов, как А.Г. Барабашев, В.Я. Перминов, З.А. Сокулер, В.Ф. Хендрикс, В.В. Целищев, С. Шапиро, В.А. Шапошников, и др.; в работах, посвященных проблемам математизации различных областей научного знания следующих авторов: Ю.С. Владимиров, А.В. Волошинов, М. Иверсен, О.И. Кедровский, А.Н. Кочергин, Г.И. Рузавин, М. Штайнер и др.

Труды, освещающие развитие представлений о природе математики, посвященные описанию подходов к ее обоснованию в истории математического знания и философии. Это работы В.А. Бажанова, Б.В. Бирюкова, Г. Вейля, В.Н. Катасонова, В.И. Колядко, А.Ф. Кудряшева, И.С. Кузнецовой, Г.Г. Майорова, П. Мартин-Лефа, В.В. Мороз, М.И. Панова, А.В. Родина, А.П. Юшкевича, С.А. Яновской и др.

Это работы, посвященные проблемам философии и методологии науки в целом, проблемам обоснования естествознания, проблемам физических и других отдельных научных областей таких авторов, как Л.Г. Антипенко, В.В. Аристов, В.И. Аршинов, Б.С. Грязнов, Е. Вигнер, В.И. Жог, И.Т. Касавин, В.Н. Князев, А.Н. Кочергин, В.А. Лекторский, Л.И. Маневич, Л.А. Микешина, А.М. Новиков, Ю.А. Петров, М.А. Розов, В.Н. Садовский, З.А. Сокулер, В.С. Степин, А.Л. Субботин, В.А. Суровцев, В.С. Швырев, С.А. Яновская, Я.С. Яскевич и др.

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

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

Цель и задачи диссертационного исследования

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

Достижение поставленной цели предполагает решение ряда следующих задач:

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

— определение предпосылок интуиционизма в эволюции математики, истоков интуиционистской трактовки фундамента математики в истории философии;

— интерпретация связи истин арифметики с реальностью и процессом познания на основе содержательной составляющей программы интуиционизма;

— онто-гносеологическое истолкование логики на основе анализа ее содержательного описания, введения в интуиционизме;

— выявление онто-гносеологических аспектов и следствий содержательного истолкования геометрической составляющей математики в интуиционизме;

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

Теоретико-методологические принципы и источники исследования

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

К источникам исследования относятся вошедшие в классику мировой философии и математики труды следующих мыслителей: Аристотель, И. Бар-Хиллел, П. Бернайс, Л.Э.Я. Брауэр, Н. Бурбаки, Г. Вейль, Г. Галилей, К.Ф. Гаусс, К. Гёдель, А. Гейтинг, Д. Гильберт, Г. Грисс, Э. Гуссерль, Д. ван Даллен, Р. Дедекинд, Р. Декарт, Евклид, И. Кант, Г. Кантор, Х.Б. Карри, С.К. Клини, А.Н. Колмогоров, Г.В. Лейбниц, Н.И. Лобачевский, А.А. Марков, А. Пуанкаре, Б. Рассел, Б. Риман, Г. Фреге, А. Френкель, И. Фихте, Л. Эйлер.

Научная новизна исследования

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

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

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

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

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

Теоретическая и практическая значимость работы

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

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

Апробация диссертации

Цели и результаты настоящего диссертационного исследования вошли в круг задач и результатов научно-исследовательского проекта «Онтологические и гносеологические основы математического знания в направлениях философии математики конца XIX–XX столетия», получившего поддержку РГНФ, грант № 08-03-00049а (продолжающийся коллективный проект, в котором автор является исполнителем). Основные результаты, полученные в ходе исследования, отражены в публикациях (в том числе и в центральных периодических изданиях, рекомендованных ВАК для публикации результатов диссертационных исследований).

Помимо этого, отдельные результаты диссертационного исследования прошли апробацию на международных научных конференциях: «Философия математики: актуальные проблемы» (Москва, 28-30 мая 2009 г.); «Философия математики: актуальные проблемы» (Москва, 15-16 июня 2007 г).

Структура диссертации

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

Основное содержание работы

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

Первая глава «Проблема сущностного истолкования математики: предпосылки и становление интуиционистского подхода»

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

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

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

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



Pages:   || 2 | 3 |
 

Похожие работы:







 
© 2013 www.dislib.ru - «Авторефераты диссертаций - бесплатно»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.