Настоящее пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии ХХ столетия - логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. Первая глава книги посвящена изложению общего подхода к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере. В книге используется большое количество первоисточников и критической литературы.
Пособие написано в соответствии с требованиями Программы кандидатских экзаменов по курсу "История и философия науки", одобренной Высшей аттестационной комиссией и утвержденной приказом Министерства образования России от 17.02.2004 No 697.
Адресовано студентам, аспирантам, преподавателям, ученым, а также всем, кто самостоятельно изучает философские проблемы математики и интересуется логикой и методологией современной науки.
Nastojaschee posobie podgotovleno na osnove avtorskogo kursa po istorii i filosofii nauki dlja aspirantov estestvenno-nauchnogo i gumanitarnogo tsiklov. Dan podrobnyj analiz chetyrekh veduschikh programm obosnovanija filosofii KHKh stoletija - logitsizma, intuitsionizma, konstruktivizma i formalizma. Glavnyj aktsent sdelan na raskrytii filosofskikh dopuschenij perechislennykh programm i dostupnom izlozhenii tezisov i osnovnykh rezultatov kazhdoj iz nikh. Pervaja glava knigi posvjaschena izlozheniju obschego podkhoda k probleme obosnovanija matematiki. Predlagaetsja reshenie, vykhodjaschee za ramki izvestnoj dikhotomii apriorizma i aposteriorizma matematicheskogo znanija. Objasnjaetsja, pochemu ni odna iz analiziruemykh programm ne mozhet schitatsja udovletvoritelnoj v polnoj mere. V knige ispolzuetsja bolshoe kolichestvo pervoistochnikov i kriticheskoj literatury.
Posobie napisano v sootvetstvii s trebovanijami Programmy kandidatskikh ekzamenov po kursu "Istorija i filosofija nauki", odobrennoj Vysshej attestatsionnoj komissiej i utverzhdennoj prikazom Ministerstva obrazovanija Rossii ot 17.02.2004 No 697.
Adresovano studentam, aspirantam, prepodavateljam, uchenym, a takzhe vsem, kto samostojatelno izuchaet filosofskie problemy matematiki i interesuetsja logikoj i metodologiej sovremennoj nauki.