dc.contributor.author | Larvor, B. | |
dc.date.accessioned | 2016-03-03T10:54:08Z | |
dc.date.available | 2016-03-03T10:54:08Z | |
dc.date.issued | 2012-07-01 | |
dc.identifier.citation | Larvor , B 2012 , ' How to think about informal proofs ' , Synthese , vol. 187 , no. 2 , pp. 715-730 . https://doi.org/10.1007/s11229-011-0007-5 | |
dc.identifier.issn | 0039-7857 | |
dc.identifier.other | ORCID: /0000-0003-0921-1659/work/130151086 | |
dc.identifier.uri | http://hdl.handle.net/2299/16638 | |
dc.description | This document is the Accepted Manuscript version of the following article: Brendan Larvor, ‘How to think about informal proofs’, Synthese, Vol. 187(2): 715-730, first published online 9 September 2011. The final publication is available at Springer via doi:10.1007/s11229-011-0007-5 | |
dc.description.abstract | 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 | en |
dc.format.extent | 16 | |
dc.format.extent | 279216 | |
dc.language.iso | eng | |
dc.relation.ispartof | Synthese | |
dc.subject | informal proof | |
dc.subject | mathematical practice | |
dc.subject | inferential action | |
dc.subject | argumentation theory | |
dc.subject | speech-act | |
dc.title | How to think about informal proofs | en |
dc.contributor.institution | School of Humanities | |
dc.contributor.institution | Social Sciences, Arts & Humanities Research Institute | |
dc.contributor.institution | Philosophy | |
dc.description.status | Peer reviewed | |
dc.date.embargoedUntil | 2012-09-09 | |
dc.identifier.url | http://www.scopus.com/inward/record.url?partnerID=yv4JPVwI&eid=2-s2.0-80052394942&md5=94e94e6f929ebc44d118d71b9faf10c1 | |
rioxxterms.versionofrecord | 10.1007/s11229-011-0007-5 | |
rioxxterms.type | Journal Article/Review | |
herts.preservation.rarelyaccessed | true | |