{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:23:03Z","timestamp":1743096183866,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":28,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789400719224"},{"type":"electronic","value":"9789400719231"}],"license":[{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T00:00:00Z","timestamp":1315440000000},"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":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-94-007-1923-1_14","type":"book-chapter","created":{"date-parts":[[2011,9,21]],"date-time":"2011-09-21T07:52:52Z","timestamp":1316591572000},"page":"269-284","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Anti-realist Classical Logic and Realist Mathematics"],"prefix":"10.1007","author":[{"given":"Greg","family":"Restall","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,8]]},"reference":[{"key":"14_CR1","volume-title":"Non-Well-Founded Sets. Number 14 in CSLI Lecture Notes","author":"P. Aczel","year":"1988","unstructured":"Aczel, P. 1988. Non-Well-Founded Sets. Number 14 in CSLI Lecture Notes. Stanford, CA: CSLI Publications."},{"key":"14_CR2","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195122305.001.0001","volume-title":"Platonism and Anti-Platonism in Mathematics","author":"M. Balaguer","year":"1998","unstructured":"Balaguer, M. 1998. Platonism and Anti-Platonism in Mathematics. Oxford: Oxford University Press."},{"key":"14_CR3","volume-title":"Making It Explicit","author":"R. B. Brandom","year":"1994","unstructured":"Brandom, R. B. 1994. Making It Explicit. Cambridge, MA: Harvard University Press."},{"key":"14_CR4","doi-asserted-by":"crossref","DOI":"10.4159\/9780674028739","volume-title":"Articulating Reasons: An Introduction to Inferentialism","author":"R. B. Brandom","year":"2000","unstructured":"Brandom, R. B. 2000. Articulating Reasons: An Introduction to Inferentialism. Cambridge, MA: Harvard University Press."},{"key":"14_CR5","volume-title":"The Semantic Tradition from Kant to Carnap","author":"J. A. Coffa","year":"1993","unstructured":"Coffa, J. A. 1993. The Semantic Tradition from Kant to Carnap. Cambridge, MA: Cambridge University Press. Edited by Linda Wessels."},{"key":"14_CR6","volume-title":"The Logical Basis of Metaphysics","author":"M. Dummett","year":"1991","unstructured":"Dummett, M. 1991. The Logical Basis of Metaphysics. Cambridge, MA: Harvard University Press."},{"issue":"3","key":"14_CR7","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF01135376","volume":"43","author":"S. Feferman","year":"1995","unstructured":"Feferman, S. 1995. \u201cDefinedness.\u201d Erkenntnis 43(3):295\u2013320, 11.","journal-title":"Erkenntnis"},{"key":"14_CR8","volume-title":"Science Without Numbers: A Defence of Nominalism","author":"H. Field","year":"1980","unstructured":"Field, H. 1980. Science Without Numbers: A Defence of Nominalism. Oxford : Blackwell."},{"key":"14_CR9","volume-title":"Realism, Mathematics and Modality","author":"H. Field","year":"1991","unstructured":"Field, H. 1991. Realism, Mathematics and Modality. Oxford: Blackwell."},{"key":"14_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139173193","volume-title":"Reconsidering Logcal Positivism","author":"M. Friedman","year":"1999","unstructured":"Friedman, M. 1999. Reconsidering Logcal Positivism. Cambridge, MA: Cambridge University Press."},{"key":"14_CR11","volume-title":"Dynamics of Reason: The 1999 Kant Lectures at Stanford University","author":"M. Friedman","year":"2001","unstructured":"Friedman, M. 2001. Dynamics of Reason: The 1999 Kant Lectures at Stanford University. Stanford, CA: CSLI Publications."},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2307\/2025471","volume":"76","author":"I. Hacking","year":"1979","unstructured":"Hacking, I. 1979. \u201cWhat Is Logic?\u201d The Journal of Philosophy 76:285\u2013319.","journal-title":"The Journal of Philosophy"},{"key":"14_CR13","first-page":"94","volume-title":"Proof, Logic and Formalization, edited by","author":"D. Isaacson","year":"1992","unstructured":"Isaacson, D. 1992. \u201cSome Considerations on Arithmetical Truth and the \u03c9-Rule.\u201d In Proof, Logic and Formalization, edited by M. Detlefsen, 94\u2013138. London: Routledge."},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1093\/mind\/XCVII.385.50","volume":"97","author":"M. Kremer","year":"1988","unstructured":"Kremer, M. 1988. \u201cLogic and Meaning: The Philosophical Significance of the Sequent Calculus.\u201d Mind 97:50\u201372.","journal-title":"Mind"},{"issue":"4","key":"14_CR15","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2216115","volume":"30","author":"M. Lance","year":"1996","unstructured":"Lance, M. 1996. \u201cQuantification, Substitution, and Conceptual Content.\u201d No\u00fbs 30(4):481\u2013507.","journal-title":"No\u00fbs"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2274520","volume":"53","author":"P. Maddy","year":"1988","unstructured":"Maddy, P. 1988a. \u201cBelieving the Axioms 1.\u201d Journal of Symbolic Logic 53:481\u2013511.","journal-title":"Journal of Symbolic Logic"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"736","DOI":"10.2307\/2274569","volume":"53","author":"P. Maddy","year":"1988","unstructured":"Maddy, P. 1988b. \u201cBelieving the Axioms 2.\u201d Journal of Symbolic Logic 53:736\u201364.","journal-title":"Journal of Symbolic Logic"},{"issue":"3","key":"14_CR18","doi-asserted-by":"publisher","first-page":"351","DOI":"10.2178\/bsl\/1122038992","volume":"11","author":"P. Maddy","year":"2005","unstructured":"Maddy, P. 2005. \u201cMathematical Existence.\u201d The Bulletin of Symbolic Logic 11(3):351\u201376.","journal-title":"The Bulletin of Symbolic Logic"},{"issue":"394","key":"14_CR19","first-page":"222","volume":"99","author":"H. Price","year":"1990","unstructured":"Price, H. 1990. \u201cWhy \u2018Not\u2019?\u201d Mind 99(394):222\u201338.","journal-title":"Mind"},{"issue":"2","key":"14_CR20","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1111\/j.1467-8284.2004.00469.x","volume":"64","author":"S. Read","year":"2004","unstructured":"Read, S. 2004. \u201cIdentity and Harmony.\u201d Analysis 64(2):113\u201315.","journal-title":"Analysis"},{"key":"14_CR21","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1093\/philmat\/11.1.82","volume":"11","author":"G. Restall","year":"2003","unstructured":"Restall, G. 2003. \u201cJust What Is Full-Blooded Platonism?\u201d Philosophia Mathematica 11:82\u201391.","journal-title":"Philosophia Mathematica"},{"key":"14_CR22","unstructured":"Restall, G. 2005. \u201cMultiple Conclusions.\u201d In Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress, edited by Petr H\u00e1jek, Luis Vald\u00e9s-Villanueva, and Dag Westerst\u00e5hl, 189\u2013205. London: KCL Publications."},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Restall, G. 2007. \u201cProofnets for S5: Sequents and Circuits for Modal Logic.\u201d In Logic Colloquium 2005, Number 28 in Lecture Notes in Logic, edited by Costas Dimitracopoulos, Ludomir Newelski, and Dag Normann. Cambridge, MA: Cambridge University Press.","DOI":"10.1017\/CBO9780511546464.012"},{"issue":"436","key":"14_CR24","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1093\/mind\/109.436.781","volume":"109","author":"I. Rumfitt","year":"2000","unstructured":"Rumfitt, I. 2000. \u201c\u00a0\u2018Yes\u2019 and \u2018No\u2019.\u201d Mind 109(436):781\u2013823.","journal-title":"Mind"},{"key":"14_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-66473-1","volume-title":"Proof Theory","author":"K. Sch\u00fctte","year":"1977","unstructured":"Sch\u00fctte, K. 1977. Proof Theory. Berlin: Springer. Translated from the German by J. N. Crossley."},{"key":"14_CR26","volume-title":"Philosophy of Mathematics: Structure and Ontology","author":"S. Shapiro","year":"1997","unstructured":"Shapiro, S. 1997. Philosophy of Mathematics: Structure and Ontology. Oxford: Oxford University Press."},{"key":"14_CR27","volume-title":"Thinking About Mathematics: An Introduction to the Philosophy of Mathematics","author":"S. Shapiro","year":"2000","unstructured":"Shapiro, S. 2000. Thinking About Mathematics: An Introduction to the Philosophy of Mathematics. Oxford: Oxford University Press."},{"issue":"6","key":"14_CR28","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1017\/S0956796898003141","volume":"8","author":"T. Streicher","year":"1998","unstructured":"Streicher, T., and B. Reus. 1998. \u201cClassical Logic, Continuation Semantics and Abstract Machines.\u201d Journal of Functional Programming 8(6):543\u201372.","journal-title":"Journal of Functional Programming"}],"container-title":["The Realism-Antirealism Debate in the Age of Alternative Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-007-1923-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T05:33:37Z","timestamp":1712900017000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-007-1923-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,8]]},"ISBN":["9789400719224","9789400719231"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-1923-1_14","relation":{},"subject":[],"published":{"date-parts":[[2011,9,8]]},"assertion":[{"value":"8 September 2011","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}