How to think about informal proofs

Citation data:

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

Publication Year:
Usage 117
Downloads 58
Abstract Views 50
Full Text Views 6
Link-outs 3
Captures 17
Readers 13
Exports-Saves 4
Social Media 1
Tweets 1
Citations 4
Citation Indexes 4
Repository URL:
Larvor, Brendan
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.