{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T22:21:28Z","timestamp":1757542888228,"version":"3.37.3"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"S20","license":[{"start":{"date-parts":[[2019,1,12]],"date-time":"2019-01-12T00:00:00Z","timestamp":1547251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,1,12]],"date-time":"2019-01-12T00:00:00Z","timestamp":1547251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Rothchild Fellowship"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s11229-018-02078-5","type":"journal-article","created":{"date-parts":[[2019,1,12]],"date-time":"2019-01-12T08:45:41Z","timestamp":1547282741000},"page":"4831-4858","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Is there a neutral metalanguage?"],"prefix":"10.1007","volume":"198","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4923-9998","authenticated-orcid":false,"given":"Rea","family":"Golan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,1,12]]},"reference":[{"issue":"3","key":"2078_CR1","doi-asserted-by":"publisher","first-page":"143","DOI":"10.5840\/jphil2013110336","volume":"110","author":"JC Beall","year":"2013","unstructured":"Beall, J. C., & Murzi, J. (2013). Two flavors of Curry\u2019s paradox. The Journal of Philosophy, 110(3), 143\u2013165.","journal-title":"The Journal of Philosophy"},{"key":"2078_CR2","volume-title":"Logical pluralism","author":"JC Beall","year":"2006","unstructured":"Beall, J. C., & Restall, G. (2006). Logical pluralism. Oxford: Oxford University Press."},{"issue":"6","key":"2078_CR3","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1093\/analys\/22.6.130","volume":"22","author":"ND Belnap","year":"1962","unstructured":"Belnap, N. D. (1962). Tonk, plonk and plink. Analysis, 22(6), 130\u2013134.","journal-title":"Analysis"},{"key":"2078_CR4","unstructured":"Blok, W. J., & Pigozzi, D. (2001). Abstract algebraic logic and the deduction theorem. Manuscript. http:\/\/orion.math.iastate.edu:80\/dpigozzi\/."},{"key":"2078_CR5","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199542871.001.0001","volume-title":"Between saying and doing: Towards ananalytic pragmatism","author":"RB Brandom","year":"2008","unstructured":"Brandom, R. B. (2008). Between saying and doing: Towards ananalytic pragmatism. Oxford, NY: Oxford University Press."},{"key":"2078_CR6","volume-title":"Frontiers of combining systems: First international workshop, Munich, March 1996","author":"D Cerro","year":"2013","unstructured":"Cerro, D., Farinas, L., & Herzig, A. (2013). Combining classical and intuitionistic logic, or Intuitionistic implication as a conditional. In F. Baader & K. U. Schulz (Eds.), Frontiers of combining systems: First international workshop, Munich, March 1996 (Vol. 3). Berlin: Springer Science & Business Media."},{"key":"2078_CR7","volume-title":"Proceedings and addresses of the American philosophical association: 183\u2013198","author":"D Davidson","year":"1984","unstructured":"Davidson, D. (1984). On the very idea of a conceptual scheme. In D. Davidson (Ed.), Proceedings and addresses of the American philosophical association: 183\u2013198. Oxford: Oxford University Press."},{"issue":"3","key":"2078_CR8","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1017\/S1755020316000162","volume":"9","author":"B Dicher","year":"2016","unstructured":"Dicher, B. (2016a). Weak Disharmony: Some lessons for proof-theoretic semantics. The Review of Symbolic Logic, 9(3), 583\u2013602.","journal-title":"The Review of Symbolic Logic"},{"issue":"499","key":"2078_CR9","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1093\/mind\/fzv214","volume":"125","author":"B Dicher","year":"2016","unstructured":"Dicher, B. (2016b). A proof-theoretic defence of meaning-invariant logical pluralism. Mind, 125(499), 727\u2013757.","journal-title":"Mind"},{"key":"2078_CR10","doi-asserted-by":"publisher","unstructured":"Dicher, B (2018). Hopeful monsters: A note on multiple conclusions. Erkenntnis. https:\/\/doi.org\/10.1007\/s10670-018-0019-3.","DOI":"10.1007\/s10670-018-0019-3"},{"key":"2078_CR11","volume-title":"Truth and other enigmas","author":"MAE Dummett","year":"1978","unstructured":"Dummett, M. A. E. (1978). Truth and other enigmas. Cambridge, MA: Harvard University Press."},{"key":"2078_CR12","volume-title":"The logical basis of metaphysics","author":"MAE Dummett","year":"1991","unstructured":"Dummett, M. A. E. (1991). The logical basis of metaphysics. Cambridge: Harvard University Press."},{"issue":"02","key":"2078_CR13","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1017\/S1755020309090182","volume":"2","author":"H Field","year":"2009","unstructured":"Field, H. (2009). Pluralism in logic. The Review of Symbolic Logic, 2(02), 342\u2013359.","journal-title":"The Review of Symbolic Logic"},{"issue":"1","key":"2078_CR14","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1023\/A:1024621922509","volume":"74","author":"JM Font","year":"2003","unstructured":"Font, J. M., Jansana, R., & Pigozzi, D. (2003). A survey of abstract algebraic logic. Studia Logica, 74(1), 13\u201397.","journal-title":"Studia Logica"},{"key":"2078_CR15","first-page":"1","volume-title":"Frontiers of combining systems","author":"DM Gabbay","year":"1996","unstructured":"Gabbay, D. M. (1996). An overview of fibred semantics and the combination of logics. In D. M. Gabbay & F. Guenthner (Eds.), Frontiers of combining systems (pp. 1\u201355). Berlin: Springer."},{"key":"2078_CR16","first-page":"110","volume-title":"Large-scale organizational computing requires unstratified reflection and strong paraconsistency","author":"C Hewitt","year":"2008","unstructured":"Hewitt, C. (2008). Large-scale organizational computing requires unstratified reflection and strong paraconsistency (pp. 110\u2013124). Berlin: Springer."},{"key":"2078_CR17","unstructured":"Hjortland, O. T. (2012). Harmony and the context of deducibility. In C. D. Novaes & O. Hjortland (Eds.), Insolubles and consequences: Essays in honour of Stephen Read. New York: College Publications."},{"issue":"2","key":"2078_CR18","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1080\/00048402.2011.648945","volume":"91","author":"OT Hjortland","year":"2013","unstructured":"Hjortland, O. T. (2013). Logical pluralism, meaning-variance, and verbal disputes. Australasian Journal of Philosophy, 91(2), 355\u2013373.","journal-title":"Australasian Journal of Philosophy"},{"key":"2078_CR19","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The Connectives","author":"L Humberstone","year":"2011","unstructured":"Humberstone, L. (2011). The Connectives. Cambridge, MA: MIT Press."},{"issue":"12","key":"2078_CR20","doi-asserted-by":"publisher","first-page":"150","DOI":"10.2307\/2267778","volume":"3","author":"SC Kleene","year":"1938","unstructured":"Kleene, S. C. (1938). On notation for ordinal numbers. The Journal of Symbolic Logic, 3(12), 150\u2013155.","journal-title":"The Journal of Symbolic Logic"},{"key":"2078_CR21","first-page":"25","volume-title":"Proofs and the Meaning and completeness of the logical constants","author":"D Prawitz","year":"1979","unstructured":"Prawitz, D. (1979). Proofs and the Meaning and completeness of the logical constants (pp. 25\u201340). Dordrecht: Springer."},{"issue":"1","key":"2078_CR22","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G Priest","year":"1979","unstructured":"Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8(1), 219\u2013241.","journal-title":"Journal of Philosophical Logic"},{"issue":"3","key":"2078_CR23","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1023\/A:1025123418085","volume":"74","author":"G Priest","year":"2003","unstructured":"Priest, G. (2003). On alternative geometries, arithmetics, and logics: A tribute to Lukasiewicz. Studia Logica, 74(3), 441\u2013468.","journal-title":"Studia Logica"},{"key":"2078_CR24","volume-title":"Doubt truth to be a liar","author":"G Priest","year":"2006","unstructured":"Priest, G. (2006). Doubt truth to be a liar. Oxford: Oxford University Press."},{"issue":"2","key":"2078_CR25","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1093\/analys\/21.2.38","volume":"21","author":"A Prior","year":"1960","unstructured":"Prior, A. (1960). The Runabout inference ticket. Analysis, 21(2), 38\u20139.","journal-title":"Analysis"},{"key":"2078_CR26","doi-asserted-by":"crossref","DOI":"10.4159\/9780674042445","volume-title":"Philosophy of logic","author":"WV Quine","year":"1986","unstructured":"Quine, W. V. (1986). Philosophy of logic. Harvard: Harvard University Press."},{"key":"2078_CR27","volume-title":"An algebraic approach to non-classical logics. Studies in logic and the foundations of mathematics","author":"H Rasiowa","year":"1974","unstructured":"Rasiowa, H. (1974). An algebraic approach to non-classical logics. Studies in logic and the foundations of mathematics (1st ed., Vol. 78). Amsterdam: North-Holland Publishing Company.","edition":"1"},{"issue":"3","key":"2078_CR28","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/BF01048482","volume":"23","author":"S Read","year":"1994","unstructured":"Read, S. (1994). Formal and material consequence. Journal of Philosophical Logic, 23(3), 247\u2013265.","journal-title":"Journal of Philosophical Logic"},{"issue":"2","key":"2078_CR29","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1023\/A:1004787622057","volume":"29","author":"S Read","year":"2000","unstructured":"Read, S. (2000). Harmony and autonomy in classical logic. Journal of Philosophical Logic, 29(2), 123\u201354.","journal-title":"Journal of Philosophical Logic"},{"key":"2078_CR30","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/1-4020-4054-7_10","volume-title":"A logical approach to philosophy","author":"S Read","year":"2006","unstructured":"Read, S. (2006). Monism: The one true logic. In D. de Vidi & T. Kenyon (Eds.), A logical approach to philosophy (pp. 193\u2013209). Berlin: Springer."},{"issue":"5","key":"2078_CR31","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1007\/s10992-010-9133-7","volume":"39","author":"S Read","year":"2010","unstructured":"Read, S. (2010). General-elimination harmony and the meaning of the logical constants. Journal of Philosophical Logic, 39(5), 557\u2013576.","journal-title":"Journal of Philosophical Logic"},{"key":"2078_CR32","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s10670-013-9477-9","volume":"79","author":"G Restall","year":"2014","unstructured":"Restall, G. (2014). Pluralism and proofs. Erkenntnis, 79, 279\u2013291.","journal-title":"Erkenntnis"},{"key":"2078_CR33","doi-asserted-by":"publisher","DOI":"10.4324\/9780203875308","volume-title":"Collected essays 1929\u20131968: Collected papers","author":"G Ryle","year":"2009","unstructured":"Ryle, G. (2009). Collected essays 1929\u20131968: Collected papers (Vol. 2). Abingdon: Routledge."},{"key":"2078_CR34","first-page":"526","volume-title":"Varieties of pluralism and relativism for logic","author":"S Shapiro","year":"2011","unstructured":"Shapiro, S. (2011). Varieties of pluralism and relativism for logic (pp. 526\u2013552). London: Wiley."},{"key":"2078_CR35","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199696529.001.0001","volume-title":"Varieties of logic","author":"S Shapiro","year":"2014","unstructured":"Shapiro, S. (2014). Varieties of logic. Oxford: Oxford University Press."},{"key":"2078_CR36","volume-title":"The bounds of logic: A generalized viewpoint","author":"G Sher","year":"1991","unstructured":"Sher, G. (1991). The bounds of logic: A generalized viewpoint. Cambridge: MIT Press."},{"key":"2078_CR37","volume-title":"Introduction to logic and to the methodology of deductive sciences","author":"A Tarski","year":"1946","unstructured":"Tarski, A. (1946). Introduction to logic and to the methodology of deductive sciences. Mineola: Dover Publications."},{"issue":"3","key":"2078_CR38","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1080\/00048402.2015.1093010","volume":"94","author":"Z Weber","year":"2016","unstructured":"Weber, Z., Badia, G., & Girard, P. (2016). What is an inconsistent truth table? Australasian Journal of Philosophy, 94(3), 533\u2013548.","journal-title":"Australasian Journal of Philosophy"},{"issue":"2","key":"2078_CR39","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s10670-013-9474-z","volume":"79","author":"T Williamson","year":"2014","unstructured":"Williamson, T. (2014). Logic, metalogic and neutrality. Erkenntnis, 79(2), 211\u2013231.","journal-title":"Erkenntnis"}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-02078-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11229-018-02078-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-018-02078-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,14]],"date-time":"2024-07-14T00:52:34Z","timestamp":1720918354000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11229-018-02078-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,12]]},"references-count":39,"journal-issue":{"issue":"S20","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["2078"],"URL":"https:\/\/doi.org\/10.1007\/s11229-018-02078-5","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2019,1,12]]},"assertion":[{"value":"25 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 December 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"12 January 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}