{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:19:10Z","timestamp":1706660350281},"reference-count":20,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2021,1,1]]},"DOI":"10.1215\/00294527-2021-0004","type":"journal-article","created":{"date-parts":[[2021,6,2]],"date-time":"2021-06-02T15:39:28Z","timestamp":1622648368000},"source":"Crossref","is-referenced-by-count":1,"title":["Induction, Constructivity, and Grounding"],"prefix":"10.1215","volume":"62","author":[{"given":"Timothy","family":"McCarthy","sequence":"first","affiliation":[{"name":"Department of Philosophy, University of Illinois Urbana, Illinois, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"4","doi-asserted-by":"publisher","unstructured":"Detlefsen, M., \u201cPurity as an ideal of proof,\u201d pp. 179\u201397 in <i>The Philosophy of Mathematical Practice<\/i>, edited by P. Mancosu, Oxford University Press, Oxford, 2008.","DOI":"10.1093\/acprof:oso\/9780199296453.001.0001"},{"key":"1","doi-asserted-by":"publisher","unstructured":"Baker, A., \u201cMathematical induction and explanation,\u201d <i>Analysis<\/i>, vol. 70 (2010), 681\u201390.","DOI":"10.1093\/analys\/anq074"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Baldwin, J., \u201cFoundations of mathematics: Reliability and clarity: The explanatory role of mathematical induction,\u201d pp. 68\u201382 in <i>Logic, Language, Information and Computation<\/i>, edited by J. V\u00e4\u00e4n\u00e4nen, A. Hirvonen, and R. de Queiroz, Springer, Berlin, 2016.","DOI":"10.1007\/978-3-662-52921-8_5"},{"key":"3","doi-asserted-by":"crossref","unstructured":"Beeson, M. J., <i>Foundations of Constructive Mathematics<\/i>, Springer, Heidelberg, 1985.","DOI":"10.1007\/978-3-642-68952-9"},{"key":"5","unstructured":"Detlefsen, M., and A. Arana, \u201cPurity of methods,\u201d <i>Philosopher\u2019s Imprint<\/i>, vol. 11 (2011), no. 2."},{"key":"6","doi-asserted-by":"publisher","unstructured":"Fine, K., \u201cEssence and modality,\u201d <i>Philosophical Perspectives<\/i>, vol. 8 (1994), 1\u201316.","DOI":"10.2307\/2214160"},{"key":"7","doi-asserted-by":"crossref","unstructured":"Fine, K., \u201cA guide to ground,\u201d pp. 37\u201380 in <i>Metaphysical Grounding<\/i>, edited by F. Correia and B. Schneider, Cambridge University Press, Cambridge, 2012.","DOI":"10.1017\/CBO9781139149136.002"},{"key":"8","doi-asserted-by":"crossref","unstructured":"Friedman, H., \u201cClassically and intuitionistically provably recursive functions,\u201d pp. 21\u201327 in <i>Higher Set Theory<\/i>, edited by D. S. Scott and D. S. Muller, Springer, Berlin, 1978.","DOI":"10.1007\/BFb0103100"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Hafner, J., and P. Mancosu, \u201cBeyond unification,\u201d pp. 151\u201378 in <i>The Philosophy of Mathematical Practice<\/i>, edited by P. Mancosu, Oxford University Press, Oxford, 2008.","DOI":"10.1093\/acprof:oso\/9780199296453.001.0001"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Hoeltje, M., B. Schnieder, and B. Steinberg, \u201cExplanation by induction?\u201d <i>Synthese<\/i>, vol. 190 (2013), pp. 509\u201324.","DOI":"10.1007\/s11229-011-0045-z"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Lange, M, \u201cWhy proofs by mathematical induction are generally not explanatory,\u201d <i>Analysis<\/i>, vol. 69 (2010), pp. 203\u201311.","DOI":"10.1093\/analys\/anp002"},{"key":"12","unstructured":"Lange, M., \u201cGround and explanation in mathematics,\u201d <i>Philosopher\u2019s Imprint<\/i>, vol. 19 (2019), no. 33."},{"key":"13","doi-asserted-by":"crossref","unstructured":"McCarty, D. C., \u201cRealizability and recursive set theory,\u201d <i>Annals of Pure and Applied Logic<\/i>, vol. 32 (1986), pp. 153\u201383.","DOI":"10.1016\/0168-0072(86)90050-3"},{"key":"14","unstructured":"Putnam, H., \u201cThe meaning of \u2018meaning,\u201d\u2019 pp. 131\u201393 in <i>Language, Mind and Knowledge<\/i>, vol. 7 of <i>Minnesota Studies in the Philosophy of Science<\/i>, University of Minnesota Press, Minneapolis, 1975."},{"key":"15","doi-asserted-by":"crossref","unstructured":"Railton, P., \u201cA deductive-nomological model of probabilistic explanation,\u201d <i>Philosophy of Science<\/i>, vol. 45 (1978), pp. 206\u201326.","DOI":"10.1086\/288797"},{"key":"16","doi-asserted-by":"crossref","unstructured":"Railton, P., \u201cProbability, explanation, and information,\u201d <i>Synthese<\/i>, vol. 48 (1981), pp. 233\u201356.","DOI":"10.1007\/BF01063889"},{"key":"17","doi-asserted-by":"crossref","unstructured":"R. Rathjen, \u201cRealizability for constructive Zermelo-Fraenkel set theory,\u201d pp. 282\u2013314 in <i>Logic Colloquium\u201903<\/i>, edited by V. Stoltenberg-Hansen and J. V\u00e4\u00e4n\u00e4nen, Springer, Berlin, 2006.","DOI":"10.1201\/9781439865835-14"},{"key":"18","doi-asserted-by":"crossref","unstructured":"Ringel, G., and J. W. T. Youngs, \u201cSolution of the Heawood map-coloring problem,\u201d <i>Proceedings of the National Academy of Sciences of the United States of America<\/i>, vol. 60 (1968), pp. 438\u201345.","DOI":"10.1073\/pnas.60.2.438"},{"key":"19","doi-asserted-by":"crossref","unstructured":"Selberg, A., \u201cAn elementary proof of the prime-number theorem,\u201d <i>Annals of Mathematics (2)<\/i>, vol. 50 (1949), pp. 305\u201313.","DOI":"10.2307\/1969455"},{"key":"20","doi-asserted-by":"crossref","unstructured":"Steiner, M., \u201cMathematical explanation,\u201d <i>Philosophical Studies<\/i>, vol. 34 (1978), pp. 134\u201355.","DOI":"10.1007\/BF00354494"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-2021-0004","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T21:00:24Z","timestamp":1706648424000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-62\/issue-1\/Induction-Constructivity-and-Grounding\/10.1215\/00294527-2021-0004.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,1]]},"references-count":20,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2021,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-2021-0004","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2021,1,1]]}}}