{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T11:35:07Z","timestamp":1725881707883},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319516073"},{"type":"electronic","value":"9783319516080"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-51608-0_22","type":"book-chapter","created":{"date-parts":[[2017,3,8]],"date-time":"2017-03-08T15:01:48Z","timestamp":1488985308000},"page":"395-406","source":"Crossref","is-referenced-by-count":1,"title":["Mathematical Truth Revisited: Mathematics as a Toolbox"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,9]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Antos, C., S.-D. Friedman, R.\u00a0Honzik, and C.\u00a0Ternullo (2015). Multiverse conceptions in set theory. Synthese\u00a0192(8), 2463\u20132488.","DOI":"10.1007\/s11229-015-0819-9"},{"key":"22_CR2","unstructured":"Bernays, P. (1950). Mathematische Existenz und Widerspruchsfreiheit. In Etudes de Philosophie des Sciences, pp. 11\u201325. Neuch\u00e2tel: \u00c9ditions du Griffon. Reprinted in (Bernays, 1976, pp. 92\u2013106)."},{"key":"22_CR3","unstructured":"Bernays, P. (1976). Abhandlungen zur Philosophie der Mathematik. Wissenschaftliche Buchgesellschaft."},{"key":"22_CR4","unstructured":"Bernays, P. (1979). Bemerkungen zu Lorenzen\u2019s Stellungnahme in der Philosophie der Mathematik. In K.\u00a0Lorenz (Ed.), Konstruktionen versus Positionen, Volume\u00a01, pp. 3\u201316. Berlin."},{"key":"22_CR5","unstructured":"Beth, E.\u00a0W. (1959). The Foundations of Mathematics. Studies in Logic and the Foundations of Mathematics. North-Holland."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Bourbaki, N. (1950). Architecture of mathematics. The American Mathematical Monthly\u00a057(4), 221\u2013232.","DOI":"10.2307\/2305937"},{"key":"22_CR7","unstructured":"Corry, L. (2004). Modern Algebra and the Rise of Mathematical Structures (Second revised ed.). Birkh\u00e4user."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Feferman, S., H.\u00a0M. Friedman, P.\u00a0Maddy, and J.\u00a0R. Steel (2000). Does mathematics need new axioms? Bulletin of Symbolic Logic\u00a06(4), 401\u2013446.","DOI":"10.2307\/420965"},{"key":"22_CR9","unstructured":"Franzen, T. (2003). Inexhaustibility: A Non-Exhaustive Treatment, Volume\u00a016 of Lecture Notes in Logic. ASL and AK Peters."},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Frege, G. (1976). Wissenschaftlicher Briefwechsel. Felix Meiner. Edited by G. Gabriel et\u00a0al.","DOI":"10.28937\/978-3-7873-2549-8"},{"key":"22_CR11","unstructured":"Frege, G. (1983). \u00dcber Euklidische Geometrie. In Gottlob Frege. Nachgelassene Schriften (2. ed.)., pp. 182\u2013184. Meiner. The editors date the item back to 1899\u20131906?"},{"key":"22_CR12","unstructured":"Heyting, A. (1958). On truth in mathematics. In Verslag van de plechtige viering van het honderdvijftigjarig bestaan der Koninklijke Nederlandse Akademie van Wetenschappen met de teksten der bij die gelegenheid gehouden redevoeringen en voordrachten, pp. 277\u2013279. Amsterdam."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Kikuchi, M. and T.\u00a0Kurahashi (2016). Illusory models of peano arithmetic. The Journal of Symbolic Logic\u00a081(3), 1163\u20131175.","DOI":"10.1017\/jsl.2015.52"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Kreisel, G. (1967). Informal rigour and completeness proofs. In I.\u00a0Lakatos (Ed.), Problems in the Philosophy of Mathematics, Volume\u00a047 of Studies in Logic and the Foundations of Mathematics, pp. 138\u2013186. Elsevier.","DOI":"10.1016\/S0049-237X(08)71525-8"},{"key":"22_CR15","unstructured":"Lenz, H. (1968). Grundlagen der Geometrie. In D.\u00a0Laugwitz (Ed.), \u00dcberblicke Mathematik 1, 1968, Volume 161\/161a of BI Hochschultaschenb\u00fccher, pp. 63\u201386. Bibliographisches Institut."},{"key":"22_CR16","unstructured":"Mehrtens, H. (1990). Moderne\u2014Sprache\u2014Mathematik. Suhrkamp."},{"key":"22_CR17","unstructured":"Moschovakis, Y. (2006). Notes on Set Theory (2nd ed.). Undergraduate Texts in Mathematics. Springer."},{"key":"22_CR18","unstructured":"Poincar\u00e9, H. (1902). La science et l\u2019hypoth\u00e8se. Paris, Flammarion."},{"key":"22_CR19","unstructured":"Poincar\u00e9, H. (1905). Science and Hypothesis. Walter Scott. English translation of Poincar\u00e9 (1908)."},{"key":"22_CR20","unstructured":"Poincar\u00e9, H. (1908). Science et m\u00e9thode. Paris, Flammarion."},{"key":"22_CR21","unstructured":"Poincar\u00e9, H. (1914). Science and Method. Thomas Nelson and Sons. English translation of Poincar\u00e9 (1902)."},{"key":"22_CR22","unstructured":"Schoenflies, A. (1913). Entwickelung der Mengenlehre und ihrer Anwendungen. B.G. Teubner. Rework of the Report published in volume VIII of the Jahresberichte der Deutschen Mathematiker-Vereinigung."},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Shelah, S. (2003). Logical dreams. Bulletin (New Series) of the American Mathematical Society\u00a040, 203\u2013228.","DOI":"10.1090\/S0273-0979-03-00981-9"},{"key":"22_CR24","doi-asserted-by":"crossref","unstructured":"Stegm\u00fcller, W. (1957). Das Wahrheitsproblem und die Idee der Semantik. Springer, Wien.","DOI":"10.1007\/978-3-7091-3624-9"},{"key":"22_CR25","unstructured":"Tarski, A. (1936). Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica\u00a01, 261\u2013405."},{"key":"22_CR26","unstructured":"Toth, I. (1980). Wann und von wem wurde die nichteuklidische Geometrie begr\u00fcndet? Bemerkungen zu Hans Reichardts Gau\u00df und die nichteuklidische Geometrie. Archives internationales d\u2019histoire des sciences\u00a030, 192\u2013205."},{"key":"22_CR27","unstructured":"Volkert, K. (2010). Poincar\u00e9s Konventionalismus und der Empirismus in der Geometrie. In P.\u00a0E. Bour, M.\u00a0Rebuschi, and L.\u00a0Rollet (Eds.), Construction. Festschrift for Gerhard Heinzmann on the occasion of his 60th birthday, pp. 113\u2013127. London: College Publications."},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Yasugi, M. and N.\u00a0Passell (Eds.) (2003). Memoirs of a Proof Theorist. World Scientific. English translation of a collection of essays written by Gaisi Takeuti.","DOI":"10.1142\/5202"}],"container-title":["Varieties of Scientific Realism"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51608-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,3]],"date-time":"2020-10-03T15:29:32Z","timestamp":1601738972000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51608-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319516073","9783319516080"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51608-0_22","relation":{},"subject":[],"published":{"date-parts":[[2017]]}}}