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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 54,385
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

The Tacit Dimension. --.Michael Polanyi & Amartya Sen - 1966 - Chicago, IL: University of Chicago.
Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.

View all 22 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Ontology and Mathematical Practice.Jessica Carter - 2004 - Philosophia Mathematica 12 (3):244-267.
Mathematical Nominalism and Measurement.Davide Rizza - 2010 - Philosophia Mathematica 18 (1):53-73.
Proofs and Arguments: The Special Case of Mathematics.Jean Paul Van Bendegem - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 84 (1):157-169.
Phenomenology and Mathematical Practice.Mary Leng - 2002 - Philosophia Mathematica 10 (1):3-14.
Mathematical Activity.M. Giaquinto - 2005 - In Paolo Mancosu, Klaus Frovin Jørgensen & S. A. Pedersen (eds.), Visualization, Explanation and Reasoning Styles in Mathematics. Dordrecht: Springer. pp. 75-87.
Towards a Theory of Mathematical Argument.Ian J. Dove - 2009 - Foundations of Science 14 (1-2):136-152.
Philosophy of Mathematics: Making a Fresh Start.Carlo Cellucci - 2013 - Studies in History and Philosophy of Science Part A 44 (1):32-42.
Formal Systems as Physical Objects: A Physicalist Account of Mathematical Truth.E. Szabo´ La´Szlo´ - 2003 - International Studies in the Philosophy of Science 17 (2):117-125.
How to Think About Informal Proofs.Brendan Larvor - 2012 - Synthese 187 (2):715-730.


Added to PP index

Total views
37 ( #267,919 of 2,367,994 )

Recent downloads (6 months)
1 ( #556,092 of 2,367,994 )

How can I increase my downloads?


My notes