{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T15:11:31Z","timestamp":1773673891282,"version":"3.50.1"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2007,10,16]],"date-time":"2007-10-16T00:00:00Z","timestamp":1192492800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1007\/s11229-007-9263-9","type":"journal-article","created":{"date-parts":[[2007,10,15]],"date-time":"2007-10-15T11:03:47Z","timestamp":1192446227000},"page":"415-441","source":"Crossref","is-referenced-by-count":15,"title":["The good, the bad and the ugly"],"prefix":"10.1007","volume":"170","author":[{"given":"Philip","family":"Ebert","sequence":"first","affiliation":[]},{"given":"Stewart","family":"Shapiro","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,10,16]]},"reference":[{"key":"9263_CR1","first-page":"3","volume-title":"On being and saying: Essays for Richard Cartwright","author":"G. Boolos","year":"1987","unstructured":"Boolos G. (1987). The consistency of Frege\u2019s Foundations of arithmetic. In: Thompson J.J. (eds) On being and saying: Essays for Richard Cartwright. Cambridge, Massachusetts: The MIT Press, pp 3\u201320, reprinted in Boolos (1998), 183\u2013201, and Demopoulos (1995), 211\u2013233."},{"key":"9263_CR2","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1093\/oso\/9780198239208.003.0009","volume-title":"Language, thought, and logic","author":"G. Boolos","year":"1997","unstructured":"Boolos G. (1997). Is Hume\u2019s principle analytic? In: Heck R. Jr. (eds) Language, thought, and logic. Oxford University Press, Oxford, pp 245\u2013261, reprinted in Boolos (1998), 301\u2013314."},{"key":"9263_CR3","volume-title":"Logic, logic, and logic","author":"G. Boolos","year":"1998","unstructured":"Boolos G. (1998). Logic, logic, and logic. Harvard University Press, Cambridge"},{"key":"9263_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139172240","volume-title":"The semantic tradition from Kant to Carnap","author":"A. Coffa","year":"1991","unstructured":"Coffa A. (1991). The semantic tradition from Kant to Carnap. Cambridge University Press, Cambridge"},{"key":"9263_CR5","doi-asserted-by":"crossref","first-page":"625","DOI":"10.2307\/2272846","volume":"39","author":"J. Corcoran","year":"1974","unstructured":"Corcoran J., Frank W., Maloney M. (1974). String theory. Journal of Symbolic Logic 39: 625\u2013637","journal-title":"Journal of Symbolic Logic"},{"key":"9263_CR6","volume-title":"Frege\u2019s philosophy of mathematics","author":"W. Demopoulos","year":"1995","unstructured":"Demopoulos W. (1995). Frege\u2019s philosophy of mathematics. Harvard University Press, Cambridge"},{"key":"9263_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7731-1","volume-title":"Hilbert\u2019s program","author":"M. Detlefsen","year":"1986","unstructured":"Detlefsen M. (1986). Hilbert\u2019s program. D. Reidel Publishing Company, Dordrecht"},{"key":"9263_CR8","volume-title":"Frege: Philosophy of mathematics","author":"M. Dummett","year":"1991","unstructured":"Dummett M. (1991). Frege: Philosophy of mathematics. Harvard University Press, Cambridge"},{"key":"9263_CR9","doi-asserted-by":"crossref","unstructured":"Dummett, M. (1998). Neo-Fregeans: In Bad Company? in Schirn (1998), 369\u2013387.","DOI":"10.1093\/oso\/9780198236542.003.0015"},{"key":"9263_CR10","unstructured":"Ebert, P. (ms.), What foundational knowledge could not be."},{"key":"9263_CR11","doi-asserted-by":"crossref","DOI":"10.28937\/978-3-7873-2549-8","volume-title":"Wissenschaftlicher Briefwechsel (Chapter XV)","author":"G. Frege","year":"1976","unstructured":"Frege G. (1976). David Hilbert. In: Gabriel G., Hermes H., Kambartel F., Thiel C. (eds) Wissenschaftlicher Briefwechsel (Chapter XV). Felix Meiner, Hamburg"},{"key":"9263_CR12","volume-title":"Philosophical and mathematical correspondence","author":"G. Frege","year":"1980","unstructured":"Frege G. (1980). Philosophical and mathematical correspondence. Basil Blackwell, Oxford"},{"issue":"8","key":"9263_CR13","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1093\/philmat\/8.2.100","volume":"3","author":"B. Hale","year":"2000","unstructured":"Hale B. (2000). Reals by abstraction. Philosophia Mathematica 3(8): 100\u2013123; reprinted in Hale and Wright (2001), 399\u2013420.","journal-title":"Philosophia Mathematica"},{"key":"9263_CR14","doi-asserted-by":"crossref","DOI":"10.1093\/0198236395.001.0001","volume-title":"The reason\u2019s proper study","author":"B. Hale","year":"2001","unstructured":"Hale B., Wright C. (2001). The reason\u2019s proper study. Oxford University Press, Oxford"},{"key":"9263_CR15","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1007\/978-94-009-1902-0_9","volume-title":"Physicalism in mathematics.","author":"M. Hallett","year":"1990","unstructured":"Hallett M. (1990). Physicalism, reductionism and Hilbert. In: Irvine A.D. (eds) Physicalism in mathematics. Kluwer Academic Publishers, Dordrecht, pp 183\u2013257"},{"key":"9263_CR16","doi-asserted-by":"crossref","first-page":"491","DOI":"10.2307\/2216025","volume":"26","author":"R. Heck","year":"1992","unstructured":"Heck R. (1992). On the consistency of second-order contextual definitions. Nous 26: 491\u2013494","journal-title":"Nous"},{"key":"9263_CR17","unstructured":"Hilbert, D. (1899). Grundlagen der Geometrie, Leipzig: Teubner. English edition: (1959). Foundations of geometry (Trans.: Townsend, E.). La Salle, Illinois: Open Court."},{"key":"9263_CR18","doi-asserted-by":"crossref","unstructured":"Hilbert, D. (1925). \u00dcber das Unendliche. Mathematische Annalen, 95, 161\u2013190; translated as On the infinite. van Heijenoort (1967), 369\u2013392.","DOI":"10.1007\/BF01206605"},{"key":"9263_CR19","volume-title":"Gesammelte Abhandlungen, Dritter Band","author":"D. Hilbert","year":"1935","unstructured":"Hilbert D. (1935). Gesammelte Abhandlungen, Dritter Band. Julius Springer, Berlin"},{"key":"9263_CR20","doi-asserted-by":"crossref","first-page":"123","DOI":"10.2307\/2026440","volume":"81","author":"H. Hodes","year":"1984","unstructured":"Hodes H. (1984). Logicism and the ontological commitments of arithmetic. Journal of Philosophy 81: 123\u2013149","journal-title":"Journal of Philosophy"},{"key":"9263_CR21","doi-asserted-by":"crossref","first-page":"153","DOI":"10.2178\/bsl\/1082986260","volume":"10","author":"\u00d8. Linnebo","year":"2004","unstructured":"Linnebo \u00d8. (2004). Predicative fragments of Frege arithmetic. Bulletin of Symbolic Logic 10: 153\u2013174","journal-title":"Bulletin of Symbolic Logic"},{"key":"9263_CR22","unstructured":"Pappas, G. (2005). Internalist vs. externalist conceptions of epistemic justification. In E. N. Zalta (Ed.), The Stanford Internet encyclopedia of philosophy. http:\/\/plato.stanford.edu\/archives\/spr2005\/entries\/justep-intext\/"},{"key":"9263_CR23","unstructured":"Parsons, C. (1964). Frege\u2019s theory of number. In M. Black (Ed.), Philosophy in America (pp. 180\u2013203). Ithaca, New York: Cornell University Press; also in Parsons, C. (1983). Mathematics in philosophy (pp. 150\u2013175). Ithaca, New York: Cornell University Press."},{"key":"9263_CR24","unstructured":"Pedersen, N. (2005). Entitlement in mathematics. Ph.D. Thesis, University of St. Andrews."},{"key":"9263_CR25","unstructured":"Pedersen, N. (ms), Mathematical skepticism and entitlement."},{"key":"9263_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-3687-4","volume-title":"In contradiction: A study of the transconsistent","author":"G. Priest","year":"1987","unstructured":"Priest G. (1987). In contradiction: A study of the transconsistent. Martinus Nijhoff Publishers, Dordrecht"},{"key":"9263_CR27","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1093\/bjps\/52.1.95","volume":"52","author":"J. Pryor","year":"2001","unstructured":"Pryor J. (2001). Highlights of Recent Epistemology. British Journal for the Philosophy of Science 52: 95\u2013124","journal-title":"British Journal for the Philosophy of Science"},{"issue":"11","key":"9263_CR28","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1093\/philmat\/11.3.305","volume":"3","author":"A. Rayo","year":"2003","unstructured":"Rayo A. (2003). Success by default. Philosophia Mathematica 3(11): 305\u2013322","journal-title":"Philosophia Mathematica"},{"key":"9263_CR29","volume-title":"Absolute generality","year":"2006","unstructured":"Rayo A., Uzquiano G. (eds) (2006). Absolute generality. Oxford University Press, Oxford"},{"key":"9263_CR30","volume-title":"Introduction to mathematical philosophy","author":"B. Russell","year":"1993","unstructured":"Russell B. (1993). Introduction to mathematical philosophy. Dover, New York (first published in 1919)."},{"key":"9263_CR31","volume-title":"The philosophy of mathematics today","year":"1998","unstructured":"Schirn M. (eds) (1998). The philosophy of mathematics today. Oxford University Press, Oxford"},{"key":"9263_CR32","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF00152934","volume":"16","author":"S. Shapiro","year":"1987","unstructured":"Shapiro S. (1987). Principles of reflection and second-order logic. Journal of Philosophical Logic 16: 309\u2013333","journal-title":"Journal of Philosophical Logic"},{"key":"9263_CR33","volume-title":"Foundations without foundationalism: A case for second-order logic","author":"S. Shapiro","year":"1991","unstructured":"Shapiro S. (1991). Foundations without foundationalism: A case for second-order logic. Oxford University Press, Oxford"},{"key":"9263_CR34","volume-title":"Philosophy of mathematics: Structure and ontology","author":"S. Shapiro","year":"1997","unstructured":"Shapiro S. (1997). Philosophy of mathematics: Structure and ontology. Oxford University Press, New York"},{"key":"9263_CR35","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1111\/j.0031-8094.2004.00346.x","volume":"54","author":"S. Shapiro","year":"2004","unstructured":"Shapiro S. (2004). The nature and limits of abstraction. Philosophical Quarterly 54: 166\u2013174","journal-title":"Philosophical Quarterly"},{"key":"9263_CR36","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/s11098-004-4923-9","volume":"122","author":"S. Shapiro","year":"2005","unstructured":"Shapiro S. (2005). Sets and abstracts. Philosophical Studies 122: 315\u2013332","journal-title":"Philosophical Studies"},{"key":"9263_CR37","unstructured":"Stein, H. (1988). Logos, logic, and Logistik\u00e9: Some philosophical remarks on the nineteenth century transformation of mathematics. In W. Aspray & P. Kitcher (Eds.), History and philosophy of modern mathematics (Vol. XI, pp. 238\u2013259). Minneapolis, Minnesota Studies in the Philosophy of Science: University of Minnesota Press."},{"key":"9263_CR38","doi-asserted-by":"crossref","first-page":"524","DOI":"10.2307\/2026089","volume":"78","author":"W. Tait","year":"1981","unstructured":"Tait W. (1981). Finitism. The Journal of Philosophy 78: 524\u2013546","journal-title":"The Journal of Philosophy"},{"key":"9263_CR39","volume-title":"Anti-realism and logic","author":"N. Tennant","year":"1987","unstructured":"Tennant N. (1987). Anti-realism and logic. Oxford University Press, Oxford"},{"key":"9263_CR40","volume-title":"From Frege to G\u00f6del","author":"J. Van Heijenoort","year":"1967","unstructured":"Van Heijenoort J. (1967). From Frege to G\u00f6del. Harvard University Press, Cambridge"},{"key":"9263_CR41","doi-asserted-by":"crossref","first-page":"763","DOI":"10.1093\/mind\/107.428.763","volume":"107","author":"A. Weir","year":"1998","unstructured":"Weir A. (1998). Na\u00efve set theory is innocent. Mind 107: 763\u2013798","journal-title":"Mind"},{"key":"9263_CR42","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1305\/ndjfl\/1082637613","volume":"44","author":"A. Weir","year":"2003","unstructured":"Weir A. (2003). Neo-Fregeanism: an embarrassment of riches. Notre Dame Journal of Formal Logic 44: 13\u201348","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9263_CR43","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1111\/j.1475-4975.1993.tb00265.x","volume":"18","author":"M. Wilson","year":"1993","unstructured":"Wilson M. (1993). There\u2019s a hole and a bucket, dear Leibniz. Midwest Studies in Philosophy 18: 202\u2013241","journal-title":"Midwest Studies in Philosophy"},{"key":"9263_CR44","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 University Press, Aberdeen"},{"key":"9263_CR45","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1093\/oso\/9780198239208.003.0008","volume-title":"Language, thought, and logic","author":"C. Wright","year":"1997","unstructured":"Wright C. (1997). On the philosophical significance of Frege\u2019s theorem. In: Heck R. Jr. (eds) Language, thought, and logic. Oxford University Press, Oxford, pp 201\u2013244; reprinted in Hale and Wright (2001), 272\u2013306."},{"key":"9263_CR46","doi-asserted-by":"crossref","unstructured":"Wright, C. (1998). On the harmless impredicativity of N= (Hume\u2019s Principle). In Schirn (1998), 339\u2013368; reprinted in Hale and Wright (2001), 229\u2013255.","DOI":"10.1093\/oso\/9780198236542.003.0014"},{"key":"9263_CR47","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1305\/ndjfl\/1038336879","volume":"41","author":"C. Wright","year":"2000","unstructured":"Wright C. (2000). Neo-Fregean foundations for real analysis: Some reflections on Frege\u2019s constraint. Notre Dame Journal of Formal Logic 41: 317\u2013334","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9263_CR48","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1111\/j.0309-7013.2004.00121.x","volume":"78","author":"C. Wright","year":"2004","unstructured":"Wright C. (2004). Warrant for nothing (and foundations for free)? Proceedings of the Aristotelian Society Supplementary 78: 167\u2013212","journal-title":"Proceedings of the Aristotelian Society Supplementary"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-007-9263-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-007-9263-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-007-9263-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T13:42:33Z","timestamp":1708263753000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-007-9263-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,16]]},"references-count":48,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,10]]}},"alternative-id":["9263"],"URL":"https:\/\/doi.org\/10.1007\/s11229-007-9263-9","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,16]]}}}