F.P. Ramsey’s critics of formalism and intuitionism in the foundation of mathematics
F.P. Ramsey’s position concerning programs of formalism and intuitionism in the foundation of mathematics is considered. His critical arguments against corresponding treatments of the general and existential statements are analyzed. The critical arguments of F.P. Ramsey against the formalist of treatment of mathematics as simple transformation of symbols according to the set syntactic rules and the intuitionistic approach to the mathematical reasoning demanding refusal of some fundamental principles of the classical logic is considered.
Download file
Counter downloads: 350
Keywords
general and existential statements, intuitionism, formalism, F.P. Ramsey, законы логики, общие и экзистенциальные утверждения, интуиционизм, формализм, Ф.П. РамсейAuthors
| Name | Organization | |
| Surovtsev Valery A. | Tomsk state university | surovtsev1964@mail.ru |
| Gabrusenko Kirill A. | Tomsk state university | koder@mail.tsu.ru |
References
Уайтхед А.Н., Рассел Б. Основания математики: в 3 т. Самара: Изд-во «Самарский университет», 2005-2006.
Суровцев В.А., Эннс И.А. Ф.П. Рамсей и интуиционизм Г. Вейля // Вестник Томского государственного университета. Философия. Социология. Политология. № 2 (18). 2012. С. 173-187.
Вейль Г. О философии математики. М.: КомКнига, 2005.
Ramsey F.P. Notes on Philosophy, Probability and Mathematics (ed. M.C. Galavotti). Napoli: Bibliopolis, 1991.
Витгенштейн Л. Логико-философский трактат. М.: «Канон+» РООИ Реабилитация, 2008.
Рамсей Ф.П. Математическая логика // Рамсей Ф.П. Философские работы. М.: «Канон+» РООИ Реабилитация, 2011. С. 87-109.
Рамсей Ф.П. Основания математики // Рамсей Ф.П. Философские работы. М.: «Канон+» РООИ Реабилитация, 2011. С. 16-86.
