{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T12:13:26Z","timestamp":1776082406358,"version":"3.50.1"},"publisher-location":"Dordrecht","reference-count":21,"publisher":"Springer Netherlands","isbn-type":[{"value":"9789400751361","type":"print"},{"value":"9789400751378","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,10,27]],"date-time":"2012-10-27T00:00:00Z","timestamp":1351296000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,10,27]],"date-time":"2012-10-27T00:00:00Z","timestamp":1351296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-94-007-5137-8_2","type":"book-chapter","created":{"date-parts":[[2012,11,22]],"date-time":"2012-11-22T18:09:42Z","timestamp":1353607782000},"page":"15-22","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Demonstrations Versus Proofs, Being an Afterword to Constructions, Proofs, and the Meaning of the Logical Constants"],"prefix":"10.1007","author":[{"given":"G\u00f6ran","family":"Sundholm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,10,27]]},"reference":[{"key":"2_CR01","unstructured":"Beeson, Michael. 1979. A Theory of Constructions and Proofs. Preprint No. 134. Dept. of Mathematics, Univ. of Utrecht."},{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/BF00485463","volume":"60","author":"J Diller","year":"1984","unstructured":"Diller, J., and A. Troelstra. 1984. Realizability and intuitionistic logic. Synthese 60: 253\u2013282.","journal-title":"Synthese"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"G Gentzen","year":"1936","unstructured":"Gentzen, G. 1936. Die Widerspruchsfreihet der reinen Zahlentheorie. Mathematische Annalen 112: 493\u2013565.","journal-title":"Mathematische Annalen"},{"key":"2_CR02","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/BF01565428","volume":"112","author":"G Gentzen","year":"1936","unstructured":"Kreisel, G. 1962. Foundations of Intuitionistic Logic. In Logic, Methodology and Philosophy of Science, eds. Nagel, Suppes and Tarski, 198\u2013210. Stanford: Stanford Univ. Press.","journal-title":"Mathematische Annalen"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0049-237X(09)70189-2","volume-title":"Logic, methodology and philosophy of science VI, Hannover 1979","author":"P Martin-L\u00f6f","year":"1982","unstructured":"Martin-L\u00f6f, Per. 1982. Constructive mathematics and computer programming. In Logic, methodology and philosophy of science VI, Hannover 1979, ed. L.J. Cohen et al., 153\u2013175. Amsterdam: North-Holland."},{"key":"2_CR4","volume-title":"Intuitionistic type theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, Per. 1984. Intuitionistic type theory. Naples: Bibliopolis."},{"key":"2_CR04","volume-title":"Intuitionistic type theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, Per. 1985. On the meanings of the logical constants and the justifications of the logical laws. Lectures delivered in Siena 1983, first distributed in 1985, and printed in Nordic Journal of Philosophical Logic I, 1996, 11\u201360."},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-94-011-0834-8_5","volume-title":"Kant and contemporary epistemology","author":"P Martin-L\u00f6f","year":"1994","unstructured":"Martin-L\u00f6f, Per. 1994. Analytic and synthetic judgements in type theory. In Kant and contemporary epistemology, ed. P. Parrini, 87\u201399. Dordrecht: Kluwer."},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"287","DOI":"10.2307\/2107686","volume":"44","author":"K Mulligan","year":"1984","unstructured":"Mulligan, Kevin, Peter Simons, and Barry Smith. 1984. Truth-makers. Philosophy and Phenomenological Research 44: 287\u2013321.","journal-title":"Philosophy and Phenomenological Research"},{"key":"2_CR7","first-page":"59","volume-title":"Wittgenstein \u2013 Towards a re-evaluation, Proceedings 14th International Wittgenstein Symposium, Kirchberg am Wechsel, 13\u201320 August 1989","author":"G Sundholm","year":"1990","unstructured":"Sundholm, G\u00f6ran. 1990. S\u00e4tze der Logik: An alternative conception. In Wittgenstein \u2013 Towards a re-evaluation, Proceedings 14th International Wittgenstein Symposium, Kirchberg am Wechsel, 13\u201320 August 1989, ed. Rudolf Haller and J. Brandl, 59\u201361. Wien: Verlag H\u00f6lder-Pichler-Tempsky."},{"key":"2_CR8","first-page":"47","volume":"16","author":"G Sundholm","year":"1993","unstructured":"Sundholm, G\u00f6ran. 1993. Questions of proof. Manuscrito (Campinas) 16: 47\u201370.","journal-title":"Manuscrito (Campinas)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF00763510","volume":"13","author":"G Sundholm","year":"1994","unstructured":"Sundholm, G\u00f6ran. 1994a. Existence, proof and truth-making: A perspective on the intuitionist conception on truth. Topoi 13: 117\u2013126.","journal-title":"Topoi"},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/978-94-015-8311-4_25","volume-title":"Logic and philosophy of science in Uppsala","author":"G Sundholm","year":"1994","unstructured":"Sundholm, G\u00f6ran. 1994b. Ontologic versus epistemologic: Some strands in the development of logic, 1837\u20131957. In Logic and philosophy of science in Uppsala, ed. Dag Prawitz and Dag Westerst\u00e5hl, 373\u2013384. Dordrecht: Kluwer."},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1023\/A:1008266418092","volume":"6","author":"G Sundholm","year":"1997","unstructured":"Sundholm, G\u00f6ran. 1997. Implicit epistemic aspects of constructive logic. Journal of Logic, Language and Information 6: 191\u2013212.","journal-title":"Journal of Logic, Language and Information"},{"key":"2_CR12","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1007\/978-1-4020-1986-9_11","volume-title":"Handbook of epistemology","author":"G Sundholm","year":"2004","unstructured":"Sundholm, G\u00f6ran. 2004. Antirealism and the roles of truth. In Handbook of epistemology, ed. I. Niniluoto, M. Sintonen, and J. Wolenski, 437\u2013466. Dordrecht: Kluwer."},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1007\/s11229-004-6298-z","volume":"148","author":"G Sundholm","year":"2006","unstructured":"Sundholm, G\u00f6ran. 2006. Semantic values of natural deduction derivations. Synthese 148: 623\u2013638.","journal-title":"Synthese"},{"key":"2_CR14","first-page":"262","volume-title":"The development of modern logic","author":"G Sundholm","year":"2009","unstructured":"Sundholm, G\u00f6ran. 2009. A century of judgment and inference: 1837\u20131936\u2019. In The development of modern logic, ed. L. Haaparanta, 262\u2013317. Oxford: Oxford University Press."},{"issue":"1","key":"2_CR15","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/s11245-011-9109-4","volume":"31","author":"G Sundholm","year":"2012","unstructured":"Sundholm, G\u00f6ran. 2012. Error. Topoi 31(1): 87\u201392.","journal-title":"Topoi"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-7643-8653-5_5","volume-title":"One hundred years of intuitionism (1907\u20132007)","author":"G Sundholm","year":"2008","unstructured":"Sundholm, G\u00f6ran, and Mark van Atten. 2008. The proper explanation of intuitionistic logic: On Brouwer\u2019s demonstration of the Bar theorem. In One hundred years of intuitionism (1907\u20132007), ed. M. van Atten, P. Boldini, G. Heintzmann, and M. Bordeau, 60\u201377. Birkh\u00e4user: Basel."},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1093\/philmat\/nkj004","volume":"14","author":"WW Tait","year":"2006","unstructured":"Tait, W.W. 2006. G\u00f6del\u2019s interpretation of intuitionism. Philosophia Mathematicae (III) 14: 208\u2013228.","journal-title":"Philosophia Mathematicae (III)"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/BF00247190","volume":"12","author":"S Weinstein","year":"1983","unstructured":"Weinstein, Scott. 1983. The intended interpretation of intuitionistic logic. Journal of Philosophical Logic 12: 216\u2013270.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Judgement and the Epistemic Foundation of Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-5137-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T07:51:04Z","timestamp":1676793064000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-007-5137-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,27]]},"ISBN":["9789400751361","9789400751378"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-5137-8_2","relation":{},"subject":[],"published":{"date-parts":[[2012,10,27]]},"assertion":[{"value":"27 October 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}