Критическая рефлексия системного подхода к изучению взаимодействия формальной логики и обоснования математики

Abstract

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