{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T23:50:25Z","timestamp":1772754625144,"version":"3.50.1"},"publisher-location":"Dordrecht","reference-count":36,"publisher":"Springer Netherlands","isbn-type":[{"value":"9789400744349","type":"print"},{"value":"9789400744356","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-94-007-4435-6_3","type":"book-chapter","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T14:08:37Z","timestamp":1341929317000},"page":"45-67","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Truth and Proof in Intuitionism"],"prefix":"10.1007","author":[{"given":"Dag","family":"Prawitz","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,6,7]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1093\/aristotelian\/59.1.141","volume":"54","author":"M Dummett","year":"1959","unstructured":"Dummett, Michael. 1959. Truth. Proceedings of the Aristotelian Society 54: 141\u2013162.","journal-title":"Proceedings of the Aristotelian Society"},{"key":"3_CR2","volume-title":"The justification of deduction","author":"M Dummett","year":"1973","unstructured":"Dummett, Michael. 1973. The justification of deduction. London: British Academy."},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0049-237X(08)71941-4","volume-title":"Logic colloquium \u201973","author":"M Dummett","year":"1975","unstructured":"Dummett, Michael. 1975. The philosophical basis of intuitionistic logic. In Logic colloquium \u201973, ed. H.E. Rose et al., 5\u201340. Amsterdam: North-Holland Publishing Company."},{"key":"3_CR4","volume-title":"Truth and meaning","author":"M Dummett","year":"1976","unstructured":"Dummett, Michael. 1976. What is a theory of meaning? (II). In Truth and meaning, ed. G. Evans and J. McDowell. Oxford: Clarendon Press."},{"key":"3_CR5","volume-title":"Elements of intuitionism","author":"M Dummett","year":"1977","unstructured":"Dummett, Michael. 1977. Elements of intuitionism. Oxford: Clarendon Press."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1111\/j.1755-2567.1998.tb00184.x","volume":"64","author":"M Dummett","year":"1998","unstructured":"Dummett, Michael. 1998. Truth from the constructive standpoint. Theoria 64: 122\u2013138.","journal-title":"Theoria"},{"issue":"176\u2013210","key":"3_CR7","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BF01201363","volume":"39","author":"G Gentzen","year":"1935","unstructured":"Gentzen, Gerhard. 1935. Untersuchungen \u00fcber das logische Schliessen. Mathematische Zeitschrift 39: 176\u2013210, 405\u2013431.","journal-title":"Mathematische Zeitschrift"},{"key":"3_CR8","first-page":"957","volume":"16","author":"A Heyting","year":"1930","unstructured":"Heyting, Arend. 1930. Sur la logique intuitionniste. Acad\u00e9mie Royale de Belgique, Bullletin de la Classe des Sciences 16: 957\u2013963.","journal-title":"Acad\u00e9mie Royale de Belgique, Bullletin de la Classe des Sciences"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/BF02028143","volume":"2","author":"A Heyting","year":"1931","unstructured":"Heyting, Arend. 1931. Die intuitionistische Grundlegung der Mathematik. Erkenntnis 2: 106\u2013115.","journal-title":"Erkenntnis"},{"key":"3_CR10","volume-title":"Mathematische grundlagenforschung, intuitionismus, beweistheorie","author":"A Heyting","year":"1934","unstructured":"Heyting, Arend. 1934. Mathematische grundlagenforschung, intuitionismus, beweistheorie. Berlin: Springer."},{"key":"3_CR11","volume-title":"Intuitionism, an introduction","author":"A Heyting","year":"1956","unstructured":"Heyting, Arend. 1956. Intuitionism, an introduction. Amsterdam: North-Holland Publishing Company."},{"key":"3_CR12","first-page":"101","volume-title":"Philosophy in the mid-century","author":"A Heyting","year":"1958","unstructured":"Heyting, Arend. 1958. Intuitionism in mathematics. In Philosophy in the mid-century, ed. R.\u00a0Klibansky, 101\u2013115. Florence: La Nuova Italia."},{"key":"3_CR13","first-page":"479","volume-title":"To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism","author":"W Howard","year":"1980","unstructured":"Howard, William. 1980. The formula-as-types notion of construction. In To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism, ed. J. Seldin et al., 479\u2013490. London: Academic."},{"key":"3_CR14","first-page":"198","volume-title":"Logic, methodology and philosophy of science","author":"G Kreisel","year":"1962","unstructured":"Kreisel, Georg. 1962. Foundations of intuitionistic logic. In Logic, methodology and philosophy of science, ed. E. Nagel et al., 198\u2013212. Stanford: Stanford University Press."},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S0049-237X(08)71945-1","volume-title":"Logic colloquium \u201973","author":"P Martin-L\u00f6f","year":"1975","unstructured":"Martin-L\u00f6f, Per. 1975. An intuitionistic theory of types: Predicative part. In Logic colloquium \u201973, ed. H.E. Rose et al., 73\u2013118. Amsterdam: North-Holland Publishing Company."},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1016\/S0049-237X(09)70189-2","volume-title":"Logic, methodology, and philosophy of science VI","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, ed. L.J. Cohen et al., 153\u2013175. Amsterdam: North-Holland Publishing Company."},{"key":"3_CR17","volume-title":"Intuitionistic type theory","author":"P Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, Per. 1984. Intuitionistic type theory. Napoli: Bibliopolis."},{"key":"3_CR18","unstructured":"Martin-L\u00f6f, Per. 1985. On the meanings of the logical constants and the justifications of the logical laws. In Atti degli Incontri di Logica Matematica, vol. 2, 203\u2013281. Siena: Scuola di Specializzazione in Logica Matematica, Dipartimento di Matematica, Universit\u00e0 di Siena. Republished in Nordic Journal of Philosophical Logic 1: 11\u201360, 1996."},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/BF00484985","volume":"73","author":"P Martin-L\u00f6f","year":"1987","unstructured":"Martin-L\u00f6f, Per. 1987. Truth of a proposition, evidence of a judgement, validity of a proof. Synthese 73: 407\u2013420.","journal-title":"Synthese"},{"key":"3_CR20","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 Academic Publishers."},{"key":"3_CR21","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/978-94-017-3327-4_14","volume-title":"The foundational debate: Complexity and constructivity in mathematics and physics","author":"P Martin-L\u00f6f","year":"1995","unstructured":"Martin-L\u00f6f, Per. 1995. Verificationism then and now. In The foundational debate: Complexity and constructivity in mathematics and physics, ed. W. DePauli-Schimanovich et al., 187\u2013196. Dordrecht: Kluwer Academic Publishers."},{"key":"3_CR22","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1093\/oso\/9780198514763.003.0005","volume-title":"Truth in mathematics","author":"P Martin-L\u00f6f","year":"1998","unstructured":"Martin-L\u00f6f, Per. 1998. Truth and knowability: On the principles C and K of Michael Dummett. In Truth in mathematics, ed. H.G. Dales and G. Oliveri, 105\u2013114. Oxford: Clarendon Press."},{"key":"3_CR23","unstructured":"Prawitz, Dag. 1965. Natural deduction. A proof-theoretical study. Stockholm: Almqvist & Wiksell. Republished by New York: Dover Publications, 2006."},{"key":"3_CR24","unstructured":"Prawitz, Dag. 1970. Constructive semantics. In Proceedings of the 1st Scandinavian Logic Symposium \u00c5bo 1968, 96\u2013114. Uppsala: Filosofiska F\u00f6reningen och Filosofiska Institutionen vid Uppsala Universitet."},{"key":"3_CR25","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/BF00660889","volume":"27","author":"D Prawitz","year":"1974","unstructured":"Prawitz, Dag. 1974. On the idea of a general proof theory. Synthese 27: 63\u201377.","journal-title":"Synthese"},{"key":"3_CR26","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1111\/j.1755-2567.1998.tb00190.x","volume":"64","author":"D Prawitz","year":"1998","unstructured":"Prawitz, Dag. 1998. Comments on the papers. Theoria 64: 283\u2013337.","journal-title":"Theoria"},{"key":"3_CR27","unstructured":"Prawitz, Dag. 2009. Inference and knowledge. In The logica yearbook 2008, ed. M. Pelis, 175\u2013192. London: College Publications, King\u2019s College London."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Prawitz, Dag. 2011a. The epistemic significance of valid inference. Synthese, forthcoming.","DOI":"10.1007\/s11229-011-9907-7"},{"key":"3_CR29","unstructured":"Prawitz, Dag. 2011b. Proofs and perfect syllogisms, forthcoming."},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Prawitz, Dag. 2012. Truth as an epistemic notion. Topoi, forthcoming.","DOI":"10.1007\/s11245-011-9107-6"},{"key":"3_CR31","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BF00247187","volume":"12","author":"G Sundholm","year":"1983","unstructured":"Sundholm, G\u00f6ran. 1983. Constructions, proofs, and the meaning of logical constants. Journal of Philosophical Logic 12: 151\u2013172.","journal-title":"Journal of Philosophical Logic"},{"key":"3_CR32","first-page":"47","volume":"16","author":"G\u00f6ran Sundholm","year":"1993","unstructured":"Sundholm, G\u00f6ran. 1993. Questions of proof. Manuscrito (Campinas) 16: 47\u201370.","journal-title":"Campinas)"},{"key":"3_CR33","first-page":"17","volume":"54","author":"G Sundholm","year":"1998","unstructured":"Sundholm, G\u00f6ran. 1998. Proof as acts and proofs as objects. Theoria 54: 17\u2013216.","journal-title":"Theoria"},{"key":"3_CR34","first-page":"1973","volume-title":"Handbook of mathematical logic","author":"AS Troelstra","year":"1977","unstructured":"Troelstra, Anne Sjerp. 1977. Aspects of constructive mathematics. In Handbook of mathematical logic, ed. J. Barwise, 1973\u20131052. Amsterdam: North-Holland Publishing Company."},{"key":"3_CR35","volume-title":"Constructivism in mathematics","author":"AS Troelstra","year":"1988","unstructured":"Troelstra, Anne Sjerp, and Dirk van Dalen. 1988. Constructivism in mathematics, vol. 2. Amsterdam: North-Holland Publishing Company."},{"key":"3_CR36","unstructured":"van Atten, Mark. 2009. The development of intuitionistic logic. In The Stanford encyclopedia of philosophy (Summer 2009 Edition), ed. Edward N. Zalta. URL =\u2009<\u2009http:\/\/plato.stanford.edu\/archives\/sum2009\/entries\/intuitionistic-logic-development\/\u2009>\u2009."}],"container-title":["Epistemology versus Ontology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-4435-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,26]],"date-time":"2024-04-26T17:28:36Z","timestamp":1714152516000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-007-4435-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9789400744349","9789400744356"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-4435-6_3","relation":{},"subject":[],"published":{"date-parts":[[2012]]},"assertion":[{"value":"7 June 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}