How to think about informal proofs

Citation data:

Synthese, ISSN: 0039-7857, Vol: 187, Issue: 2, Page: 715-730

Publication Year:
Usage 110
Downloads 51
Abstract Views 50
Full Text Views 6
Link-outs 3
Captures 18
Readers 14
Exports-Saves 4
Social Media 1
Tweets 1
Citations 4
Citation Indexes 4
Repository URL:
Brendan Larvor
Springer Nature
Arts and Humanities, Social Sciences
Most Recent Tweet View All Tweets
article description
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. © 2011 Springer Science+Business Media B.V.

This article has 0 Wikipedia mention.