{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:25:27Z","timestamp":1743153927532,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":12,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400719224"},{"type":"electronic","value":"9789400719231"}],"license":[{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"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-1923-1_16","type":"book-chapter","created":{"date-parts":[[2011,9,21]],"date-time":"2011-09-21T07:52:52Z","timestamp":1316591572000},"page":"301-311","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Double Diamond of Judgement"],"prefix":"10.1007","author":[{"given":"G\u00f6ran","family":"Sundholm","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,8]]},"reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1515\/agph.1966.48.1-3.306","volume":"48","author":"S. H. Bergmann","year":"1968","unstructured":"Bergmann, S. H. 1968. \u201cBolzano and Brentano.\u201d Archief f\u00fcr Geschichte der Philosophie 48:306\u201311.","journal-title":"Archief f\u00fcr Geschichte der Philosophie"},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/BF02028143","volume":"2","author":"A. Heyting","year":"1931","unstructured":"Heyting, A. 1931. \u201cDie intuitionistische Grundlegung der Mathematik.\u201d Erkenntnis 2:106\u201315. English translation in Philosophy of Mathematics, edited by P. Benacerraf and H. Putnam (2nd Edition).","journal-title":"Erkenntnis"},{"key":"16_CR3","volume-title":"An Introduction to Logic","author":"J. Maritain","year":"1946","unstructured":"Maritain, J. 1946. An Introduction to Logic. London: Sheed and Ward."},{"key":"16_CR4","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, P. 1982. \u201cConstructive Mathematics and Computer Programming.\u201d In Logic, Methodology and Philosophy of Science VI, Hannover 1979, edited by L. J. Cohen et al., 153\u201375. Amsterdam: North-Holland."},{"unstructured":"Martin-L\u00f6f, P. 1983. \u201cOn the Meanings of the Logical Constants and the Justifications of the Logical Laws.\u201d Lectures delivered in Sienna, first distributed in 1985, and printed in Nordic Journal of Philosophical Logic I:1 (1996): 11\u201360. Electronically available at http:\/\/www.hf.uio.no\/filosofi\/njpl\/.","key":"16_CR5"},{"key":"16_CR6","volume-title":"Intuitionistic Type Theory. (Notes by Giovanni Sambin on Lectures Given at Padua, June 1980.)","author":"P. Martin-L\u00f6f","year":"1984","unstructured":"Martin-L\u00f6f, P. 1984. Intuitionistic Type Theory. (Notes by Giovanni Sambin on Lectures Given at Padua, June 1980.) Naples: Bibliopolis."},{"key":"16_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-94-011-0834-8_5","volume-title":"Kant and Contemporary Epistemology, edited by","author":"P. Martin-L\u00f6f","year":"1994","unstructured":"Martin-L\u00f6f, P. 1994. \u201cAnalytic and Synthetic Judgements in Type Theory.\u201d In Kant and Contemporary Epistemology, edited by P. Parrini, 87\u201399. Dordrecht: Kluwer."},{"key":"16_CR8","doi-asserted-by":"publisher","first-page":"287","DOI":"10.2307\/2107686","volume":"44","author":"K. Mulligan","year":"1984","unstructured":"Mulligan, K., P. Simons, and B. Smith. 1984. \u201cTruth-Makers.\u201d Philosophy and Phenomenological Research 44:287\u2013321.","journal-title":"Philosophy and Phenomenological Research"},{"key":"16_CR9","first-page":"163","volume-title":"Bolzano\u2019s Wissenschafstlehre 1837\u20131987, edited by","author":"J. Sebestik","year":"1992","unstructured":"Sebestik, J. 1992. \u201cThe Construction of Bolzano\u2019s Logical System.\u201d In Bolzano\u2019s Wissenschafstlehre 1837\u20131987, edited by Leo S. Olschki, 163\u201377. Firenze: International Workshop Firenze, seetembre 16\u201319, 1987."},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/BF00763510","volume":"13","author":"B. G. Sundholm","year":"1994","unstructured":"Sundholm, B. G. 1994. \u201cExistence, Proof and Truth-Making: A Perspective on the Intuitionistic Conception of Truth.\u201d TOPOI 13:117\u201326.","journal-title":"TOPOI"},{"issue":"4 [special issu","key":"16_CR11","doi-asserted-by":"crossref","first-page":"401","DOI":"10.3917\/rip.230.0401","volume":"58","author":"B. G. Sundholm","year":"2004","unstructured":"Sundholm, B. G. 2004. \u201cThe Proof-Explanation of Logical Constants Is Logically Neutral.\u201d Revue Internationale de Philosophie 58(4 [special issue on intuitionism edited by Michel Bourdeau]:401\u201310.","journal-title":"Revue Internationale de Philosophie"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/BF02102305","volume":"10","author":"H. Weyl","year":"1921","unstructured":"Weyl, H. 1921, \u201c\u00dcber die neue Grundlagenkrise der Mathematik.\u201d Mathematische Zeitschrift 10:39\u201379. English translation in From Brouwer to Hilbert, edited by Paolo Mancosu, 86\u2013118. Oxford: Oxford University Press, 1998.","journal-title":"Mathematische Zeitschrift"}],"container-title":["The Realism-Antirealism Debate in the Age of Alternative Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-1923-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T18:56:00Z","timestamp":1676746560000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-007-1923-1_16"}},"subtitle":["A Perspective on the Development of Logical Theory 1800\u20132000"],"short-title":[],"issued":{"date-parts":[[2011,9,8]]},"ISBN":["9789400719224","9789400719231"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-1923-1_16","relation":{},"subject":[],"published":{"date-parts":[[2011,9,8]]},"assertion":[{"value":"8 September 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}