{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:45:16Z","timestamp":1740123916776,"version":"3.37.3"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T00:00:00Z","timestamp":1723075200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T00:00:00Z","timestamp":1723075200000},"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":["J Philos Logic"],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1007\/s10992-024-09762-7","type":"journal-article","created":{"date-parts":[[2024,8,8]],"date-time":"2024-08-08T08:02:36Z","timestamp":1723104156000},"page":"1161-1197","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Number Theory and Infinity Without Mathematics"],"prefix":"10.1007","volume":"53","author":[{"given":"Uri","family":"Nodelman","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6488-3496","authenticated-orcid":false,"given":"Edward N.","family":"Zalta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,8,8]]},"reference":[{"key":"9762_CR1","unstructured":"Aczel, P. (1991\/1996). Personal communications of January 10, 1991, and November 11, 1996."},{"key":"9762_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2307\/2269159","volume":"11","author":"R Barcan","year":"1946","unstructured":"Barcan, R. (1946). A Functional Calculus of First Order Based on Strict Implication. Journal of Symbolic Logic, 11, 1\u201316.","journal-title":"Journal of Symbolic Logic"},{"key":"9762_CR3","doi-asserted-by":"crossref","unstructured":"Boolos, G. (1986\/1987). Saving Frege From Contradiction. Proceedings of the Aristotelian Society, 87, 137\u2013151. Reprinted in G. Boolos (1998). Logic, Logic, and Logic (pp. 171\u2013182). Cambridge, MA: Harvard University Press.","DOI":"10.1093\/aristotelian\/87.1.137"},{"key":"9762_CR4","unstructured":"Boolos, G. (1987). The Consistency of Frege\u2019s Foundations of Arithmetic. In: J.\u00a0Thomson (Ed.), On Being and Saying (pp.\u00a03\u201320). Cambridge, MA: MIT Press. Reprinted in G. Boolos (1998). Logic, Logic, and Logic (pp. 183\u2013201). Cambridge, MA: Harvard University Press."},{"issue":"3\u20134","key":"9762_CR5","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1111\/phil.12129","volume":"47","author":"R Cook","year":"2016","unstructured":"Cook, R. (2016). Necessity, Necessitism, and Numbers. Philosophical Forum, 47(3\u20134), 385\u2013414.","journal-title":"Philosophical Forum"},{"issue":"2","key":"9762_CR6","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1017\/S1755020316000411","volume":"10","author":"W Dean","year":"2017","unstructured":"Dean, W., & Walsh, S. (2017). The Prehistory of the Subsystems of Second-Order Arithmetic. The Review of Symbolic Logic, 10(2), 357\u2013396. https:\/\/doi.org\/10.1017\/S1755020316000411","journal-title":"The Review of Symbolic Logic"},{"key":"9762_CR7","unstructured":"Dedekind, R. (1888). Was sind und was sollen die Zahlen. Braunschweig: Vieweg und Sohn; 2nd edition, 1893; 7th edition, 1939."},{"key":"9762_CR8","doi-asserted-by":"crossref","unstructured":"Dummett, M. (1998). Neo-Fregeans: In Bad Company. In Mathias Schirn (Ed.), Philosophy of Mathematics Today (pp. 368\u2013388). Oxford: Clarendon Press.","DOI":"10.1093\/oso\/9780198236542.003.0015"},{"key":"9762_CR9","doi-asserted-by":"publisher","unstructured":"Ebels-Duggan, S. & Boccuni, F. (2024). Explicit Abstract Objects in Predicative Settings. Journal of Philosophical Logic. https:\/\/doi.org\/10.1007\/s10992-024-09768-1","DOI":"10.1007\/s10992-024-09768-1"},{"key":"9762_CR10","doi-asserted-by":"crossref","unstructured":"Enderton, H. (2001). A Mathematical Introduction to Logic. San Diego: Academic Press; second edition (first edition 1972).","DOI":"10.1016\/B978-0-08-049646-7.50005-9"},{"key":"9762_CR11","volume-title":"Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung \u00fcber den Begriff der Zahl","author":"G Frege","year":"1884","unstructured":"Frege, G. (1884). Die Grundlagen der Arithmetik: eine logisch-mathematische Untersuchung \u00fcber den Begriff der Zahl. Breslau: W. Koebner."},{"key":"9762_CR12","unstructured":"Frege, G. (1893\/1903). Grundgesetze der Arithmetik, Volume I (1893), Volume II (1903), Jena: Verlag Hermann Pohle. Page references to the edited translation by Ebert, P., Rossberg, M., & Wright, C. (2013). Basic Laws of Arithmetic. Oxford: Oxford University Press."},{"key":"9762_CR13","unstructured":"Friedman, H. (1975). Some Systems of Second Order Arithmetic and Their Use. In: R. D. James (Ed.), Proceedings of the 17th International Congress of Mathematicians Vancouver 1974 , (Vol. 1, pp. 235\u2013242). Canadian: Mathematical Congress."},{"key":"9762_CR14","unstructured":"Friedman, H. (1976). Systems of Second Order Arithmetic With Restricted Induction. I, II. The Journal of Symbolic Logic, 41(2), 557\u2013559."},{"issue":"2","key":"9762_CR15","doi-asserted-by":"publisher","first-page":"188","DOI":"10.2307\/2964398","volume":"23","author":"A Grzegorczyk","year":"1958","unstructured":"Grzegorczyk, A., Mostowski, A., & Ryll-Nardzewski, C. (1958). The Classical and the $$\\omega $$-Complete Arithmetic. Journal of Symbolic Logic, 23(2), 188\u2013206.","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"9762_CR16","doi-asserted-by":"publisher","first-page":"579","DOI":"10.2307\/2275220","volume":"58","author":"R Heck","year":"1993","unstructured":"Heck, R. (1993). The Development of Arithmetic in Frege\u2019s Grundgesetze Der Arithmetik. Journal of Symbolic Logic, 58(2), 579\u2013601.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"9762_CR17","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1093\/philmat\/nkt045","volume":"22","author":"R Heck","year":"2014","unstructured":"Heck, R. (2014). Predicative Frege Arithmetic and \u2018Everyday\u2019 Mathematics. Philosophia Mathematica (III), 22(3), 279\u2013307.","journal-title":"Philosophia Mathematica (III)"},{"key":"9762_CR18","unstructured":"Hilbert, D. & Bernays, P. (1934\/1939). Grundlagen der Mathematik, Volume I (1934), Volume II (1939), Berlin: Springer."},{"issue":"4","key":"9762_CR19","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1093\/analys\/19.4.79","volume":"19","author":"J Hintikka","year":"1959","unstructured":"Hintikka, J. (1959). Towards a Theory of Definite Descripitions. Analysis, 19(4), 79\u201385.","journal-title":"Analysis"},{"key":"9762_CR20","unstructured":"Leitgeb, H., Nodelman, U., & Zalta, E. (forthcoming). A Defense of Logicism. The Bulletin of Symbolic Logic."},{"issue":"10","key":"9762_CR21","first-page":"525","volume":"92","author":"B Linsky","year":"1995","unstructured":"Linsky, B., & Zalta, E. (1995). Naturalized Platonism vs. Platonized Naturalism. The Journal of Philosophy, 92(10), 525\u2013555.","journal-title":"Platonized Naturalism. The Journal of Philosophy"},{"issue":"1","key":"9762_CR22","doi-asserted-by":"publisher","first-page":"60","DOI":"10.2178\/bsl\/1140640944","volume":"12","author":"B Linsky","year":"2006","unstructured":"Linsky, B., & Zalta, E. (2006). What is Neologicism? The Bulletin of Symbolic Logic, 12(1), 60\u201399.","journal-title":"The Bulletin of Symbolic Logic"},{"key":"9762_CR23","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00248396","volume":"9","author":"A McMichael","year":"1980","unstructured":"McMichael, A., & Zalta, E. (1980). An Alternative Theory of Nonexistent Objects. Journal of Philosophical Logic, 9, 297\u2013313.","journal-title":"Journal of Philosophical Logic"},{"issue":"489","key":"9762_CR24","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1093\/mind\/fzu003","volume":"123","author":"U Nodelman","year":"2014","unstructured":"Nodelman, U., & Zalta, E. (2014). Foundations for Mathematical Structuralism. Mind, 123(489), 39\u201378.","journal-title":"Mind"},{"key":"9762_CR25","unstructured":"Nodelman, U. & Zalta, E. (m.s.). Chapter 14: Number Theory. In E. Zalta (m.s.), Principia Logico-Metaphysica URL = https:\/\/mally.stanford.edu\/principia.pdf"},{"key":"9762_CR26","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-319-95777-7_5","volume-title":"Eva Picardi on Language, Analysis and History","author":"M Panza","year":"2018","unstructured":"Panza, M. (2018). Was Frege a Logicist for Arithmetic? In Annalisa Coliva, Paolo Leonardi, & Sebastiano Moruzzi (Eds.), Eva Picardi on Language, Analysis and History (pp. 87\u2013112). Cham: Palgrave Macmillan."},{"key":"9762_CR27","volume-title":"Arithmetices Principia: Nova Methodo Exposita","author":"G Peano","year":"1889","unstructured":"Peano, G. (1889). Arithmetices Principia: Nova Methodo Exposita. Rome: Fratres Bocca."},{"issue":"1","key":"9762_CR28","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1080\/01445340.2019.1680517","volume":"41","author":"P Raatikainen","year":"2020","unstructured":"Raatikainen, P. (2020). Neo-Logicism and its Logic. History and Philosophy of Logic, 41(1), 82\u201395.","journal-title":"History and Philosophy of Logic"},{"key":"9762_CR29","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1093\/mind\/XIV.4.479","volume":"14","author":"B Russell","year":"1905","unstructured":"Russell, B. (1905). On Denoting. Mind, 14, 479\u2013493.","journal-title":"Mind"},{"key":"9762_CR30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581007","volume-title":"Subsystems of Second Order Arithmetic","author":"S Simpson","year":"2009","unstructured":"Simpson, S. (2009). Subsystems of Second Order Arithmetic (2nd ed.). Cambridge: Cambridge University Press.","edition":"2"},{"issue":"4","key":"9762_CR31","doi-asserted-by":"publisher","first-page":"504","DOI":"10.2307\/2687796","volume":"7","author":"J V\u00e4\u00e4n\u00e4nen","year":"2001","unstructured":"V\u00e4\u00e4n\u00e4nen, J. (2001). Second-Order Logic and Foundations of Mathematics. The Bulletin of Symbolic Logic, 7(4), 504\u2013520.","journal-title":"The Bulletin of Symbolic Logic"},{"issue":"7","key":"9762_CR32","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1111\/phc3.12229","volume":"10","author":"J V\u00e4\u00e4n\u00e4nen","year":"2015","unstructured":"V\u00e4\u00e4n\u00e4nen, J. (2015). Second-Order Logic and Set Theory. Philosophy Compass, 10(7), 463\u2013478. https:\/\/doi.org\/10.1111\/phc3.12229","journal-title":"Philosophy Compass"},{"key":"9762_CR33","doi-asserted-by":"publisher","first-page":"986","DOI":"10.1111\/theo.12237","volume":"87","author":"J V\u00e4\u00e4n\u00e4nen","year":"2021","unstructured":"V\u00e4\u00e4n\u00e4nen, J. (2021). Tracing Internal Categoricity. Theoria, 87, 986\u20131000. https:\/\/doi.org\/10.1111\/theo.12237","journal-title":"Theoria"},{"key":"9762_CR34","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1090\/S0002-9947-1904-1500678-X","volume":"5","author":"O Veblen","year":"1904","unstructured":"Veblen, O. (1904). A System of Axioms for Geometry. Transactions of the American Mathematical Society, 5, 343\u2013384.","journal-title":"Transactions of the American Mathematical Society"},{"key":"9762_CR35","first-page":"199","volume":"1","author":"J von Neumann","year":"1923","unstructured":"von Neumann, J. (1923). Zur Einf\u00fchrung der transfiniten Zahle. Acta litterarum ac scientiarum Ragiae Universitatis Hungaricae Francisco-Josephinae (Sectio scientiarum mathematicarum), 1, 199\u2013208.","journal-title":"Acta litterarum ac scientiarum Ragiae Universitatis Hungaricae Francisco-Josephinae (Sectio scientiarum mathematicarum)"},{"issue":"1","key":"9762_CR36","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1305\/ndjfl\/1082637613","volume":"44","author":"A Weir","year":"2003","unstructured":"Weir, A. (2003). Neo-Fregeanism: An Embarassment of Riches. Notre Dame Journal of Formal Logic, 44(1), 13\u201348.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9762_CR37","unstructured":"Whitehead, A. & Russell, B. (1910\u201313). Principia Mathematica. Cambridge: Cambridge University Press; second edn. 1925\u201327."},{"key":"9762_CR38","volume-title":"Frege\u2019s Conception of Numbers as Objects","author":"C Wright","year":"1983","unstructured":"Wright, C. (1983). Frege\u2019s Conception of Numbers as Objects. Aberdeen: Aberdeen University Press."},{"key":"9762_CR39","doi-asserted-by":"crossref","unstructured":"Zalta, E. (1983). Abstract Objects: An Introduction to Axiomatic Metaphysics. Dordrecht: D. Reidel.","DOI":"10.1007\/978-94-009-6980-3"},{"issue":"2","key":"9762_CR40","doi-asserted-by":"publisher","first-page":"57","DOI":"10.2307\/2026992","volume":"85","author":"E Zalta","year":"1988","unstructured":"Zalta, E. (1988). Logical and Analytic Truths That Are Not Necessary. The Journal of Philosophy, 85(2), 57\u201374.","journal-title":"The Journal of Philosophy"},{"issue":"6","key":"9762_CR41","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1023\/A:1004330128910","volume":"28","author":"E Zalta","year":"1999","unstructured":"Zalta, E. (1999). Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege\u2019s Grundgesetze in Object Theory. Journal of Philosophical Logic, 28(6), 619\u2013660.","journal-title":"Journal of Philosophical Logic"},{"issue":"1\u20132","key":"9762_CR42","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1005614102033","volume":"53","author":"E Zalta","year":"2000","unstructured":"Zalta, E. (2000). Neo-Logicism? An Ontological Reduction of Mathematics to Metaphysics. Erkenntnis, 53(1\u20132), 219\u2013265.","journal-title":"Erkenntnis"},{"key":"9762_CR43","unstructured":"Zalta, E. (2023). Frege\u2019s Theorem and Foundations for Arithmetic. In E. Zalta & U. Nodelman (Eds.), Stanford Encyclopedia of Philosophy (Spring 2023 Edition). URL = https:\/\/plato.stanford.edu\/archives\/spr2023\/entries\/frege-theorem\/"},{"issue":"2","key":"9762_CR44","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1111\/nous.12451","volume":"58","author":"E Zalta","year":"2024","unstructured":"Zalta, E. (2024). Mathematical Pluralism. No\u00fbs, 58(2), 306\u2013332. https:\/\/doi.org\/10.1111\/nous.12451","journal-title":"No\u00fbs"},{"key":"9762_CR45","unstructured":"Zalta, E. (m.s.). Principia Logico-Metaphysica version dated 22 May 2024, URL = https:\/\/mally.stanford.edu\/principia.pdf"},{"issue":"2","key":"9762_CR46","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/BF01449999","volume":"65","author":"E Zermelo","year":"1908","unstructured":"Zermelo, E. (1908). Untersuchungen \u00fcber die Grundlagen der Mengenlehre I. Mathematische Annalen, 65(2), 261\u2013281.","journal-title":"Mathematische Annalen"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-024-09762-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-024-09762-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-024-09762-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,4]],"date-time":"2024-10-04T10:26:20Z","timestamp":1728037580000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-024-09762-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,8]]},"references-count":46,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["9762"],"URL":"https:\/\/doi.org\/10.1007\/s10992-024-09762-7","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"type":"print","value":"0022-3611"},{"type":"electronic","value":"1573-0433"}],"subject":[],"published":{"date-parts":[[2024,8,8]]},"assertion":[{"value":"18 August 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 May 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 August 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}