Access the full text.
Sign up today, get DeepDyve free for 14 days.
G. Hanna, H. Jahnke, H. Pulte (2010)
Explanation and proof in mathematics: Philosophical and educational perspectives
A. N. Whitehead, B. Russell (1962)
Principia mathematica to *56. Abridgement of 1927
I. Lakatos (1976)
The Logic of Mathematical Discovery
B. Van Kerkhove, J.-P. Van Bendegem (2007)
Perspectives on mathematical practices: Bringing together philosophy of mathematics, sociology of mathematics, and mathematics education. Series: Logic, epistemology, and the unity of science, Vol. 5
P. Nabonnand (2005)
Fonder autrement les mathématiques. Special issue of Philosophia Scientiae
E. Grosholz (2007)
Representation and productive ambiguity in mathematics and the sciences
(2007)
Mathematical knowledge
F. H. Eemeren, R. Grootendorst (2004)
A systematic theory of argumentation: The pragma-dialectical approach
C. McLarty (2008)
The philosophy of mathematical practice
B. Van Kerkhove (2009)
New Perspectives on Mathematical Practices: Essays in Philosophy and History of Mathematics. Series: Texts in Philosophy 11
J. Carter (2010)
Diagrams and proofs in analysisInternational Studies in the Philosophy of Science, 24
R. J. Fogelin, W. Sinnott-Armstrong (2001)
Understanding arguments
Don Levi (2010)
Against the logiciansThe Philosophers Magazine, 51
D. Corfield (2003)
Towards a philosophy of real mathematics
A. Pelc (2009)
Why do we believe theorems?Philosophia Mathematica, 17
A. Fisher (2004)
The logic of real arguments; 1st edn 1988
E. Grosholz, H. Breger (2000)
The Growth of Mathematical Knowledge (Synthese Library, vol 289)
M.W. Johansen (2010)
PhMSAMP Philosophy of mathematics: Sociological aspects and mathematical practices. (Texts in Philosophy 11)
B. Van Kerkhove, J.-P. Van Bendegem (2009)
Mathematical arguments in contextFoundations of Science, 14
J. W. Dawson (2006)
Why do mathematicians re-prove theorems?Philosophia Mathematica, 14
C. Beardsley Monroe (1950)
Practical Logic
C. Cellucci, D. Gillies (2005)
Mathematical reasoning and heuristics
I. Dove (2002)
Can pictures prove?Logique et Analyse, 179
G. Nickel (2010)
Philosophy of mathematics: Sociological aspects and mathematical practices
V.F.R. Jones (1998)
Truth in mathematics
J. Barwise (1989)
Computers and mathematicsNotices of the American Mathematical Society, 36
T. CadwalladerOlsker (2011)
What do we mean by mathematical proof?The Journal of Humanistic Mathematics, 1
P. Galison (1987)
How Experiments End
Y. Rav (1999)
Why do we prove theorems?Philosophia Mathematica, 7
N. Goethe, M. Friend (2010)
Confronting the ideals of proof with the ways of proving of the research mathematicianStudia Logica, 96
S. Mac Lane (1986)
Mathematics: form and function
A. Sossinsky (2002)
Knots: Mathematics with a twist (Mass.)
W.P. Thurston (2006)
18 Unconventional essays on the nature of mathematics
D. Walton, C. Reed, F. Macagno (2008)
Argumentation schemes
Peter Galison (1997)
Image and logic: A material culture of microphysics
B. Van Kerkhove, J.-P. Van Bendegem (2002)
Perspectives on mathematical practicesLogique et Analyse., 45
P. Churchard, D. Spring (1988)
Proper knot theory in open 3-manifoldsTransactions of the American Mathematical Society, 308
B. Buldt, B. Löwe, T. Müller (2008)
Towards a new epistemology of mathematicsErkenntnis, 68
M. Scriven (1976)
Reasoning
M. Aigner, G. M. Ziegler (2004)
Proofs from the book
John Hoagland (1999)
Proceedings of the Fourth International Conference of the International Society for the Study of Argumentation
D. Reed (1995)
Figures of thought
W. Aspray, P. Kitcher (1988)
History and philosophy of modern mathematics. (Minnesota studies in the philosophy of science, 11)
It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the field.
Synthese – Springer Journals
Published: Sep 9, 2011
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.