乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,17]],"date-time":"2024-04-17T02:08:43Z","timestamp":1713319723159},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,6,25]],"date-time":"2015-06-25T00:00:00Z","timestamp":1435190400000},"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":["Synthese"],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s11229-015-0779-0","type":"journal-article","created":{"date-parts":[[2015,6,23]],"date-time":"2015-06-23T22:50:40Z","timestamp":1435099840000},"page":"937-969","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Syntactic reduction in Husserl\u2019s early phenomenology of arithmetic"],"prefix":"10.1007","volume":"193","author":[{"given":"Mirja","family":"Hartimo","sequence":"first","affiliation":[]},{"given":"Mitsuhiro","family":"Okada","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,25]]},"reference":[{"key":"779_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-90-481-3246-1","volume-title":"Logic and philosophy of mathematics in the early Husserl. Synthese library volume 35","author":"S Centrone","year":"2010","unstructured":"Centrone, S. (2010). Logic and philosophy of mathematics in the early Husserl. Synthese library volume 35. Dordrecht: Springer."},{"key":"779_CR2","doi-asserted-by":"crossref","unstructured":"Centrone, S. (2011). Husserls Doppelvortrag in der mathematischen Gesellschaft in G\u00f6ttingen 1901. Neuen Abhandlungen der Akademie der Wissenschaften zu G\u00f6ttingen, 107\u2013128.","DOI":"10.1515\/9783110263411.103"},{"key":"779_CR3","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1093\/0195148770.003.0008","volume-title":"The Oxford handbook of philosophy of mathematics and logic","author":"M Detlefsen","year":"2005","unstructured":"Detlefsen, M. (2005). Formalism. In S. Shapiro (Ed.), The Oxford handbook of philosophy of mathematics and logic (pp. 236\u2013317). Oxford: Oxford University Press."},{"key":"779_CR4","unstructured":"Da Silva, J. J. (2013a). Husserl and Hilbert on completeness and imaginary elements. In C. O. Hill & J. J. da Silva (Eds.), The road not taken, on Husserl\u2019s philosophy of logic and mathematics, texts in philosophy, volume 21 (pp. 115\u2013136). London: College Publications."},{"key":"779_CR5","unstructured":"Da Silva, J. J. (2013b). The many senses of completeness. In Co Hill & J. J. Da Silva (Eds.), The road not taken, on Husserl\u2019s philosophy of logic and mathematics, texts in philosophy, volume 21 (pp. 137\u2013150). London: College Publications."},{"key":"779_CR6","first-page":"284","volume":"IV","author":"J Daubert","year":"2004","unstructured":"Daubert, J. (2004). Notes from Husserl\u2019s mathematical-philosophical exercises, summer semester 1905. introduced and edited by Mark van Atten and Karl Schuhmann. The New Yearbook for Phenomenology and Phenomenological Philosophy, IV, 284\u2013317.","journal-title":"The New Yearbook for Phenomenology and Phenomenological Philosophy"},{"key":"779_CR7","doi-asserted-by":"crossref","unstructured":"Dershowitz, N., & Jouannaud, J.-P. (1990). Rewrite systems. In J. van Leeuwen (Ed.), Handbook of theoretical computer science. Volume B. Formal methods and semantics (pp. 243\u2013320). Cambridge: MIT Press.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"779_CR8","volume-title":"Husserl in Halle, Spuresuche im Anfang der Ph\u00e4nomenologie","year":"1994","unstructured":"Gerlach, H.-M., & Sepp, H. R. (Eds.). (1994). Husserl in Halle, Spuresuche im Anfang der Ph\u00e4nomenologie. Berlin: Peter Lang, Frankfurt am Main."},{"key":"779_CR9","volume-title":"Jahresbericht der Deutschen Mathematiker-Vereinigung","author":"A Gutzmer","year":"1902","unstructured":"Gutzmer, A. (1902). Jahresbericht der Deutschen Mathematiker-Vereinigung. Leipzig: Druck und Verlag von B. G. Teubner."},{"key":"779_CR10","volume-title":"Theorie Der Complexen Zahlensysteme, Insbesondere Der Gemeinen imagin\u00e4ren Zahlen und Der Hamilton\u2019schen Quaternionen Nebst Ihrer Geometrischen Darstellung","author":"H Hankel","year":"1867","unstructured":"Hankel, H. (1867). Theorie Der Complexen Zahlensysteme, Insbesondere Der Gemeinen imagin\u00e4ren Zahlen und Der Hamilton\u2019schen Quaternionen Nebst Ihrer Geometrischen Darstellung. Leipzig: Leopold Voss."},{"issue":"2","key":"779_CR11","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/s11229-006-0008-y","volume":"156","author":"M Hartimo","year":"2007","unstructured":"Hartimo, M. (2007). Towards completeness: Husserl on theories of Manifolds 1890\u20131901. Synthese, 156(2), 281\u2013310.","journal-title":"Synthese"},{"key":"779_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-017-4900-8","volume-title":"Formal and transcendental logic. Translated by Dorion Cairns","author":"E Husserl","year":"1969","unstructured":"Husserl, E. (1969). Formal and transcendental logic. Translated by Dorion Cairns. The Hague: Martinus Nijhoff."},{"key":"779_CR13","volume-title":"Philosophie der Arithmetik. Mit Erg\u00e4nzenden Texten (1890\u20131901). Edited by Lothar Eley. Husserliana XII","author":"E Husserl","year":"1970","unstructured":"Husserl, E. (1970). Philosophie der Arithmetik. Mit Erg\u00e4nzenden Texten (1890\u20131901). Edited by Lothar Eley. Husserliana XII. The Hague: Martinus Nijhoff."},{"key":"779_CR14","volume-title":"Formale and transzendentale Logik. Versuch einer Kritik der logischen Vernunft. Edited by Paul Janssen. Husserliana XVII","author":"E Husserl","year":"1974","unstructured":"Husserl, E. (1974). Formale and transzendentale Logik. Versuch einer Kritik der logischen Vernunft. Edited by Paul Janssen. Husserliana XVII. The Hague: Martinus Nijhoff."},{"key":"779_CR15","volume-title":"Aufs\u00e4tze und Rezensionen, 1890\u20131910. Husserliana XXII","author":"E Husserl","year":"1979","unstructured":"Husserl, E. (1979). Aufs\u00e4tze und Rezensionen, 1890\u20131910. Husserliana XXII. The Hague: Martinus Nijhoff."},{"key":"779_CR16","volume-title":"Husserliana XXI","author":"E Husserl","year":"1983","unstructured":"Husserl, E. (1983). Studien zur Arithmetik und Geometrie. Texte aus dem Nachlass 1886\u20131901. In I. Strohmeyer (Ed.), Husserliana XXI. The Hague: Martinus Nijhoff."},{"key":"779_CR17","volume-title":"Husserliana XIX\/ l-2","author":"E Husserl","year":"1984","unstructured":"Husserl, E. (1984). Logische Untersuchungen, 1\u20132. In U. Panzer (Ed.), Husserliana XIX\/ l-2. Boston, Dordrecht: Kluwer."},{"key":"779_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-8147-9","volume-title":"Early writings in the philosophy of logic and mathematics. Collected works, vol V. Translated by Dallas Willard","author":"E Husserl","year":"1994","unstructured":"Husserl, E. (1994). Early writings in the philosophy of logic and mathematics. Collected works, vol V. Translated by Dallas Willard. Dordrecht: Kluwer."},{"key":"779_CR19","volume-title":"Logical investigations Vol I. Transl. by J. N. Findlay. Edited by Dermot Moran","author":"E Husserl","year":"2001","unstructured":"Husserl, E. (2001a). Logical investigations Vol I. Transl. by J. N. Findlay. Edited by Dermot Moran. London and New York: Routledge."},{"key":"779_CR20","volume-title":"Logical investigations Vol II. Transl. by J. N. Findlay. Edited by Dermot Moran","author":"E Husserl","year":"2001","unstructured":"Husserl, E. (2001b). Logical investigations Vol II. Transl. by J. N. Findlay. Edited by Dermot Moran. London and New York: Routledge."},{"key":"779_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-0060-4","volume-title":"Philosophy of arithmetic. Transl. by Dallas Willard","author":"E Husserl","year":"2003","unstructured":"Husserl, E. (2003). Philosophy of arithmetic. Transl. by Dallas Willard. Dordrecht: Kluwer."},{"key":"779_CR22","first-page":"1","volume":"5","author":"C Ierna","year":"2005","unstructured":"Ierna, C. (2005). The beginnings of Husserl\u2019s philosophy, Part 1: From \u00dcber den Begriff der Zahl to Philosophie der Arithmetik. The New Yearbook for Phenomenology and Phenomenological Philosophy, 5, 1\u201356.","journal-title":"The New Yearbook for Phenomenology and Phenomenological Philosophy"},{"key":"779_CR23","first-page":"33","volume":"VI","author":"C Ierna","year":"2006","unstructured":"Ierna, C. (2006). The beginnings of Husserl\u2019s philosophy, Part 2: Philosophical and mathematical background. The New Yearbook for Phenomenology and Phenomenological Philosophy, VI, 33\u201381.","journal-title":"The New Yearbook for Phenomenology and Phenomenological Philosophy"},{"key":"779_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-7624-5","volume-title":"Numbers in presence and absence: A study of Husserl\u2019s philosophy of mathematics","author":"PJ Miller","year":"1982","unstructured":"Miller, P. J. (1982). Numbers in presence and absence: A study of Husserl\u2019s philosophy of mathematics. The Hague: Martinus Nijhoff."},{"issue":"3","key":"779_CR25","first-page":"64","volume":"21","author":"AF Monna","year":"1973","unstructured":"Monna, A. F. (1973). Hermann Hankel. Nieuw Archief voor Wiskunde, 21(3), 64\u201387.","journal-title":"Nieuw Archief voor Wiskunde"},{"key":"779_CR26","unstructured":"Okada, M. (2013). Husserl and Hilbert on completeness and Husserl\u2019s term rewrite-based theory of multiplicity. Invited paper, 24th International conference on rewriting techniques and applications (RTA\u201913). Edited by Femke van Raamsdonk. The Netherlands: Eindhoven. 4\u201319."},{"key":"779_CR27","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1023\/A:1010781216799","volume":"17","author":"E Schuhmann","year":"2001","unstructured":"Schuhmann, E., & Schuhmann, K. (2001). Husserls Manuskripte zu seinem G\u00f6ttinger Doppelvortrag von 1901. Husserl Studies, 17, 87\u2013123.","journal-title":"Husserl Studies"},{"key":"779_CR28","volume-title":"Logic and the objectivity of knowledge: A study of Husserl\u2019s early philosophy","author":"D Willard","year":"1984","unstructured":"Willard, D. (1984). Logic and the objectivity of knowledge: A study of Husserl\u2019s early philosophy. Athens, Ohio: Ohio University Press."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0779-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0779-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0779-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T06:45:10Z","timestamp":1559371510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0779-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,6,25]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["779"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0779-0","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,6,25]]}}}