{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T04:51:13Z","timestamp":1767156673990},"reference-count":55,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T00:00:00Z","timestamp":1315526400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1007\/s11229-011-0007-5","type":"journal-article","created":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T04:25:29Z","timestamp":1315542329000},"page":"715-730","source":"Crossref","is-referenced-by-count":49,"title":["How to think about informal proofs"],"prefix":"10.1007","volume":"187","author":[{"given":"Brendan","family":"Larvor","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,9]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1007\/0-387-29831-2_4","volume-title":"18 Unconventional Essays on the Nature of Mathematics","author":"A. Aberdein","year":"2006","unstructured":"Aberdein, A. (2006). The informal logic of mathematical proof. In R. Hersh (Ed.) 18 Unconventional Essays on the Nature of Mathematics, (pp. 56\u201370). New York: Springer."},{"key":"7_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05412-3","volume-title":"Proofs from the book","author":"M. Aigner","year":"2004","unstructured":"Aigner M., Ziegler G. M. (2004) Proofs from the book (3rd ed.). Springer, Berlin","edition":"3"},{"key":"7_CR3","volume-title":"History and philosophy of modern mathematics. (Minnesota studies in the philosophy of science, 11)","author":"W. Aspray","year":"1988","unstructured":"Aspray W., Kitcher P. (1988) History and philosophy of modern mathematics. (Minnesota studies in the philosophy of science, 11). University of Minnesota Press, Minneapolis"},{"key":"7_CR4","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1093\/acprof:oso\/9780199296453.003.0013","volume-title":"The philosophy of mathematical practice","author":"J. Avigad","year":"2008","unstructured":"Avigad J. (2008) Understanding proofs. In: Mancosu P. (eds) The philosophy of mathematical practice. Oxford University Press, Oxford, pp 317\u2013353"},{"key":"7_CR5","volume-title":"18 Unconventional essays on the nature of mathematics","author":"J. Azzouni","year":"2006","unstructured":"Azzouni J. (2006) How and why mathematics is unique as a social practice. In: Hersh R. (eds) 18 Unconventional essays on the nature of mathematics. Springer, New York"},{"key":"7_CR6","volume-title":"Mathematical knowledge","author":"A. Baker","year":"2007","unstructured":"Baker A. (2007) Is there a problem of induction for mathematics?. In: Leng M., Paseau M., Potter A. (eds) Mathematical knowledge. Oxford University Press, Oxford"},{"issue":"7","key":"7_CR7","first-page":"844","volume":"36","author":"J. Barwise","year":"1989","unstructured":"Barwise J. (1989) Computers and mathematics. Notices of the American Mathematical Society 36(7): 844\u2013851","journal-title":"Notices of the American Mathematical Society"},{"key":"7_CR8","volume-title":"Practical Logic","author":"C. Beardsley Monroe","year":"1950","unstructured":"Beardsley Monroe C. (1950) Practical Logic. Prentice-Hall, New Jersey"},{"issue":"3","key":"7_CR9","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/s10670-008-9101-6","volume":"68","author":"B. Buldt","year":"2008","unstructured":"Buldt B., L\u00f6we B., M\u00fcller T. (2008) Towards a new epistemology of mathematics. Erkenntnis 68(3): 309\u2013329","journal-title":"Erkenntnis"},{"issue":"1","key":"7_CR10","doi-asserted-by":"crossref","first-page":"33","DOI":"10.5642\/jhummath.201101.04","volume":"1","author":"T. CadwalladerOlsker","year":"2011","unstructured":"CadwalladerOlsker T. (2011) What do we mean by mathematical proof?. The Journal of Humanistic Mathematics 1(1): 33\u201360","journal-title":"The Journal of Humanistic Mathematics"},{"issue":"1","key":"7_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1080\/02698590903467085","volume":"24","author":"J. Carter","year":"2010","unstructured":"Carter J. (2010) Diagrams and proofs in analysis. International Studies in the Philosophy of Science 24(1): 1\u201314","journal-title":"International Studies in the Philosophy of Science"},{"key":"7_CR12","volume-title":"Mathematical reasoning and heuristics","author":"C. Cellucci","year":"2005","unstructured":"Cellucci C., Gillies D. (2005) Mathematical reasoning and heuristics. King\u2019s College Publications, London"},{"issue":"1","key":"7_CR13","doi-asserted-by":"crossref","first-page":"133","DOI":"10.2307\/2000954","volume":"308","author":"P. Churchard","year":"1988","unstructured":"Churchard P., Spring D. (1988) Proper knot theory in open 3-manifolds. Transactions of the American Mathematical Society 308(1): 133\u2013142","journal-title":"Transactions of the American Mathematical Society"},{"key":"7_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511487576","volume-title":"Towards a philosophy of real mathematics","author":"D. Corfield","year":"2003","unstructured":"Corfield D. (2003) Towards a philosophy of real mathematics. Cambridge University Press, Cambridge"},{"issue":"3","key":"7_CR15","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1093\/philmat\/nkl009","volume":"14","author":"J. W. Dawson Jr.","year":"2006","unstructured":"Dawson J. W. Jr. (2006) Why do mathematicians re-prove theorems?. Philosophia Mathematica 14(3): 269\u2013286","journal-title":"Philosophia Mathematica"},{"issue":"180","key":"7_CR16","first-page":"309","volume":"179","author":"I. Dove","year":"2002","unstructured":"Dove I. (2002) Can pictures prove?. Logique et Analyse 179(180): 309\u2013340","journal-title":"Logique et Analyse"},{"key":"7_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511818455","volume-title":"The logic of real arguments; 1st edn 1988","author":"A. Fisher","year":"2004","unstructured":"Fisher A. (2004) The logic of real arguments; 1st edn 1988 (2nd ed.). Cambridge University Press, Cambridge","edition":"2"},{"key":"7_CR18","volume-title":"Understanding arguments","author":"R. J. Fogelin","year":"2001","unstructured":"Fogelin R. J., Sinnott-Armstrong W. (2001) Understanding arguments (6th ed.). Harcourt College Publishers, San Diego","edition":"6"},{"key":"7_CR19","volume-title":"How Experiments End","author":"P. Galison","year":"1987","unstructured":"Galison P. (1987) How Experiments End. Chicago University Press, Chicago"},{"key":"7_CR20","volume-title":"Image and logic: A material culture of microphysics","author":"Peter Galison","year":"1997","unstructured":"Galison Peter (1997) Image and logic: A material culture of microphysics. Chicago University Press, Chicago"},{"key":"7_CR21","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/s11225-010-9284-0","volume":"96","author":"N. Goethe","year":"2010","unstructured":"Goethe N., Friend M. (2010) Confronting the ideals of proof with the ways of proving of the research mathematician. Studia Logica 96: 273\u2013288","journal-title":"Studia Logica"},{"key":"7_CR22","volume-title":"Mathematical knowledge","author":"W.T. Gowers","year":"2007","unstructured":"Gowers W.T. (2007) Mathematics, memory and mental arithmetic. In: Leng M., Paseau A., Potter M. (eds) Mathematical knowledge. Oxford University Press, Oxford"},{"key":"7_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9558-2","volume-title":"The Growth of Mathematical Knowledge (Synthese Library, vol 289)","author":"E. Grosholz","year":"2000","unstructured":"Grosholz E., Breger H. (2000) The Growth of Mathematical Knowledge (Synthese Library, vol 289). Kluwer Academic Publishers, Dordrecht"},{"key":"7_CR24","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780199299737.001.0001","volume-title":"Representation and productive ambiguity in mathematics and the sciences","author":"E. Grosholz","year":"2007","unstructured":"Grosholz E. (2007) Representation and productive ambiguity in mathematics and the sciences. Oxford University Press, Oxford"},{"key":"7_CR25","first-page":"276","volume-title":"Proceedings of the Fourth International Conference of the International Society for the Study of Argumentation","author":"L. Groarke","year":"1999","unstructured":"Groarke, L. (1999). The pragma-dialectics of visual argument. In F. H. van Eemeren, R. Grootendorst, J. A. Blair & C. A. Willard (Eds), Proceedings of the Fourth International Conference of the International Society for the Study of Argumentation, (pp. 276\u2013280). Amsterdam: Sic Sat."},{"key":"7_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-0576-5","volume-title":"Explanation and proof in mathematics: Philosophical and educational perspectives","author":"G. Hanna","year":"2010","unstructured":"Hanna G., Jahnke H., Pulte H. (2010) Explanation and proof in mathematics: Philosophical and educational perspectives. Springer, New York, Dordrecht"},{"key":"7_CR27","volume-title":"18 Unconventional essays on the nature of mathematics","year":"2006","unstructured":"Hersh, R. (eds) (2006) 18 Unconventional essays on the nature of mathematics. Springer, New York"},{"key":"7_CR28","first-page":"348","volume-title":"Proceedings of the Fourth International Conference of the International Society for the Study of Argumentation","author":"John Hoagland","year":"1999","unstructured":"Hoagland John (1999) Informal logic: The two schools. In: van Eemeren F.H., Grootendorst R., Blair J.A., Willard C.A. (eds) Proceedings of the Fourth International Conference of the International Society for the Study of Argumentation. Sic Sat., Amsterdam, pp 348\u2013352"},{"key":"7_CR29","first-page":"179","volume-title":"PhMSAMP Philosophy of mathematics: Sociological aspects and mathematical practices. (Texts in Philosophy 11)","author":"M.W. Johansen","year":"2010","unstructured":"Johansen M.W. (2010) Embodied strategies in mathematical cognition. In: L\u00f6we B., M\u00fcller T. (eds) PhMSAMP Philosophy of mathematics: Sociological aspects and mathematical practices. (Texts in Philosophy 11). College Publications, London, pp 179\u2013196"},{"key":"7_CR30","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1093\/oso\/9780198514763.003.0011","volume-title":"Truth in mathematics","author":"V.F.R. Jones","year":"1998","unstructured":"Jones V.F.R. (1998) A credo of sorts. In: Jones V.F.R., Jones V.F.R. (eds) Truth in mathematics. Oxford University Press, Oxford, pp 203\u2013214"},{"key":"7_CR31","volume-title":"The Logic of Mathematical Discovery","author":"I. Lakatos","year":"1976","unstructured":"Lakatos I. (1976) Proofs and refutations. In: Worrall J., Zahar E. (eds) The Logic of Mathematical Discovery. CUP, Cambridge"},{"key":"7_CR32","volume-title":"PhiMSAMP. Philosophy of mathematics: Sociological aspects and mathematical practice (Texts in Philosophy volume 11)","author":"B. Larvor","year":"2010","unstructured":"Larvor B. (2010) Syntactic analogies and impossible extensions. In: L\u00f6we B., M\u00fcller T. (eds) PhiMSAMP. Philosophy of mathematics: Sociological aspects and mathematical practice (Texts in Philosophy volume 11). College Publications, London"},{"key":"7_CR33","volume-title":"Mathematical knowledge","year":"2007","unstructured":"Leng, M., Paseau, A., Potter, M. (eds) (2007) Mathematical knowledge. Oxford University Press, Oxford"},{"key":"7_CR34","doi-asserted-by":"crossref","first-page":"80","DOI":"10.5840\/tpm20105116","volume":"51","author":"Don Levi","year":"2010","unstructured":"Levi Don (2010) Against the logicians. The Philosophers Magazine 51: 80\u201386","journal-title":"The Philosophers Magazine"},{"key":"7_CR35","volume-title":"Philosophy of mathematics: Sociological aspects and mathematical practices","author":"B. L\u00f6we","year":"2010","unstructured":"L\u00f6we B., M\u00fcller T. (2010) Philosophy of mathematics: Sociological aspects and mathematical practices. College Publications, London"},{"key":"7_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4872-9","volume-title":"Mathematics: form and function","author":"S. Mac Lane","year":"1986","unstructured":"Mac Lane S. (1986) Mathematics: form and function. Springer, Berlin"},{"key":"7_CR37","volume-title":"The philosophy of mathematical practice","year":"2008","unstructured":"Mancosu, P. (eds) (2008) The philosophy of mathematical practice. Oxford University Press, Oxford"},{"key":"7_CR38","first-page":"80","volume-title":"The philosophy of mathematical practice","author":"K. Manders","year":"1995","unstructured":"Manders K. (1995) The euclidean diagram. In: Mancosu P. (eds) The philosophy of mathematical practice. Oxford University Press, Oxford, pp 80\u2013133"},{"key":"7_CR39","doi-asserted-by":"crossref","first-page":"354","DOI":"10.1093\/acprof:oso\/9780199296453.003.0014","volume-title":"The philosophy of mathematical practice","author":"C. McLarty","year":"2008","unstructured":"McLarty C. (2008) What structuralism achieves. In: Mancosu P. (eds) The philosophy of mathematical practice. Oxford University Press, Oxford, pp 354\u2013369"},{"key":"7_CR40","volume-title":"Fonder autrement les math\u00e9matiques. Special issue of Philosophia Scientiae","author":"P. Nabonnand","year":"2005","unstructured":"Nabonnand P. (2005) Fonder autrement les math\u00e9matiques. Special issue of Philosophia Scientiae. Kim\u00e9, Paris"},{"key":"7_CR41","first-page":"281","volume-title":"Philosophy of mathematics: Sociological aspects and mathematical practices","author":"G. Nickel","year":"2010","unstructured":"Nickel G. (2010) Proof: Some notes on a phenomenon between freedom and enforcement. In: L\u00f6we B., M\u00fcller T. (eds) Philosophy of mathematics: Sociological aspects and mathematical practices. College Publications, London, pp 281\u2013291"},{"issue":"1","key":"7_CR42","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1093\/philmat\/nkn030","volume":"17","author":"A. Pelc","year":"2009","unstructured":"Pelc A. (2009) Why do we believe theorems?. Philosophia Mathematica 17(1): 84\u201394","journal-title":"Philosophia Mathematica"},{"key":"7_CR43","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/philmat\/7.1.5","volume":"7","author":"Y. Rav","year":"1999","unstructured":"Rav Y. (1999) Why do we prove theorems?. Philosophia Mathematica 7: 5\u201341","journal-title":"Philosophia Mathematica"},{"key":"7_CR44","doi-asserted-by":"crossref","DOI":"10.4324\/9780203168288","volume-title":"Figures of thought","author":"D. Reed","year":"1995","unstructured":"Reed D. (1995) Figures of thought. Routledge, London and New York"},{"key":"7_CR45","volume-title":"Reasoning","author":"M. Scriven","year":"1976","unstructured":"Scriven M. (1976) Reasoning. McGraw-Hill, New York"},{"key":"7_CR46","volume-title":"Knots: Mathematics with a twist (Mass.)","author":"A. Sossinsky","year":"2002","unstructured":"Sossinsky A. (2002) Knots: Mathematics with a twist (Mass.). Harvard University Press, Cambridge"},{"key":"7_CR47","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/0-387-29831-2_3","volume-title":"18 Unconventional essays on the nature of mathematics","author":"W.P. Thurston","year":"2006","unstructured":"Thurston W.P. (2006) On proof and progress in mathematics. In: Hersh R. (eds) 18 Unconventional essays on the nature of mathematics. Springer, New York, pp 37\u201355"},{"key":"7_CR48","unstructured":"Tymoczko, T. (1998). New Directions in the philosophy of Mathematics. Basel and Boston, Birkh\u00e4user. Revised and expanded edition in Princeton University Press."},{"key":"7_CR49","volume-title":"A systematic theory of argumentation: The pragma-dialectical approach","author":"F. H. Eemeren van","year":"2004","unstructured":"van Eemeren F. H., Grootendorst R. (2004) A systematic theory of argumentation: The pragma-dialectical approach. Cambridge University Press, Cambridge"},{"key":"7_CR50","volume-title":"New Perspectives on Mathematical Practices: Essays in Philosophy and History of Mathematics. Series: Texts in Philosophy 11","author":"B. Van Kerkhove","year":"2009","unstructured":"Van Kerkhove B. (2009) New Perspectives on Mathematical Practices: Essays in Philosophy and History of Mathematics. Series: Texts in Philosophy 11. World Scientific Publishing Co, London"},{"key":"7_CR51","first-page":"179","volume":"45","author":"B. Van Kerkhove","year":"2002","unstructured":"Van Kerkhove B., Van Bendegem J.-P. (2002) Perspectives on mathematical practices. Logique et Analyse. 45: 179\u2013180","journal-title":"Logique et Analyse."},{"key":"7_CR52","volume-title":"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","author":"B. Van Kerkhove","year":"2007","unstructured":"Van Kerkhove B., Van Bendegem J.-P. (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. Springer, Dordrecht"},{"issue":"1 and 2","key":"7_CR53","first-page":"45","volume":"14","author":"B. Van Kerkhove","year":"2009","unstructured":"Van Kerkhove B., Van Bendegem J.-P. (2009) Mathematical arguments in context. Foundations of Science 14(1 and 2): 45\u201357","journal-title":"Foundations of Science"},{"key":"7_CR54","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511802034","volume-title":"Argumentation schemes","author":"D. Walton","year":"2008","unstructured":"Walton D., Reed C., Macagno F. (2008) Argumentation schemes. Cambridge University Press, Cambridge"},{"key":"7_CR55","volume-title":"Principia mathematica to *56. Abridgement of 1927","author":"A. N. Whitehead","year":"1962","unstructured":"Whitehead A. N., Russell B. (1962) Principia mathematica to *56. Abridgement of 1927 (2nd ed.). Cambridge University Press, Cambridge","edition":"2"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-0007-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-011-0007-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-011-0007-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,11]],"date-time":"2024-04-11T05:51:48Z","timestamp":1712814708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-011-0007-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,9]]},"references-count":55,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2012,7]]}},"alternative-id":["7"],"URL":"https:\/\/doi.org\/10.1007\/s11229-011-0007-5","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,9,9]]}}}