Сделать стартовойСделать закладку
Интересные материалы

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

Парапсихология:Если лицо перекосило

Парапсихология:Список известных вампиров Именна вампиров сохранены в их латинских названиях , дабы не была допущенна ошибка при переводе в написании имени

Парапсихология:Активация лобной чакры Лобная чакра - **нервный центр**, расположен на между бровями, - для излучения мыслей в виде энергии. Это упражнение делает чакру более чувствительной

Философия:Галич Александр Иванович (1783 - 1848) Галич Александр Иванович- психолог и философ. . Отстаивал существование объективных законов природы, критикуя субъективный идеализм и материализм, одновременно отстаивая методологию опытных наук. Разрабатывал эстетику романтизма. Галич стоял у истоков антропологического космизма.

:· Что есть философия?
:· История философии
:· Философия и наука
:· Теория познания
:· Феншуй
:· Философия религии
:· Философия истории
:· Политическая философия
:· Русская философия
:· Философы
:· Философия Америки
:· Афоризмы
:· Литература
:· Организации и люди
:· Гостевая
Философия / Философия и наука / Перспективы исследований в философии математики / 


Перспективы исследований в философии математики

Несмотря на определенный радикализм, структурализм является лишь модификацией того, что Ч.Чихара назвал 'буквалистской точкой зрения'. Буквализм состоит в том, что экзистенциальные утверждения математики не отличаются по своей структуре от экзистенциальных утверждений эмпирических наук. Обоснование этого тезиса состоит в том, что математические утверждения делаются в терминах экзистенциальных кванторов логики первого порядка, и поэтому буквально и прямо утверждают существование математических сущностей. И поскольку структура математических утверждений в понимании структуралистов остается именно такой, перед ними встают все те же проблемы, которые они предпочли бы видеть 'рассосанными'. Действительно, 'буквализм' такого структуралиста, как Резник, заключается в двух идеях. Во-первых, логическая форма математических утверждений должна пониматься буквально, и во-вторых, семантика математических утверждений должна быть семантикой естественных наук. В противном случае нельзя будет говорить об истинности математических утверждений, а без этой посылки невозможно ничего сказать о математических объектах. Эти проблемы могли бы быть игнорированы, если бы не общепринятое, разделяемое и структуралистами, убеждение в том, что математические утверждения являются истинными. Подлинно радикальным взглядом в этом отношении является номинализм Х.Филда, который полагает математические утверждения ложными. Другой радикальный отход от буквализма можно видеть в позиции Ф.Китчера, для которого математические утверждения сутьсовокупность операций, выполняемых идеальным субъектом.

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

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

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

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

Под номиналистической теорией Филд понимает теорию, в которой кванторные переменные ограничены нематематическими сущностями. Другими словами, нелогический словарь номиналистической теории не пересекается со словарем математической теории и, значит, абстрактные объекты математики избегаются. Более точно, пусть N - номиналистическая теория первого порядка, а ZFU - теория множеств Цермело-Френкеля с Urelemente. Тогда может быть показано, что если N + ZFU дает S, тогда N дает S.

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

<<<НазадВперед>>>
Cтраницы :  1  2  3  4  5 

Рейтинг : 9084     Комментарии к статье
94da1833 223cb0a8 311 I you all love!
94da1833 223cb0a8 311 Hi, all. Nice site...I really like your site ! Good job man.
94da1833 223cb0a8 311 Interesting web page is, i\'ll see you later one more time
94da1833 223cb0a8 311 Great Site - really useful information!
Copyright (c) RIN 2002- * Обратная связь