{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T10:05:29Z","timestamp":1775037929431,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319937328","type":"print"},{"value":"9783319937335","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-93733-5_4","type":"book-chapter","created":{"date-parts":[[2018,8,14]],"date-time":"2018-08-14T05:24:26Z","timestamp":1534224266000},"page":"81-100","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Zigzag and Fregean Arithmetic"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Ferreira","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,15]]},"reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/s11225-010-9281-3","volume":"96","author":"F Boccuni","year":"2010","unstructured":"Boccuni, F. (2010). Plural Grundgezetze. Studia Logica, 96(2), 315\u2013330.","journal-title":"Studia Logica"},{"key":"4_CR2","doi-asserted-by":"crossref","DOI":"10.1515\/9780691187068","volume-title":"Fixing Frege","author":"J Burgess","year":"2005","unstructured":"Burgess, J. (2005). Fixing Frege. Princeton: Princeton University Press."},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1039293068","volume":"39","author":"J Burgess","year":"1998","unstructured":"Burgess, J., & Hazen, A. (1998). Predicative logic and formal arithmetic. Notre Dame Journal of Formal Logic, 39, 1\u201317.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"1","key":"4_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1215\/00294527-2835110","volume":"56","author":"L Cruz-Filipe","year":"2015","unstructured":"Cruz-Filipe, L., & Ferreira, F. (2015). The finitistic consistency of Heck\u2019s predicative Fregean system. Notre Dame Journal of Formal Logic, 56(1), 61\u201379.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"4_CR5","volume-title":"Frege. Philosophy of Mathematics","author":"M Dummett","year":"1991","unstructured":"Dummett, M. (1991). Frege. Philosophy of Mathematics. Cambridge, MA: Harvard University Press."},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s11229-004-6204-8","volume":"147","author":"F Ferreira","year":"2005","unstructured":"Ferreira, F. (2005). Amending Frege\u2019s Grundgesetze der Arithmetik. Synthese, 147, 3\u201319.","journal-title":"Synthese"},{"key":"4_CR7","unstructured":"Frege, G. (1967). Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. In J.\u00a0van Heijenoort (ed.), From Frege to G\u00f6del (pp. 5\u201382). Harvard: Harvard University Press. A translation of Frege\u2019s Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens, which appeared in German in 1879. Translated by J. van Heijenoort."},{"key":"4_CR8","unstructured":"Frege, G. (1980). The Foundations of Arithmetic. Evanston: Northwestern University Press. A translation of Frege\u2019s Die Grundlagen der Arithmetik, which appeared in German in 1884. Translated by J. L. Austin."},{"key":"4_CR9","unstructured":"Frege, G. (2013). Basic Laws of Arithmetic. Oxford: Oxford University Press. A translation of Frege\u2019s two volumes of the Grundgesetze der Arithmetik, which appeared in German in 1893 and 1903. Translated and edited by P. A. Ebert and M. Rossberg with a foreword of Crispin Wright."},{"key":"4_CR10","unstructured":"G\u00f6del, K. (2005). What is Cantor\u2019s continuum problem. In P.\u00a0Benacerraf and H.\u00a0Putnam (eds.), Philosophy of Mathematics (selected readings) (pp. 470\u2013485). Cambridge: Cambridge University Press (This is a revised and expanded version of a paper first published in 1947)."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1093\/0195148770.003.0006","volume-title":"The Oxford Handbook of Philosophy of Mathematics and Logic","author":"B Hale","year":"2005","unstructured":"Hale, B., & Wright, C. (2005). Logicism in the twenty-first century. In S. Shapiro (Ed.), The Oxford Handbook of Philosophy of Mathematics and Logic (pp. 166\u2013202). Oxford: Oxford University Press."},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1080\/01445349608837265","volume":"17","author":"R Heck","year":"1996","unstructured":"Heck, R. (1996). The consistency of predicative fragments of Frege\u2019s Grundgesetze der Arithmetik. History and Philosophy of Logic, 17, 209\u2013220.","journal-title":"History and Philosophy of Logic"},{"key":"4_CR13","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/oso\/9780198236542.003.0018","volume-title":"The Philosophy of Mathematics Today","author":"R Heck","year":"1998","unstructured":"Heck, R. (1998). The finite and the infinite in Frege\u2019s Grundgesetze der Arithmetik. In M. Schirn (Ed.), The Philosophy of Mathematics Today (pp. 429\u2013466). Oxford: Clarendon Press."},{"issue":"6","key":"4_CR14","doi-asserted-by":"publisher","first-page":"715","DOI":"10.1007\/s10992-010-9158-y","volume":"40","author":"R Heck","year":"2011","unstructured":"Heck, R. (2011). Ramified Frege arithmetic. Journal of Philosophical Logic, 40(6), 715\u2013735.","journal-title":"Journal of Philosophical Logic"},{"key":"4_CR15","doi-asserted-by":"crossref","DOI":"10.4159\/9780674042421","volume-title":"Set Theory and its Logic","author":"WO Quine","year":"1963","unstructured":"Quine, W. O. (1963). Set Theory and its Logic. Harvard: Harvard University Press."},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1080\/01445348708837116","volume":"8","author":"C Parsons","year":"1987","unstructured":"Parsons, C. (1987). Developing arithmetic in set theory without infinity: Some historical remarks. History and Philosophy of Logic, 8, 201\u2013213.","journal-title":"History and Philosophy of Logic"},{"key":"4_CR17","unstructured":"Russell, B. (1973). On some difficulties in the theory of transfinite numbers and order types. In D. Lackey (Ed.), Essays in Analysis (pp. 135\u2013164). Sydney: George Allen and Unwin Ltd. (This paper was first published in 1906.)"},{"key":"4_CR18","unstructured":"Russell, B. (1993). Introduction to Mathematical Philosophy. New York: Dover Publications. (First published in 1919.)"},{"key":"4_CR19","volume-title":"Principia Mathematica","author":"B Russell","year":"1927","unstructured":"Russell, B., & Whitehead, A. N. (1927). Principia Mathematica (2nd ed.). Cambridge: Cambridge University Press.","edition":"2"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.2307\/2268438","volume":"15","author":"H Wang","year":"1950","unstructured":"Wang, H. (1950). A formal system of logic. The Journal of Symbolic Logic, 15, 25\u201332.","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Logic, Epistemology, and the Unity of Science","The Philosophers and Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-93733-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,9]],"date-time":"2024-07-09T06:05:46Z","timestamp":1720505146000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-93733-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319937328","9783319937335"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-93733-5_4","relation":{},"ISSN":["2214-9775","2214-9783"],"issn-type":[{"value":"2214-9775","type":"print"},{"value":"2214-9783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}