{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,5]],"date-time":"2024-08-05T23:53:57Z","timestamp":1722902037307},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T00:00:00Z","timestamp":1444262400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1007\/s11229-015-0932-9","type":"journal-article","created":{"date-parts":[[2015,10,8]],"date-time":"2015-10-08T05:49:52Z","timestamp":1444283392000},"page":"3483-3495","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Prior\u2019s tonk, notions of logic, and levels of inconsistency: vindicating the pluralistic unity of science in the light of categorical logical positivism"],"prefix":"10.1007","volume":"193","author":[{"given":"Yoshihiro","family":"Maruyama","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,8]]},"reference":[{"key":"932_CR1","first-page":"261","volume-title":"Handbook of quantum logic and quantum structures","author":"S Abramsky","year":"2008","unstructured":"Abramsky, S., & Coecke, B. (2008). Categorical quantum mechanics. In K. Engesser, D. M. Gabbay, & D. Lehmann (Eds.), Handbook of quantum logic and quantum structures (pp. 261\u2013324). Amsterdam: Elsevier."},{"key":"932_CR2","unstructured":"Abramsky, S., & Tzevelekos, N. (2011). Introduction to categories and categorical logic. In B. Coecke (Ed.), New structures for physics (pp. 3\u201394). Springer."},{"key":"932_CR3","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1093\/analys\/22.6.130","volume":"22","author":"N Belnap","year":"1962","unstructured":"Belnap, N. (1962). Tonk, plonk and plink. Analysis, 22, 130\u2013134.","journal-title":"Analysis"},{"key":"932_CR4","doi-asserted-by":"crossref","DOI":"10.4159\/9780674028739","volume-title":"Articulating reasons: An introduction to inferentialism","author":"R Brandom","year":"2000","unstructured":"Brandom, R. (2000). Articulating reasons: An introduction to inferentialism. Cambridge: HUP."},{"key":"932_CR5","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/s10992-004-7805-x","volume":"34","author":"RT Cook","year":"2005","unstructured":"Cook, R. T. (2005). What\u2019s wrong with tonk (?). The Journal of Philosophical Logic, 34, 217\u2013226.","journal-title":"The Journal of Philosophical Logic"},{"key":"932_CR6","volume-title":"The logical basis of metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M. (1991). The logical basis of metaphysics. Cambridge: Harvard University Press."},{"key":"932_CR7","volume-title":"A parting of the ways","author":"M Friedman","year":"2000","unstructured":"Friedman, M. (2000). A parting of the ways. Peru: Open Court Publishing."},{"key":"932_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511629150","volume-title":"Advances in linear logic","author":"J-Y Girard","year":"1995","unstructured":"Girard, J.-Y. (1995). Linear logic. In J.-Y. Girard, Y. Lafont, & L. Regnier (Eds.), Advances in linear logic. London: CUP."},{"key":"932_CR9","volume-title":"Proofs and types","author":"J-Y Girard","year":"1989","unstructured":"Girard, J.-Y., Lafont, Y., & Taylor, P. (1989). Proofs and types. Cambridge: CUP."},{"key":"932_CR10","unstructured":"Ladyman, J. (2014). Structural realism. In E. N. Zalta, (Ed.), Stanford encyclopedia of philosophy. Stanford: Stanford University."},{"key":"932_CR11","volume-title":"Introduction to higher-order categorical logic","author":"J Lambek","year":"1986","unstructured":"Lambek, J., & Scott, P. (1986). Introduction to higher-order categorical logic. Cambridge: CUP."},{"key":"932_CR12","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1111\/j.1746-8361.1969.tb01194.x","volume":"23","author":"FW Lawvere","year":"1969","unstructured":"Lawvere, F. W. (1969). Adjointness in foundations. Dialectica, 23, 281\u2013296.","journal-title":"Dialectica"},{"key":"932_CR13","doi-asserted-by":"crossref","unstructured":"Maruyama, Y. (forthcoming). Categorical harmony and paradoxes in proof-theoretic semantics. In P. Schroeder-Heister, & T. Piecha (Eds.), Advances in proof theoretic semantics. Trends in logic. Berlin: Springer. http:\/\/www.springer.com\/us\/book\/9783319226859 .","DOI":"10.1007\/978-3-319-22686-6_6"},{"key":"932_CR14","unstructured":"Miller, A. (2014). Realism. In E. N. Zalta (Ed.), Stanford encyclopedia of philosophy. Stanford: Stanford University."},{"key":"932_CR15","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-94-017-0460-1_4","volume-title":"Handbook of philosophical logic","author":"G Priest","year":"2002","unstructured":"Priest, G. (2002). Paraconsistent logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic (Vol. 6, pp. 287\u2013393). Oxford: Oxford University Press."},{"key":"932_CR16","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1093\/analys\/21.2.38","volume":"21","author":"AN Prior","year":"1960","unstructured":"Prior, A. N. (1960). The Runabout inference-ticket. Analysis, 21, 38\u201339.","journal-title":"Analysis"},{"key":"932_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s11245-012-9119-x","volume":"31","author":"P Schroeder-Heister","year":"2012","unstructured":"Schroeder-Heister, P. (2012). Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning. Topoi, 31, 77\u201385.","journal-title":"Topoi"},{"key":"932_CR18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0003-4843(74)90010-2","volume":"7","author":"J Zucker","year":"1974","unstructured":"Zucker, J. (1974). The Correspondence between cut-elimination and normalization. Annals of Mathematical Logic, 7, 1\u2013112.","journal-title":"Annals of Mathematical Logic"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0932-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-015-0932-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0932-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-015-0932-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,22]],"date-time":"2022-05-22T20:59:58Z","timestamp":1653253198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-015-0932-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,8]]},"references-count":18,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2016,11]]}},"alternative-id":["932"],"URL":"https:\/\/doi.org\/10.1007\/s11229-015-0932-9","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"value":"0039-7857","type":"print"},{"value":"1573-0964","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,8]]}}}