{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T12:14:52Z","timestamp":1778069692090,"version":"3.51.4"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T00:00:00Z","timestamp":1773100800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T00:00:00Z","timestamp":1773100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003500","name":"Universit\u00e0 degli Studi di Padova","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003500","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[2026,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Logic is often considered neutral, imposing no significant constraints on the world. In this paper, we explore how this purported neutrality can be understood, focusing on a proposal originally sketched by Jc Beall for another purpose. Accordingly, suggesting that logic should be viewed as a tool for theory building, we argue that mere theory closure can be interpreted as a hallmark of logic\u2019s neutrality. The proposal can be connected with a sharp distinction between validity and truth and approached through a metalinguistic framework. We then discuss some complications and possible objections to the account, which gives us the opportunity to further deepen our treatment and connect the proposal with some important issues in the philosophy of logic. In particular, we consider the role of the deduction theorem and the relationship between entailment and implication. We conclude that once correctly interpreted, logic\u2019s neutrality can indeed be understood in terms of theory closure.<\/jats:p>","DOI":"10.1007\/s10992-026-09828-8","type":"journal-article","created":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T13:03:37Z","timestamp":1773147817000},"page":"217-237","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On the Relationship Between Logic\u2019s Neutrality and Theory Closure"],"prefix":"10.1007","volume":"55","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3509-1585","authenticated-orcid":false,"given":"Massimiliano","family":"Carrara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Strollo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,3,10]]},"reference":[{"key":"9828_CR1","unstructured":"Carrara, M., & Strollo, A. (forthcoming). Logic and Neutrality. In F. Ferrari, E. Brendel, M. Carrara, O. Hjortland, G. Sagi, G. Sher (Eds.) Handbook of Philosophy of Logic. Oxford University Press."},{"key":"9828_CR2","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199552078.001.0001","volume-title":"Modal Logic as Metaphysics","author":"T Williamson","year":"2013","unstructured":"Williamson, T. (2013a). Modal Logic as Metaphysics. Oxford University Press."},{"issue":"2","key":"9828_CR3","first-page":"211","volume":"79","author":"T Williamson","year":"2013","unstructured":"Williamson, T. (2013b). Logic, metalogic and neutrality. Erkenntnis, 79(2), 211\u2013231.","journal-title":"Erkenntnis"},{"key":"9828_CR4","doi-asserted-by":"crossref","unstructured":"Varzi, A. C. (2014). Logic, ontologic\u2019s neutrality, and the law of non-contradiction. In E. Ficara (Ed.) Contradictions: Logic, history, actuality. De Gruyter, pp. 53\u201380.","DOI":"10.1515\/9783110340822.53"},{"key":"9828_CR5","volume-title":"Philosophy of Logic","author":"WVO Quine","year":"1970","unstructured":"Quine, W. V. O. (1970). Philosophy of Logic. Cambridge University Press."},{"key":"9828_CR6","doi-asserted-by":"crossref","unstructured":"Williamson, T. (2017). Semantic paradoxes and abductive methodology. In B. P. Armour-Garb (ed.) Reflections on the Liar. Oxford University, pp. 325\u201346.","DOI":"10.1093\/oso\/9780199896042.003.0013"},{"issue":"3\u20134","key":"9828_CR7","doi-asserted-by":"publisher","first-page":"6429","DOI":"10.1007\/s11229-021-03076-w","volume":"199","author":"M Rossberg","year":"2021","unstructured":"Rossberg, M., & Shapiro, S. (2021). Logic and science: Science and logic. Synthese, 199(3\u20134), 6429\u20136454.","journal-title":"Synthese"},{"issue":"3","key":"9828_CR8","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1007\/s11098-016-0701-8","volume":"174","author":"OT Hjortland","year":"2017","unstructured":"Hjortland, O. T. (2017). Anti-exceptionalism about logic. Philosophical Studies, 174(3), 631\u2013658.","journal-title":"Philosophical Studies"},{"issue":"8","key":"9828_CR9","doi-asserted-by":"publisher","DOI":"10.1111\/phc3.13014","volume":"19","author":"B Martin","year":"2024","unstructured":"Martin, B., & Hjortland, O. T. (2024). Anti-exceptionalism about logic (Part I): From naturalism to anti-exceptionalism. Philosophy Compass, 19(8), Article e13014.","journal-title":"Philosophy Compass"},{"key":"9828_CR10","doi-asserted-by":"publisher","unstructured":"Carrara, M., & Strollo, A. (2025). On the non-substantiality of logic: A case study. Synthese, 205, 15. https:\/\/doi.org\/10.1007\/S11229-024-04846-Y","DOI":"10.1007\/S11229-024-04846-Y"},{"key":"9828_CR11","unstructured":"MacFarlane, J. (2000). What does it mean to say that logic is formal? Dissertation, University of Pittsburgh."},{"key":"9828_CR12","unstructured":"Sher, G. (forthcoming). Logical structuralism. In F. Ferrari, E. Brendel, M. Carrara, O. Hjortland, G. Sagi, & G. Sher (Eds.) Handbook of Philosophy of Logic. Oxford University Press."},{"issue":"1","key":"9828_CR13","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1111\/phis.12133","volume":"28","author":"Jc Beall","year":"2018","unstructured":"Beall, Jc. (2018). The simple argument for subclassical logic. Philosophical Issues, 28(1), 30\u201354.","journal-title":"Philosophical Issues"},{"issue":"7","key":"9828_CR14","doi-asserted-by":"publisher","first-page":"202","DOI":"10.26686\/ajl.v16i7.5915","volume":"16","author":"Jc Beall","year":"2019","unstructured":"Beall, Jc. (2019). On williamson\u2019s new Quinean argument against nonclassical logic. Australasian Journal of Logic, 16(7), 202\u2013230.","journal-title":"Australasian Journal of Logic"},{"key":"9828_CR15","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1080\/01445348608837096","volume":"7","author":"A Tarski","year":"1986","unstructured":"Tarski, A. (1986). What are logical notions? History and Philosophy of Logic, 7, 143\u2013154. (Transcript of a 1966 talk, ed. by J. Corcoran.).","journal-title":"History and Philosophy of Logic"},{"key":"9828_CR16","doi-asserted-by":"publisher","first-page":"345","DOI":"10.2307\/2371821","volume":"68","author":"FI Mautner","year":"1946","unstructured":"Mautner, F. I. (1946). An extension of Klein\u2019s Erlanger program: Logic as invariant-theory. American Journal of Mathematics, 68, 345\u2013384.","journal-title":"American Journal of Mathematics"},{"key":"9828_CR17","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. MIT Press."},{"key":"9828_CR18","doi-asserted-by":"publisher","first-page":"653","DOI":"10.2307\/2275681","volume":"61","author":"G Sher","year":"1996","unstructured":"Sher, G. (1996). Did Tarski Commit \u2018Tarski\u2019s Fallacy\u2019? Journal of Symbolic Logic, 61, 653\u2013686.","journal-title":"Journal of Symbolic Logic"},{"key":"9828_CR19","doi-asserted-by":"crossref","unstructured":"Gentzen, G. (1934). Untersuchungen uber das logische Schliessen. Math. Zeitschrift, 39:405\u2013431. Translated in The Collected Papers of Gerhard Gentzen, ed. by M. E. Szabo. North Holland, 1969.","DOI":"10.1007\/BF01201363"},{"key":"9828_CR20","volume-title":"The logical basis of metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M. (1991). The logical basis of metaphysics. Harvard University Press."},{"key":"9828_CR21","doi-asserted-by":"crossref","unstructured":"Brandom, R. B. (2000). Articulating Reason: An Introduction to Inferentialism. Harvard University Press.","DOI":"10.4159\/9780674028739"},{"issue":"2","key":"9828_CR22","first-page":"221","volume":"66","author":"P Boghossian","year":"2012","unstructured":"Boghossian, P. (2012). Inferentialism and the Epistemology of Logic. Reflections on Casalegno and Williamson. Dialectica, 66(2), 221\u2013236.","journal-title":"Reflections on Casalegno and Williamson. Dialectica"},{"key":"9828_CR23","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF00660889","volume":"27","author":"D Prawitz","year":"1974","unstructured":"Prawitz, D. (1974). On the idea of a general proof theory. Synthese, 27, 73\u201377.","journal-title":"Synthese"},{"key":"9828_CR24","first-page":"223","volume":"227","author":"J Murzi","year":"2014","unstructured":"Murzi, J., & Carrara, M. (2014). More reflections on logical consequence. Logique Et Analyse, 227, 223\u2013258.","journal-title":"Logique Et Analyse"},{"key":"9828_CR25","unstructured":"Speitel, S. (forthcoming). Logical constants. In F. Ferrari, E. Brendel, M. Carrara, O. Hjortland, G. Sagi, & G. Sher (Eds.) Handbook of Philosophy of Logic. Oxford University Press."},{"key":"9828_CR26","first-page":"115","volume":"35","author":"WJ Blok","year":"2001","unstructured":"Blok, W. J., & Pigozzi, D. (2001). Abstract algebraic logic and the deduction theorem. Reports on Mathematical Logic, 35, 115\u2013165.","journal-title":"Reports on Mathematical Logic"},{"issue":"1\u20132","key":"9828_CR27","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\u20132), 13\u201397.","journal-title":"Studia Logica"},{"key":"9828_CR28","doi-asserted-by":"publisher","unstructured":"French, R. (2016). Structural reflexivity and the paradoxes of self-reference. Ergo: An\u00a0Open Access Journal of Philosophy, 3(05). https:\/\/doi.org\/10.3998\/Ergo.12405314.0003.005","DOI":"10.3998\/Ergo.12405314.0003.005"},{"key":"9828_CR29","unstructured":"Williamson T. (forthcoming). Is logic about validity? In F. Ferrari, E. Brendel, M. Carrara, O. Hjortland, G. Sagi, & G. Sher (Eds.) The Oxford Handbook of the Philosophy of Logic. Oxford University Press."},{"key":"9828_CR30","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199273669.001.0001","volume-title":"Second Philosophy","author":"P Maddy","year":"2007","unstructured":"Maddy, P. (2007). Second Philosophy. Oxford University Press."},{"issue":"2","key":"9828_CR31","doi-asserted-by":"publisher","first-page":"61","DOI":"10.2307\/3218629","volume":"76","author":"P Maddy","year":"2002","unstructured":"Maddy, P. (2002). A naturalistic look at logic. Proceedings and Addresses of the American Philosophical Association, 76(2), 61\u201390.","journal-title":"Proceedings and Addresses of the American Philosophical Association"},{"issue":"1","key":"9828_CR32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s11229-022-03547-8","volume":"200","author":"L Shapiro","year":"2022","unstructured":"Shapiro, L. (2022). What is logical deflationism? Two non-metalinguistic conceptions of logic. Synthese, 200(1), 1\u201328.","journal-title":"Synthese"},{"key":"9828_CR33","first-page":"347","volume":"236","author":"G Priest","year":"2016","unstructured":"Priest, G. (2016). Logical disputes and the a priori. Logique Et Analyse, 236, 347\u2013366.","journal-title":"Logique Et Analyse"},{"key":"9828_CR34","doi-asserted-by":"publisher","unstructured":"Priest, G. (2024). Reflections on Williamson on logic and validity. Problemos 9\u201319.\u00a0https:\/\/doi.org\/10.15388\/Problemos.Priedas.24.1","DOI":"10.15388\/Problemos.Priedas.24.1"},{"key":"9828_CR35","volume-title":"Introduction to Mathematical Philosophy","author":"B Russell","year":"1920","unstructured":"Russell, B. (1920). Introduction to Mathematical Philosophy. Macmillan."},{"issue":"243","key":"9828_CR36","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1111\/j.1467-9213.2010.678.x","volume":"61","author":"L Shapiro","year":"2011","unstructured":"Shapiro, L. (2011). Deflating logical consequence. Philosophical Quarterly, 61(243), 320\u2013342.","journal-title":"Philosophical Quarterly"},{"key":"9828_CR37","doi-asserted-by":"publisher","unstructured":"Horsten, L., & Zicchetti, M. (2021). Truth, reflection, and commitment. In C. Nicolai, & J. Stern (Eds.) Modes of truth: The unified approach to truth, modality, and paradox. Routledge (pp. 69\u201387).\u00a0https:\/\/doi.org\/10.4324\/9780429030208-4","DOI":"10.4324\/9780429030208-4"},{"key":"9828_CR38","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1305\/ndjfl\/1093635154","volume":"30","author":"K Do\u0161en","year":"1989","unstructured":"Do\u0161en, K. (1989). Logical constants as punctuation marks. Notre Dame Journal of Formal Logic, 30, 362\u2013381.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9828_CR39","doi-asserted-by":"crossref","unstructured":"Hlobil, U., & Brandom, R. (2024). Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles. Taylor and Francis.","DOI":"10.4324\/9781003330141"},{"key":"9828_CR40","unstructured":"Anderson, A. R., & Belnap, N. D. (1975). Entailment: The Logic of Relevance and Necessity, Vol. I. Princeton University Press."},{"key":"9828_CR41","unstructured":"Carnap, R. (1937). Logische Syntax der Sprache, tr. by A. Smeaton as The Logical Syntax of Language. Routledge."},{"key":"9828_CR42","unstructured":"Quine, W. V. (1976). Three grades of modal involvement. In W. V. O. Quine (Ed.), The ways of paradox, and other essays\u00a0(pp. 158\u2013176). Cambridge: Harvard University Press."},{"issue":"526","key":"9828_CR43","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1093\/mind\/fzac026","volume":"132","author":"A Iacona","year":"2023","unstructured":"Iacona, A. (2023). Valid arguments as true conditionals. Mind, 132(526), 428\u2013451.","journal-title":"Mind"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-026-09828-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-026-09828-8","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-026-09828-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T11:35:19Z","timestamp":1778067319000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-026-09828-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,10]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["9828"],"URL":"https:\/\/doi.org\/10.1007\/s10992-026-09828-8","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,10]]},"assertion":[{"value":"1 May 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 January 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 March 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"Not applicable.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}