{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:02:33Z","timestamp":1743123753903,"version":"3.40.3"},"publisher-location":"Dordrecht","reference-count":21,"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_13","type":"book-chapter","created":{"date-parts":[[2011,9,21]],"date-time":"2011-09-21T07:52:52Z","timestamp":1316591572000},"page":"251-267","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Necessary Truth and Proof"],"prefix":"10.1007","author":[{"given":"Stephen","family":"Read","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,9,8]]},"reference":[{"key":"13_CR1","volume-title":"Entailment: The Logic of Relevance and Necessity","author":"A. Anderson","year":"1975","unstructured":"Anderson, A., and N. D. Belnap. 1975. Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton, NJ: Princeton UP."},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"150","DOI":"10.5840\/monist200083112","volume":"83","author":"D. M. Armstrong","year":"2000","unstructured":"Armstrong, D. M. 2000. \u201cDifficult Cases in the Theory of Truthmaking.\u201d Monist 83:150\u201360.","journal-title":"Monist"},{"key":"13_CR3","first-page":"12","volume-title":"Real Metaphysics: Essays in Honour of D. H. Mellor, edited by","author":"D. M. Armstrong","year":"2002","unstructured":"Armstrong, D. M. 2002. \u201cTruthmakers for Modal Truths.\u201d In Real Metaphysics: Essays in Honour of D. H. Mellor, edited by H. Lillehammer and G. Rodriguez-Pereyra, 12\u201324. London: Routledge."},{"key":"13_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511487552","volume-title":"Truth and Truthmakers","author":"D. M. Armstrong","year":"2004","unstructured":"Armstrong, D. M. 2004. Truth and Truthmakers. Cambridge, MA: Cambridge University Press."},{"key":"13_CR5","volume-title":"The Logical Syntax of Language","author":"R. Carnap","year":"1937","unstructured":"Carnap, R. 1937. The Logical Syntax of Language. London: Routledge. A. Smeaton, Eng. Tr."},{"key":"13_CR6","first-page":"22","volume-title":"Kontrolliertes Denken: Untersuchungen zum Logikkalk\u00fcl und der Logik der Einzelwissenschaften, edited by","author":"A. Church","year":"1951","unstructured":"Church, A. 1951. \u201cThe Weak Theory of Implication.\u201d In Kontrolliertes Denken: Untersuchungen zum Logikkalk\u00fcl und der Logik der Einzelwissenschaften, edited by A. Wilhelmy, A. Menne, and H. Angstl, 22\u201337. Freiburg-im-Breisgau: Karl Alber."},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/A:1020332703930","volume":"132","author":"J. Dubucs","year":"2002","unstructured":"Dubucs, J. 2002. \u201cFeasibility in Logic.\u201d Synthese 132:213\u201337.","journal-title":"Synthese"},{"key":"13_CR8","first-page":"1","volume-title":"Truth and Other Enigmas","author":"M. Dummett","year":"1978","unstructured":"Dummett, M. 1978. \u201cTruth.\u201d In idem, Truth and Other Enigmas, 1\u201324. London: Duckworth."},{"key":"13_CR9","volume-title":"Logical Basis of Metaphysics","author":"M. Dummett","year":"1991","unstructured":"Dummett, M. 1991. Logical Basis of Metaphysics. London: Duckworth."},{"key":"13_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1005-4","volume-title":"Numbers","author":"H. D. Ebbinghaus","year":"1991","unstructured":"Ebbinghaus, H. D. 1991. Numbers. New York, NY: Springer."},{"key":"13_CR11","first-page":"305","volume-title":"Collected Works, edited by","author":"K. G\u00f6del","year":"1972","unstructured":"G\u00f6del, K. 1972. \u201cSome Remarks on the Undecidability Results.\u201d In Collected Works, edited by S. Feferman et al., vol. II, 305\u201306. Oxford: Oxford University Press, 1990."},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1090\/S0002-9904-1928-04625-6","volume":"34","author":"C. H. Langford","year":"1928","unstructured":"Langford, C. H. 1928. \u201cConcerning Logical Principles.\u201d Bulletin of the American Mathematical Society 34:573\u201382.","journal-title":"Bulletin of the American Mathematical Society"},{"key":"13_CR13","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"Lewis, D. 1973. Counterfactuals. Oxford: Blackwell."},{"key":"13_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511801174","volume-title":"An Introduction to Non-Classical Logic: From If to Is","author":"G. Priest","year":"2008","unstructured":"Priest, G. 2008. An Introduction to Non-Classical Logic: From If to Is (2nd Edition). Cambridge, MA: Cambridge University Press.","edition":"2"},{"key":"13_CR15","first-page":"90","volume-title":"Philosophical Essays for A. N. Whitehead, edited by","author":"W. V. O. Quine","year":"1936","unstructured":"Quine, W. V. O. 1936. \u201cTruth by Convention.\u201d In Philosophical Essays for A. N. Whitehead, edited by O. H. Lee, 90\u2013124. New York, NY: Longmans."},{"key":"13_CR16","volume-title":"Philosophy of Logic","author":"W. V. O. Quine","year":"1970","unstructured":"Quine, W. V. O. 1970. Philosophy of Logic. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1023\/A:1004787622057","volume":"29","author":"S. Read","year":"2000","unstructured":"Read, S. 2000. \u201cHarmony and Autonomy in Classical Logic.\u201d Journal of Philosophical Logic 29:123\u201354.","journal-title":"Journal of Philosophical Logic"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1017\/S003181910500032X","volume":"80","author":"S. Read","year":"2005","unstructured":"Read, S. 2005. \u201cThe Unity of the Fact.\u201d Philosophy 80:317\u201342.","journal-title":"Philosophy"},{"key":"13_CR19","first-page":"285","volume-title":"Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman, edited by","author":"S. Read","year":"2008","unstructured":"Read, S. 2008. \u201cHarmony and Modality.\u201d In Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman, edited by C. D\u00e9gremont, L. Kieff, and H. R\u00fcckert, 285\u2013303. London: College Publications."},{"key":"13_CR20","volume-title":"The Foundations of Mathematics","author":"I. Stewart","year":"1977","unstructured":"Stewart, I., and D. Tall. 1977. The Foundations of Mathematics. Oxford: Oxford University Press."},{"key":"13_CR21","first-page":"152","volume-title":"Logic, Semantics, Metamathematics, edited by","author":"A. Tarski","year":"1956","unstructured":"Tarski, A. 1956. \u201cThe Concept of Truth in Formalized Languages.\u201d In Logic, Semantics, Metamathematics, edited by J. H. Woodger, 152\u2013278. Oxford: Clarendon Press."}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T02:29:00Z","timestamp":1675736940000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-94-007-1923-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,8]]},"ISBN":["9789400719224","9789400719231"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-94-007-1923-1_13","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"}}]}}