{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T23:20:35Z","timestamp":1762298435607},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662529201"},{"type":"electronic","value":"9783662529218"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-52921-8_5","type":"book-chapter","created":{"date-parts":[[2016,8,5]],"date-time":"2016-08-05T11:22:30Z","timestamp":1470396150000},"page":"68-82","source":"Crossref","is-referenced-by-count":6,"title":["Foundations of Mathematics: Reliability and\u00a0Clarity: The Explanatory Role of\u00a0Mathematical Induction"],"prefix":"10.1007","author":[{"given":"John T.","family":"Baldwin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,8,6]]},"reference":[{"key":"5_CR1","unstructured":"Anon. Montrous moonshine. https:\/\/en.wikipedia.org\/wiki\/Monstrous_moonshine . Accessed Apr 2016"},{"key":"5_CR2","doi-asserted-by":"crossref","first-page":"681","DOI":"10.1093\/analys\/anq074","volume":"70","author":"A Baker","year":"2010","unstructured":"Baker, A.: Mathematical induction and explanation. Analysis 70, 681\u2013689 (2010)","journal-title":"Analysis"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1017\/S1755020312000263","volume":"6","author":"JT Baldwin","year":"2013","unstructured":"Baldwin, J.T.: Formalization, primitive concepts, and purity. Rev. Symb. Log. 6, 87\u2013128 (2013). http:\/\/homepages.math.uic.edu\/\u00a0jbaldwin\/pub\/purityandvocab10.pdf","journal-title":"Rev. Symb. Log."},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1017\/bsl.2014.3","volume":"20","author":"JT Baldwin","year":"2014","unstructured":"Baldwin, J.T.: Completeness and categoricity (in power): formalization without foundationalism. Bull. Symb. Log. 20, 39\u201379 (2014). http:\/\/homepages.math.uic.edu\/jbaldwin\/pub\/catcomnovbib2013.pdf","journal-title":"Bull. Symb. Log."},{"key":"5_CR5","unstructured":"Baldwin, J.T.: Formalization Without Foundationalism; Model Theory and the Philosophy of Mathematics Practice. Book manuscript available on request (2015)"},{"key":"5_CR6","unstructured":"Burgess, J.P.: Putting structuralism in its place. Preprint (2010)"},{"key":"5_CR7","doi-asserted-by":"crossref","first-page":"199","DOI":"10.2307\/2974308","volume":"24","author":"WH Bussey","year":"1917","unstructured":"Bussey, W.H.: The origin of mathematical induction. Am. Math. Mon. 24, 199\u2013207 (1917)","journal-title":"Am. Math. Mon."},{"key":"5_CR8","first-page":"206","volume":"113","author":"L Bibiloni","year":"2006","unstructured":"Bibiloni, L., Viader, P., Parad\u00eds, J.: On a series of Goldbach and Euler. Bull. AMS 113, 206\u2013221 (2006)","journal-title":"Bull. AMS"},{"key":"5_CR9","doi-asserted-by":"crossref","first-page":"197","DOI":"10.2307\/2972638","volume":"25","author":"F Cajori","year":"1918","unstructured":"Cajori, F.: Origin of the name \u201cmathematical induction\u201d. Am. Math. Mon. 25, 197\u2013201 (1918). https:\/\/archive.org\/stream\/jstor-2972638\/2972638_djvu.txt","journal-title":"Am. Math. Mon."},{"key":"5_CR10","unstructured":"Cariani, F.: Mathematical induction and explanatory value in mathematics. Preprint (2016)"},{"key":"5_CR11","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172240","volume-title":"The Semantic Traditin from Kant to Carnap: To the Vienna Station","author":"A Coffa","year":"1991","unstructured":"Coffa, A.: The Semantic Traditin from Kant to Carnap: To the Vienna Station. Cambridge University Press, Cambridge (1991)"},{"key":"5_CR12","volume-title":"Essays on the Theory of Numbers","author":"R Dedekind","year":"1963","unstructured":"Dedekind, R.: Essays on the Theory of Numbers. Dover, New York (1963). As first published by Open Court Publications 1901: first German 1888th"},{"key":"5_CR13","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/BF01809605","volume":"21","author":"G Hanna","year":"1990","unstructured":"Hanna, G.: Some pedagogical aspects of proof. Interchange 21, 6\u201313 (1990)","journal-title":"Interchange"},{"key":"5_CR14","doi-asserted-by":"crossref","DOI":"10.1515\/9781400852024","volume-title":"Mathematics Without Apologies: Portrait of a Problematic Vocation","author":"M Harris","year":"2015","unstructured":"Harris, M.: Mathematics Without Apologies: Portrait of a Problematic Vocation. Princeton University Press, Princeton (2015)"},{"key":"5_CR15","series-title":"Synthese Library","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/1-4020-3335-4_9","volume-title":"Visualization, Explanation, and Reasoning Styles in Mathematics","author":"J Hafner","year":"2005","unstructured":"Hafner, J., Mancosu, P.: The varieties of mathematical explanation. In: Mancosu, P., J\u00f8rgensen, K.F., Pedersen, S. (eds.) Visualization, Explanation, and Reasoning Styles in Mathematics. Synthese Library, vol. 327, pp. 215\u2013250. Springer, Netherlands (2005)"},{"key":"5_CR16","unstructured":"Lange, A.M.: Explanation by induction. Preprint"},{"key":"5_CR17","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1093\/analys\/anp002","volume":"69","author":"M Lange","year":"2009","unstructured":"Lange, M.: Why proofs by mathematical induction are generally not explanatory. Analysis 69, 203\u2013211 (2009)","journal-title":"Analysis"},{"key":"5_CR18","unstructured":"Linnebo, \u00d8.: Plural quantification. In: The Stanford Encyclopedia of Philosophy (Fall 2014th edn.) (2014). http:\/\/plato.stanford.edu\/archives\/fall2014\/entries\/plural-quant\/"},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1093\/acprof:oso\/9780199296453.003.0006","volume-title":"The Philosophy of Mathematical Practice","author":"P Mancosu","year":"2008","unstructured":"Mancosu, P.: Mathematical explanation: why it matters. In: Mancosu, P. (ed.) The Philosophy of Mathematical Practice, pp. 134\u2013150. Oxford University Press, Oxford (2008)"},{"key":"5_CR20","series-title":"Graduate Texts in Mathematics","volume-title":"Model Theory: An Introduction","author":"D Marker","year":"2002","unstructured":"Marker, D.: Model Theory: An Introduction. Graduate Texts in Mathematics, vol. 217. Springer, New York (2002)"},{"key":"5_CR21","volume-title":"Set Theory and Its Logic","author":"WVO Quine","year":"1969","unstructured":"Quine, W.V.O.: Set Theory and Its Logic. Harvard, Cambridge (1969)"},{"key":"5_CR22","first-page":"141","volume":"38","author":"M Resnik","year":"1987","unstructured":"Resnik, M., Kushner, D.: Explanation, independence, and realism in mathematics. Ann. Math. Log. 38, 141\u2013158 (1987)","journal-title":"Ann. Math. Log."},{"key":"5_CR23","volume-title":"Mathematical Logic","author":"J Shoenfield","year":"1967","unstructured":"Shoenfield, J.: Mathematical Logic. Addison-Wesley, Reading (1967)"},{"key":"5_CR24","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/BF00354494","volume":"34","author":"M Steiner","year":"1978","unstructured":"Steiner, M.: Mathematical explanation. Philos. Stud. 34, 135\u2013151 (1978)","journal-title":"Philos. Stud."},{"key":"5_CR25","series-title":"Synthese Library","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/1-4020-3335-4_8","volume-title":"Visualization, Explanation, and Reasoning Styles in Mathematics","author":"J Tappenden","year":"2005","unstructured":"Tappenden, J.: Proof style and understanding in mathematics I: visualization, unification and axiom choice. In: Mancosu, P., J\u00f8rgensen, K.F., Pedersen, S. (eds.) Visualization, Explanation, and Reasoning Styles in Mathematics. Synthese Library, vol. 327, pp. 147\u2013214. Springer, Netherlands (2005)"},{"key":"5_CR26","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1090\/S0273-0979-1994-00502-6","volume":"30","author":"WP Thurston","year":"1994","unstructured":"Thurston, W.P.: On proof and progress in mathematics. Bull. Am. Math. Soc. 30, 161\u2013177 (1994)","journal-title":"Bull. Am. Math. Soc."},{"key":"5_CR27","unstructured":"Wysocki, T.: Mathematical induction, grounding, and causal explanation. Presentation at APA meeting Chicago, March 2016"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-52921-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:04:03Z","timestamp":1498320243000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-52921-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662529201","9783662529218"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-52921-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}