{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T06:59:04Z","timestamp":1726037944037},"publisher-location":"Cham","reference-count":43,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030166724"},{"type":"electronic","value":"9783030166731"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-16673-1_35","type":"book-chapter","created":{"date-parts":[[2019,7,17]],"date-time":"2019-07-17T13:02:38Z","timestamp":1563368558000},"page":"633-642","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Dual Axiomatics"],"prefix":"10.1007","author":[{"given":"Reinhard","family":"Kahle","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-642-86102-4_11","volume-title":"Delaware seminar in the foundations of physics","author":"P Bernays","year":"1967","unstructured":"Bernays, P. (1967). Scope and limits of axiomatics. In M. Bunge (Ed.), Delaware seminar in the foundations of physics (pp. 188\u2013191). Berlin\/New York: Springer."},{"key":"35_CR2","volume-title":"Logic colloquium \u201973 (Studies in logic and the foundations of mathematics, Vol. 80, pp. 1\u20134)","author":"P Bernays","year":"1975","unstructured":"Bernays, P. (1975). Mathematics as a domain of theoretical science and of mental experience. In H. Rose & J. Shepherdson (Eds.), Logic colloquium \u201973 (Studies in logic and the foundations of mathematics, Vol. 80, pp. 1\u20134). Elsevier."},{"issue":"1","key":"35_CR3","first-page":"22","volume":"81","author":"P Bernays","year":"1978","unstructured":"Bernays, P. (1978). Nachwort. Jahresbericht der Deutschen Mathematiker-Vereinigung, 81(1), 22\u201324.","journal-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung"},{"key":"35_CR4","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-662-38452-7_25","volume-title":"Dritter Band: Analysis \u00b7 Grundlagen der Mathematik \u00b7 Physik Verschiedenes","author":"Otto Blumenthal","year":"1935","unstructured":"Blumenthal, O. (1935). Lebensgeschichte. In: David Hilbert: Gesammelte Abhandlungen (Vol. III, pp. 388\u2013429). Berlin: Springer."},{"issue":"4","key":"35_CR5","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1080\/00029890.1950.11999523","volume":"57","author":"N Bourbaki","year":"1950","unstructured":"Bourbaki, N. (1950). The architecture of mathematics. The American Mathematical Monthly, 57(4), 221\u2013232.","journal-title":"The American Mathematical Monthly"},{"key":"35_CR6","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1093\/bjps\/18.4.265","volume":"18","author":"M Bunge","year":"1967","unstructured":"Bunge, M. (1967a). Analogy in quantum mechanics: From insight to nonsense. British Journal for the Philosophy of Science, 18, 265\u2013286.","journal-title":"British Journal for the Philosophy of Science"},{"key":"35_CR7","volume-title":"Foundations of physics (Springer tracts in natural philosophy","author":"M Bunge","year":"1967","unstructured":"Bunge, M. (1967b). Foundations of physics (Springer tracts in natural philosophy, Vol. 10). Berlin: Springer."},{"key":"35_CR8","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-642-86102-4_2","volume-title":"Delaware seminar in the foundations of physics","author":"M Bunge","year":"1967","unstructured":"Bunge, M. (1967c). The structure and content of a physical theory. In M. Bunge (Ed.), Delaware seminar in the foundations of physics (pp. 15\u201327). Berlin\/New York: Springer."},{"key":"35_CR9","first-page":"33","volume":"55","author":"M Bunge","year":"1976","unstructured":"Bunge, M. (1976). Review of Wolfgang Stegm\u00fcller\u2019s the structure and dynamics of theories. Mathematical Reviews, 55, 33.","journal-title":"Mathematical Reviews"},{"key":"35_CR10","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-024720-5.50006-2","volume-title":"The mind\u2013body problem","author":"M Bunge","year":"1980","unstructured":"Bunge, M. (1980). The mind\u2013body problem. Oxford: Pergamon."},{"key":"35_CR11","first-page":"127","volume-title":"Raymond Boudon: A life in sociology","author":"M Bunge","year":"2009","unstructured":"Bunge, M. (2009). The failed theory behind the 2008 crisis. In M. Cherkaoui and P. Hamilton (Eds.), Raymond Boudon: A life in sociology (Vol. I, pp. 127\u2013142). Oxford: Bardwell."},{"key":"35_CR12","doi-asserted-by":"publisher","DOI":"10.1142\/10333","volume-title":"Doing science","author":"M Bunge","year":"2017","unstructured":"Bunge, M. (2017a). Doing science. New Jersey: World Scientific."},{"issue":"4","key":"35_CR13","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/s10699-016-9493-8","volume":"22","author":"M Bunge","year":"2017","unstructured":"Bunge, M. (2017b). Why axiomatize? Foundations of Science, 22(4), 695\u2013707.","journal-title":"Foundations of Science"},{"key":"35_CR14","unstructured":"Clavius, C. (1574). Euclidis Elementorum Libri XV. Romae."},{"key":"35_CR15","unstructured":"Corry, L. (2002). Modern algebra and the rise of mathematical structures (2nd revised ed.). Basel: Birkh\u00e4user."},{"issue":"1","key":"35_CR16","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00414190","volume":"21","author":"H Freudenthal","year":"1970","unstructured":"Freudenthal, H. (1970). What about foundations of physics. Synthese, 21(1), 93\u2013106.","journal-title":"Synthese"},{"key":"35_CR17","volume-title":"The search for mathematical roots, 1870\u20131940. Logic, set theories and the foundations of mathematics from Cantor through Russell to G\u00f6del","author":"I Grattan-Guinness","year":"2000","unstructured":"Grattan-Guinness, I. (2000). The search for mathematical roots, 1870\u20131940. Logic, set theories and the foundations of mathematics from Cantor through Russell to G\u00f6del. Princeton: Princeton University Press."},{"key":"35_CR18","unstructured":"Hilbert, D. (1899). Grundlagen der Geometrie. In Festschrift zur Feier der Enth\u00fcllung des Gauss-Weber-Denkmals in G\u00f6ttingen, herausgegeben vom Fest-Comitee (pp. 1\u201392). Teubner."},{"key":"35_CR19","first-page":"180","volume":"8","author":"D Hilbert","year":"1900","unstructured":"Hilbert, D. (1900). \u00dcber den Zahlbegriff. Jahresbericht der Deutschen Mathematiker-Vereinigung, 8, 180\u2013184.","journal-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung"},{"key":"35_CR20","unstructured":"Hilbert, D. (1913). Elemente und Prinzipien der Mathematik. Vorlesung Sommersemester 1913, Universit\u00e4t G\u00f6ttingen, available at the Max Planck Institute for the History of Science, Berlin."},{"issue":"1-4","key":"35_CR21","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BF01457115","volume":"78","author":"David Hilbert","year":"1917","unstructured":"Hilbert, D. (1918). Axiomatisches Denken. Mathematische Annalen, 78(3\/4), 405\u2013415. Lecture delivered on 11 September 1917 at the Swiss Mathematical Society in Zurich.","journal-title":"Mathematische Annalen"},{"key":"35_CR22","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/BF02940589","volume":"1","author":"D Hilbert","year":"1922","unstructured":"Hilbert, D. (1922). Neubegr\u00fcndung der Mathematik. Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universit\u00e4t, 1, 157\u2013177.","journal-title":"Abhandlungen aus dem Mathematischen Seminar der Hamburgischen Universit\u00e4t"},{"key":"35_CR23","unstructured":"Hilbert, D. (1928). Probleme der Grundlegung der Mathematik. In Atti del Congresso Internazionale dei Matematici, Bologna, settembre 3\u201319, 1928, Nicola Zanichelli, offprint."},{"key":"35_CR24","unstructured":"Hilbert, D., & Bernays, P. (1934). Grundlagen der Mathematik I, (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Vol. 40). Springer; 2nd edition 1968."},{"key":"35_CR25","unstructured":"Hilbert, D., & Bernays, P. (1939). Grundlagen der Mathematik II (Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen, Vol. 50). Springer; 2nd edition 1970."},{"key":"35_CR26","unstructured":"Hilbert, D., & Bernays, P. (2011). Grundlagen der Mathematik I\/Foundations of Mathematics I. College Publications, bilingual edition of Prefaces and \u00a7\u00a71\u20132 of Hilbert and Bernays (1934)."},{"key":"#cr-split#-35_CR27.1","unstructured":"Hilbert, D., & Cohn-Vossen, S. (1932). Anschauliche Geometrie (Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen, Vol. XXXVII). Springer"},{"key":"#cr-split#-35_CR27.2","unstructured":"English translation: Hilbert and Cohn-Vossen (1952)."},{"key":"#cr-split#-35_CR28.1","unstructured":"Hilbert, D., & Cohn-Vossen, S. (1952). Geometry and the imagination. AMS Chelsea Publishing"},{"key":"#cr-split#-35_CR28.2","unstructured":"English translation of Hilbert and Cohn-Vossen (1932)."},{"key":"35_CR29","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-10103-3_1","volume-title":"Gentzen\u2019s centenary: The quest for consistency","author":"R Kahle","year":"2015","unstructured":"Kahle, R. (2015). Gentzen\u2019s theorem in context. In R. Kahle & M. Rathjen (Eds.), Gentzen\u2019s centenary: The quest for consistency (pp. 3\u201324). Heidelberg: Springer."},{"key":"35_CR30","volume-title":"Truth, existence and explanation (Boston studies in the philosophy and history of science, Vol. 334, pp. 109\u2013220)","author":"R Kahle","year":"2018","unstructured":"Kahle, R. (2018). Structure and structures. In M. Piazza & G. Pulcini (Eds.), Truth, existence and explanation (Boston studies in the philosophy and history of science, Vol. 334, pp. 109\u2013220). Springer."},{"issue":"1","key":"35_CR31","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s11225-017-9776-2","volume":"107","author":"R Kahle","year":"2019","unstructured":"Kahle, R. (2019). Is there a \u201cHilbert Thesis\u201d? Studia Logica, 107(1), 145\u2013165.","journal-title":"Studia Logica"},{"issue":"3","key":"35_CR32","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1017\/jsl.2015.52","volume":"81","author":"M Kikuchi","year":"2016","unstructured":"Kikuchi, M., & Kurahashi, T. (2016). Illusory models of Peano Arithmetic. The Journal of Symbolic Logic, 81(3), 1163\u20131175.","journal-title":"The Journal of Symbolic Logic"},{"key":"35_CR33","unstructured":"Kreisel, G. (1986). Proof theory and synthesis of programs: Potentials and limitations. In Eurocal \u201985 (Lecture notes in computer science, Vol. 203, pp. 136\u2013150). Springer."},{"key":"35_CR34","volume-title":"A mathematical autobiography","author":"S MacLane","year":"2005","unstructured":"MacLane, S. (2005). A mathematical autobiography. Wellesley: AK Peters."},{"key":"35_CR35","volume-title":"Notes on set theory (Undergraduate texts in mathematics","author":"Y Moschovakis","year":"2006","unstructured":"Moschovakis, Y. (2006). Notes on set theory (Undergraduate texts in mathematics, 2nd ed.). New York: Springer.","edition":"2"},{"key":"35_CR36","volume-title":"The open society and its enimies (The spell of Plato","author":"K R Popper","year":"1945","unstructured":"Popper, K. R. (1945). The open society and its enimies (The spell of Plato, Vol. I). London: Routledge."},{"issue":"4","key":"35_CR37","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/BF00708580","volume":"1","author":"D Salt","year":"1971","unstructured":"Salt, D. (1971). Physical axiomatics: Freudenthal vs. Bunge. Foundations of Physics, 1(4), 307\u2013313.","journal-title":"Foundations of Physics"},{"key":"35_CR38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02362-0","volume-title":"5000 Jahre Geometrie (Vom Z\u00e4hlstein zum Computer","author":"C J Scriba","year":"2010","unstructured":"Scriba, C. J., & Schreiber, P. (2010). 5000 Jahre Geometrie (Vom Z\u00e4hlstein zum Computer, 3rd ed.). Berlin\/Heidelberg: Springer.","edition":"3"},{"key":"35_CR39","volume-title":"Ethica, ordine geometrico demonstrata","author":"B Spinoza","year":"1677","unstructured":"Spinoza, B. (1677). Ethica, ordine geometrico demonstrata."},{"issue":"9","key":"35_CR40","doi-asserted-by":"publisher","first-page":"612","DOI":"10.1090\/S0002-9904-1944-08178-0","volume":"50","author":"H Weyl","year":"1944","unstructured":"Weyl, H. (1944). David Hilbert and his mathematical work. Bulletin of the American Mathematical Society, 50(9), 612\u2013654.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"35_CR41","doi-asserted-by":"crossref","unstructured":"Yasugi, M., & Passell, N. (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":["Mario Bunge: A Centenary Festschrift"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-16673-1_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,29]],"date-time":"2019-07-29T11:07:42Z","timestamp":1564398462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-16673-1_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030166724","9783030166731"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-16673-1_35","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"18 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}