Objects and Processes in Mathematical Practice

Foundations of Science 16 (4):337-351 (2011)
In this paper it is argued that the fundamental difference of the formal and the informal position in the philosophy of mathematics results from the collision of an object and a process centric perspective towards mathematics. This collision can be overcome by means of dialectical analysis, which shows that both perspectives essentially depend on each other. This is illustrated by the example of mathematical proof and its formal and informal nature. A short overview of the employed materialist dialectical approach is given that rationalises mathematical development as a process of model production. It aims at placing more emphasis on the application aspects of mathematical results. Moreover, it is shown how such production realises subjective capacities as well as objective conditions, where the latter are mediated by mathematical formalism. The approach is further sustained by Polanyi’s theory of problem solving and Stegmaier’s philosophy of orientation. In particular, the tool and application perspective illuminates which role computer-based proofs can play in mathematics
Keywords Argumentation  Mathematical knowledge  Mathematical practice  Formal proof  Informal proof  Dialectic
Categories (categorize this paper)
DOI 10.1007/s10699-010-9202-y
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 16,667
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Y. Rav (1999). Why Do We Prove Theorems? Philosophia Mathematica 7 (1):5-41.

View all 19 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Jessica Carter (2004). Ontology and Mathematical Practice. Philosophia Mathematica 12 (3):244-267.
Jean Paul Van Bendegem (2005). Proofs and Arguments: The Special Case of Mathematics. Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.
Carlo Cellucci (2013). Philosophy of Mathematics: Making a Fresh Start. Studies in History and Philosophy of Science Part A 44 (1):32-42.

Monthly downloads

Added to index


Total downloads

17 ( #160,237 of 1,726,249 )

Recent downloads (6 months)

1 ( #369,877 of 1,726,249 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.