{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T12:49:49Z","timestamp":1775825389802,"version":"3.50.1"},"reference-count":74,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,7,18]],"date-time":"2025-07-18T00:00:00Z","timestamp":1752796800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,7,18]],"date-time":"2025-07-18T00:00:00Z","timestamp":1752796800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100005722","name":"Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100005722","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":[[2025,8]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>Logical inferentialists hold that the meaning of logical operators is given by their rules of inference. Arthur Prior cast doubt on this by introducing rules for his tonk operator that would allow for the derivation of any sentence whatsoever from any sentence whatsoever. The obvious inferentialist reply was to require some constraints on the defining rules, such as conservativeness (Belnap) or harmony (Dummett). In this paper, I will defend and investigate a different constraint: rules define a classical logical operator just in case they translate into an explicit definition in pure classical second-order logic. The right-hand side of this criterion will be found (i) to be philosophically principled in taking the idea of rules as definitions perfectly seriously, (ii) to explain how the semantic meaning of the operators can be determined from their rules, (iii) to be local in a similar sense as harmony, (iv) to validate the intuitionistic natural deduction rules and the intuitionistic\/classical sequent calculus rules as defining the classical propositional operators while ruling out Prior\u2019s rules for tonk, (v) to make clear why already the intuitionistic natural deduction rules define the classical meaning of logical operators so long as metavariables are interpreted as expressing classical propositions, (vi) to validate the classical natural deduction rules as analytic, (vii) to entail consistency, and, in the case of propositional operators (not quantifiers), (viii) to be decidable and (ix) to determine precisely those operators to be definable by rules that correspond to truth-functions.<\/jats:p>","DOI":"10.1007\/s10992-025-09806-6","type":"journal-article","created":{"date-parts":[[2025,7,18]],"date-time":"2025-07-18T04:13:27Z","timestamp":1752812007000},"page":"857-899","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["When Rules Define Logical Operators: Rules as Second-Order Definitions"],"prefix":"10.1007","volume":"54","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8276-149X","authenticated-orcid":false,"given":"Hannes","family":"Leitgeb","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,7,18]]},"reference":[{"key":"9806_CR1","volume-title":"Solvable Cases of the Decision Problem","author":"W Ackermann","year":"1968","unstructured":"Ackermann, W. (1968). Solvable Cases of the Decision Problem. Amsterdam: North-Holland."},{"key":"9806_CR2","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BF01457985","volume":"86","author":"H Behmann","year":"1922","unstructured":"Behmann, H. (1922). Beitr\u00e4ge zur Algebra der Logik, inbesondere zum Entscheidungsproblem. Mathematische Annalen, 86, 163\u2013229.","journal-title":"Mathematische Annalen"},{"key":"9806_CR3","volume-title":"A Course in Mathematical Logic","author":"J Bell","year":"1997","unstructured":"Bell, J., & Machover, M. (1997). A Course in Mathematical Logic. Fourth Impression, Amsterdam: Elsevier."},{"key":"9806_CR4","doi-asserted-by":"crossref","unstructured":"Belnap, N. D. (1962). Tonk, Plonk and Plink. Analysis, 22\/6, 130\u20134.","DOI":"10.1093\/analys\/22.6.130"},{"key":"9806_CR5","volume-title":"The Logical Writing of Karl Popper","year":"2022","unstructured":"Binder, D., Piecha, T., & Schroeder-Heister, P. (Eds.). (2022). The Logical Writing of Karl Popper. Cham: Springer."},{"key":"9806_CR6","doi-asserted-by":"crossref","unstructured":"Bonnay, D., Speitel, S. (2021). The Ways of Logicality: Invariance and Categoricity. In: G. Sagi and J. Woods (eds), The Semantic Conception of Logic. Essays on Consequence, Invariance, and Meaning, Cambridge: Cambridge University Press, 55\u201379.","DOI":"10.1017\/9781108524919.004"},{"issue":"4","key":"9806_CR7","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1007\/s10670-015-9764-8","volume":"81","author":"D Bonnay","year":"2016","unstructured":"Bonnay, D., & Westerst\u00e5hl, D. (2016). Compositionality Solves Carnap\u2019s Problem. Erkenntnis, 81(4), 721\u201339.","journal-title":"Erkenntnis"},{"key":"9806_CR8","volume-title":"Making it Explicit","author":"R Brandom","year":"1994","unstructured":"Brandom, R. (1994). Making it Explicit. Cambridge, Mass.: Harvard University Press."},{"key":"9806_CR9","doi-asserted-by":"publisher","DOI":"10.4159\/9780674028739","volume-title":"Articulating Reasons","author":"R Brandom","year":"2000","unstructured":"Brandom, R. (2000). Articulating Reasons. Cambridge, Mass.: Harvard University Press."},{"issue":"1","key":"9806_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1111\/phis.12116","volume":"28","author":"R Brandom","year":"2018","unstructured":"Brandom, R. (2018). From logical expressivism to expressivist logic: Sketch of a program and some implementations. Philosophical Issues, 28(1), 70\u201388.","journal-title":"Philosophical Issues"},{"key":"9806_CR11","volume-title":"(1934\/1937) Logische Syntax der Sprache, Vienna: Springer","author":"R Carnap","year":"1937","unstructured":"Carnap, R. (1937). (1934\/1937) Logische Syntax der Sprache, Vienna: Springer. Translated by Amethe Smeaton as The Logical Syntax of Language, London: Routledge."},{"key":"9806_CR12","first-page":"151","volume":"31","author":"R Carnap","year":"1959","unstructured":"Carnap, R. (1959). Theoretical Concepts in Science\u2019\u2019 (edited by Stathis Psillos). Studies in History and Philosophy of Science, 31, 151\u201372.","journal-title":"Studies in History and Philosophy of Science"},{"key":"9806_CR13","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198571001.001.0001","volume-title":"Mathematical Logic","author":"I Chiswell","year":"2007","unstructured":"Chiswell, I., & Hodges, W. (2007). Mathematical Logic. Oxford: Oxford University Press."},{"issue":"2","key":"9806_CR14","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/s10992-004-7805-x","volume":"34","author":"RT Cook","year":"2005","unstructured":"Cook, R. T. (2005). What wrong with tonk(?). Journal of Philosophical Logic, 34(2), 217\u201326.","journal-title":"Journal of Philosophical Logic"},{"key":"9806_CR15","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1007\/s10992-024-09774-3","volume":"53","author":"M De Benedetto","year":"2024","unstructured":"De Benedetto, M., & La Rosa, E. (2024). Patches, patchworks, and epsilon terms: A Neo-Carnapian account of theoretical terms in science. Journal of Philosophical Logic, 53, 1495\u2013517.","journal-title":"Journal of Philosophical Logic"},{"key":"9806_CR16","volume-title":"The Logical Basis of Metaphysics","author":"M Dummett","year":"1991","unstructured":"Dummett, M. (1991). The Logical Basis of Metaphysics. Cambridge, Mass.: Harvard University Press."},{"key":"9806_CR17","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-319-18362-6_2","volume-title":"Quantifiers, Quantifiers, and Quantifiers: Themes in Logic","author":"S Feferman","year":"2015","unstructured":"Feferman, S. (2015). Which quantifiers are logical? A combined semantical and inferential criterion. In A. Torza (Ed.), Quantifiers, Quantifiers, and Quantifiers: Themes in Logic (pp. 19\u201331). Metaphysics and Language, Cham: Springer."},{"key":"9806_CR18","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/s11225-009-9186-1","volume":"92","author":"F Ferreira","year":"2009","unstructured":"Ferreira, F., & Ferreira, G. (2009). Commuting conversions vs. the standard conversions of the \u2018Good\u2019 connectives. Studia Logica, 92, 62\u201384.","journal-title":"Studia Logica"},{"key":"9806_CR19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139856461","volume-title":"What Logics Mean","author":"JW Garson","year":"2013","unstructured":"Garson, J. W. (2013). What Logics Mean. From Proof Theory to Model-Theoretic Semantics, Cambridge: Cambridge University Press."},{"key":"9806_CR20","doi-asserted-by":"crossref","unstructured":"Gentzen, G. (1934\/1935). Untersuchungen \u00fcber das logische Schlie\u00dfen. I. Mathematische Zeitschrift, 39, 176\u2013210, 405\u201331.","DOI":"10.1007\/BF01201353"},{"key":"9806_CR21","unstructured":"Gupta, A. (2021). \u201cDefinitions\u201d, The Stanford Encyclopedia of Philosophy (Winter 2021 Edition), E. N. Zalta (ed.), https:\/\/plato.stanford.edu\/archives\/win2021\/entries\/definitions\/"},{"key":"9806_CR22","volume-title":"The Logic Manual","author":"V Halbach","year":"2015","unstructured":"Halbach, V. (2015). The Logic Manual. Oxford: Oxford University Press."},{"key":"9806_CR23","doi-asserted-by":"crossref","unstructured":"Harris, J. H. (1982). What\u2019s so logical about the \u201clogical\u201d axioms? Studia Logica, 41(2\u20133), 159\u201371.","DOI":"10.1007\/BF00370342"},{"key":"9806_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0095612","volume-title":"Cylindric Set Algebras","author":"L Henkin","year":"1981","unstructured":"Henkin, L., Tarski, A., N\u00e9meti, I., Monk, J. D., & Andr\u00e9ka, H. (1981). Cylindric Set Algebras. Berlin: Springer."},{"key":"9806_CR25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86894-8","volume-title":"Grundlagen der Mathematik I","author":"D Hilbert","year":"1968","unstructured":"Hilbert, D., & Bernays, P. (1968). Grundlagen der Mathematik I (2nd ed.). Berlin: Springer.","edition":"2"},{"key":"9806_CR26","doi-asserted-by":"publisher","DOI":"10.4324\/9781003330141","volume-title":"Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles","author":"H Hlobil","year":"2024","unstructured":"Hlobil, H., & Brandom, R. (2024). Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles. London: Routledge."},{"key":"9806_CR27","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, Mass.: The MIT Press."},{"key":"9806_CR28","volume-title":"Reasoning with Attitude","author":"L Incurvati","year":"2023","unstructured":"Incurvati, L., & Schl\u00f6der, J. J. (2023). Reasoning with Attitude. Foundations and Applications of Inferential Expressivism, Oxford: Oxford University Press."},{"key":"9806_CR29","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/s11225-016-9692-x","volume":"105","author":"B Jacinto","year":"2017","unstructured":"Jacinto, B., & Read, S. (2017). General-Elimination Stability. Studia Logica, 105, 361\u2013405.","journal-title":"Studia Logica"},{"key":"9806_CR30","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609206","volume-title":"A Structuralist Theory of Logic","author":"A Koslow","year":"1992","unstructured":"Koslow, A. (1992). A Structuralist Theory of Logic. Cambridge: Cambridge University Press."},{"issue":"3","key":"9806_CR31","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1017\/S1755020321000599","volume":"16","author":"H Leitgeb","year":"2023","unstructured":"Leitgeb, H. (2023). Ramsification and Semantic Indeterminacy. Review of Symbolic Logic, 16(3), 900\u201350.","journal-title":"Review of Symbolic Logic"},{"issue":"1","key":"9806_CR32","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1017\/bsl.2024.28","volume":"31","author":"H Leitgeb","year":"2025","unstructured":"Leitgeb, H., Zalta, E. N., & Nodelman, U. (2025). A Defense of Logicism. The Bulletin of Symbolic Logic, 31(1), 88\u2013152.","journal-title":"The Bulletin of Symbolic Logic"},{"issue":"13","key":"9806_CR33","doi-asserted-by":"publisher","first-page":"427","DOI":"10.2307\/2023861","volume":"67","author":"D Lewis","year":"1970","unstructured":"Lewis, D. (1970). How to define theoretical terms. The Journal of Philosophy, 67(13), 427\u201346.","journal-title":"The Journal of Philosophy"},{"issue":"4","key":"9806_CR34","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/BF01458217","volume":"76","author":"L L\u00f6wenheim","year":"1915","unstructured":"L\u00f6wenheim, L. (1915). \u00dcber M\u00f6glichkeiten im Relativkalk\u00fcl. Mathematische Annalen, 76(4), 447\u201370.","journal-title":"Mathematische Annalen"},{"key":"9806_CR35","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1093\/acprof:oso\/9780198715696.003.0006","volume-title":"Foundations of Logical Consequence","author":"V McGee","year":"2015","unstructured":"McGee, V. (2015). The Categoricity of Logic\u2019\u2019. In C. R. Caret & O. T. Hjortland (Eds.), Foundations of Logical Consequence (pp. 160\u201385). Oxford: Oxford University Press."},{"key":"9806_CR36","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/978-3-319-11041-7_8","volume-title":"Dag Prawitz on Proofs and Meaning, Outstanding Contributions to Logic","author":"P Milne","year":"2015","unstructured":"Milne, P. (2015). Inversion Principles and Introduction Rules. In H. Wansing (Ed.), Dag Prawitz on Proofs and Meaning, Outstanding Contributions to Logic (Vol. 7, pp. 189\u2013224). Cham: Springer."},{"key":"9806_CR37","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10670-018-0032-6","volume":"85","author":"J Murzi","year":"2020","unstructured":"Murzi, J. (2020). Classical Harmony and Separability. Erkenntnis, 85, 391\u2013415.","journal-title":"Erkenntnis"},{"issue":"3","key":"9806_CR38","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1093\/analys\/anp071","volume":"69","author":"J Murzi","year":"2009","unstructured":"Murzi, J., & Hjortland, O. T. (2009). Inferentialism and the Categoricity Problem: Reply to Raatikainen. Analysis, 69(3), 480\u20138.","journal-title":"Analysis"},{"key":"9806_CR39","doi-asserted-by":"crossref","unstructured":"Murzi, J., & Steinberger, F. (2017). Inferentialism. In: B. Hale, C. Wright, and A. Miller (eds.), A Companion to the Philosophy of Language, Wiley Blackwell, 197\u2013224.","DOI":"10.1002\/9781118972090.ch9"},{"issue":"10","key":"9806_CR40","doi-asserted-by":"publisher","first-page":"3391","DOI":"10.1007\/s11098-021-01606-3","volume":"178","author":"J Murzi","year":"2021","unstructured":"Murzi, J., & Topey, B. (2021). Categoricity by convention. Philosophical Studies, 178(10), 3391\u2013420.","journal-title":"Philosophical Studies"},{"key":"9806_CR41","doi-asserted-by":"crossref","unstructured":"Popper, K. R. (1946\u20131947). Logic without assumptions. Proceedings of the Aristotelian Society, 47, 251\u201392. Reprinted in Binder, Piecha, and Schroeder-Heister (2022), 83\u2013112.","DOI":"10.1007\/978-3-030-94926-6_2"},{"key":"9806_CR42","doi-asserted-by":"crossref","unstructured":"Popper, K. R. (1948). On the Theory of Deduction, Part II. The Definitions of Classical and Intuitionist Negation. In: Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings of the Section of Sciences 51, 322\u201331. Reprinted in Binder, Piecha, and Schroeder-Heister (2022), 181\u201392.","DOI":"10.1007\/978-3-030-94926-6_6"},{"key":"9806_CR43","volume-title":"Natural Deduction: A Proof-Theoretical Study","author":"D Prawitz","year":"1965","unstructured":"Prawitz, D. (1965). Natural Deduction: A Proof-Theoretical Study. Mineola, N.Y.: Dover Publications."},{"issue":"2","key":"9806_CR44","doi-asserted-by":"publisher","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(2), 38\u20139.","journal-title":"Analysis"},{"key":"9806_CR45","doi-asserted-by":"crossref","unstructured":"Raatikainen, P. (2008). On Rules of Inference and the Meanings of Logical Constants. Analysis, 68\/4, 282\u20137.","DOI":"10.1093\/analys\/68.4.282"},{"key":"9806_CR46","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1023\/A:1004787622057","volume":"28","author":"S Read","year":"2000","unstructured":"Read, S. (2000). Harmony and autonomy in classical logic. Journal of Philosophical Logic, 28, 123\u201354.","journal-title":"Journal of Philosophical Logic"},{"key":"9806_CR47","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, 557\u201376.","journal-title":"Journal of Philosophical Logic"},{"key":"9806_CR48","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1093\/acprof:oso\/9780198715696.003.0005","volume-title":"Foundations of Logical Consequence","author":"S Read","year":"2015","unstructured":"Read, S. (2015). Proof-Theoretic Validity. In C. Caret & O. Hjortland (Eds.), Foundations of Logical Consequence (pp. 136\u201358). Oxford: Oxford University Press."},{"key":"9806_CR49","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s11245-014-9261-8","volume":"34","author":"D Ripley","year":"2015","unstructured":"Ripley, D. (2015). Anything Goes. Topoi, 34, 25\u201336.","journal-title":"Topoi"},{"key":"9806_CR50","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/9781118972090.ch10","volume-title":"The Blackwell\u2019s Companion to the Philosophy of Language","author":"I Rumfitt","year":"2017","unstructured":"Rumfitt, I. (2017). Against Harmony. In B. Hale, C. Wright, & A. Miller (Eds.), The Blackwell\u2019s Companion to the Philosophy of Language (2nd ed., Vol. I, pp. 225\u201349). Oxford: Wiley Blackwell.","edition":"2"},{"key":"9806_CR51","volume-title":"The Principles of Mathematics","author":"B Russell","year":"1903","unstructured":"Russell, B. (1903). The Principles of Mathematics. Cambridge: Cambridge University Press."},{"key":"9806_CR52","doi-asserted-by":"publisher","first-page":"1284","DOI":"10.2307\/2274279","volume":"49","author":"P Schroeder-Heister","year":"1984","unstructured":"Schroeder-Heister, P. (1984). A natural extension of natural deduction. Journal of Symbolic Logic, 49, 1284\u201399.","journal-title":"Journal of Symbolic Logic"},{"key":"9806_CR53","first-page":"1142","volume":"56","author":"P Schroeder-Heister","year":"1991","unstructured":"Schroeder-Heister, P. (1991). Uniform proof-theoretic semantics for logical constants (Abstract). Journal of Symbolic Logic, 56, 1142.","journal-title":"Journal of Symbolic Logic"},{"key":"9806_CR54","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/s11787-007-0018-7","volume":"1","author":"P Schroeder-Heister","year":"2007","unstructured":"Schroeder-Heister, P. (2007). Generalized Definitional Reflection and the Inversion Principle. Logica Universalis, 1, 355\u201376.","journal-title":"Logica Universalis"},{"key":"9806_CR55","unstructured":"Schroeder-Heister, P. (2024). Proof-Theoretic Semantics\u201d, The Stanford Encyclopedia of Philosophy (Spring 2024 Edition), E. N. Zalta and U. Nodelman (eds.), $$\\langle $$https:\/\/plato.stanford.edu\/archives\/spr2024\/entries\/proof-theoretic-semantics\/$$\\rangle $$."},{"key":"9806_CR56","volume-title":"Foundations without Foundationalism","author":"S Shapiro","year":"1991","unstructured":"Shapiro, S. (1991). Foundations without Foundationalism. Oxford: Oxford University Press."},{"key":"9806_CR57","volume-title":"The Bounds of Logic","author":"G Sher","year":"1991","unstructured":"Sher, G. (1991). The Bounds of Logic. A Generalized Viewpoint, Cambridge, MA: The MIT Press."},{"key":"9806_CR58","unstructured":"Skolem, T. (1919). Untersuchungen \u00fcber die Axiome des Klassenkalk\u00fcls. Vid. Skrifter I, Math.-nat. Klasse Nr 3."},{"issue":"4","key":"9806_CR59","doi-asserted-by":"publisher","first-page":"617","DOI":"10.1080\/00048402.2010.528781","volume":"89","author":"F Steinberger","year":"2011","unstructured":"Steinberger, F. (2011). What Harmony Could and Could Not Be. Australasian Journal of Philosophy, 89(4), 617\u201339.","journal-title":"Australasian Journal of Philosophy"},{"key":"9806_CR60","doi-asserted-by":"crossref","unstructured":"Steinberger, F., & Murzi, J. (2017). Inferentialism. In: B. Hale, C. Wright, and A. Miller (eds.) Blackwell Companion to Philosophy of Language, Oxford: Wiley Blackwell, Vol. 1, Second Edition, 197\u2013224.","DOI":"10.1002\/9781118972090.ch9"},{"key":"9806_CR61","volume-title":"Introduction to Logic","author":"P Suppes","year":"1957","unstructured":"Suppes, P. (1957). Introduction to Logic. New York: Van Nostrand Reinhold Company."},{"issue":"3","key":"9806_CR62","doi-asserted-by":"publisher","first-page":"341","DOI":"10.2307\/2102968","volume":"4","author":"A Tarski","year":"1944","unstructured":"Tarski, A. (1944). The semantic conception of truth: and the foundations of semantics. Philosophy and Phenomenological Research, 4(3), 341\u201376.","journal-title":"Philosophy and Phenomenological Research"},{"key":"9806_CR63","doi-asserted-by":"crossref","unstructured":"Tennant, N. (2020). Inferentialism, Logicism, Harmony, and a Counterpoint. In: A. Miller (ed.), Logic, Language and Mathematics: Themes from the Philosophy of Crispin Wright Oxford: Oxford University Press, 223-47.","DOI":"10.1093\/oso\/9780199278343.003.0009"},{"issue":"3","key":"9806_CR64","doi-asserted-by":"publisher","first-page":"481","DOI":"10.2307\/2273046","volume":"38","author":"LH Tharp","year":"1973","unstructured":"Tharp, L. H. (1973). The characterization of monadic logic. The Journal of Symbolic Logic, 38(3), 481\u201388.","journal-title":"The Journal of Symbolic Logic"},{"key":"9806_CR65","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s11225-017-9772-6","volume":"107","author":"L Tranchini","year":"2019","unstructured":"Tranchini, L., Pistone, P., & Petrolo, M. (2019). The Naturality of Natural Deduction. Studia Logica, 107, 195\u2013231.","journal-title":"Studia Logica"},{"key":"9806_CR66","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139168717","volume-title":"Basic Proof Theory","author":"AS Troelstra","year":"2000","unstructured":"Troelstra, A. S., & Schwichtenberg, H. (2000). Basic Proof Theory (2nd ed.). Cambridge: Cambridge University Press.","edition":"2"},{"issue":"1","key":"9806_CR67","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1215\/00294527-2835038","volume":"56","author":"J V\u00e4\u00e4n\u00e4nen","year":"2015","unstructured":"V\u00e4\u00e4n\u00e4nen, J., & Wang, T. (2015). Internal Categoricity in Arithmetic and Set Theory. Notre Dame Journal of Formal Logic, 56(1), 121\u201334.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9806_CR68","unstructured":"V\u00e4\u00e4n\u00e4nen, J. (2021). Second-Order and Higher-Order Logic\u201d, in: E. N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Fall 2021 Edition), $$\\langle $$https:\/\/plato.stanford.edu\/archives\/fall2021\/entries\/logic-higher-order\/$$\\rangle $$."},{"issue":"3","key":"9806_CR69","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1305\/ndjfl\/1093635152","volume":"30","author":"J Van Benthem","year":"1989","unstructured":"Van Benthem, J. (1989). Logical constants across varying types. Notre Dame Journal of Formal Logic, 30(3), 315\u2013342.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"9806_CR70","doi-asserted-by":"crossref","unstructured":"Van Benthem, J. (2017). Logical Constants: The Variable Fortunes of an Elusive Notion. In: W. Sieg, R. Sommer, and C. Talcott (Eds.), Reflections on the Foundations of Mathematics. Essays in Honor of Sol Feferman, Lecture Notes in Logic 15, Cambridge: Cambridge University Press, 426\u201346.","DOI":"10.1017\/9781316755983.021"},{"key":"9806_CR71","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-4558-5","volume-title":"Logic and Structure","author":"D Van Dalen","year":"2013","unstructured":"Van Dalen, D. (2013). Logic and Structure (5th ed.). London: Springer.","edition":"5"},{"key":"9806_CR72","unstructured":"Woods, J. Unpublished: Modest Inferentialism for Classical Logic. unpublished draft."},{"key":"9806_CR73","doi-asserted-by":"crossref","unstructured":"Zalta, E. N. (2020). Typed Object Theory. In J. L. Falguera & C. Mart\u00ednez-Vidal (Eds.), Abstract Objects: For and Against, Synthese Library (Vol. 422, pp. 59\u201388). Cham: Springer.","DOI":"10.1007\/978-3-030-38242-1_4"},{"key":"9806_CR74","first-page":"501","volume":"7","author":"JI Zucker","year":"1978","unstructured":"Zucker, J. I., & Tragesser, R. S. (1978). The adequacy problem for inferential logic. Journal of Philosophical Logic, 7, 501\u201316.","journal-title":"Journal of Philosophical Logic"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09806-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10992-025-09806-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10992-025-09806-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T10:02:33Z","timestamp":1756980153000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10992-025-09806-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,18]]},"references-count":74,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,8]]}},"alternative-id":["9806"],"URL":"https:\/\/doi.org\/10.1007\/s10992-025-09806-6","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,7,18]]},"assertion":[{"value":"25 June 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 June 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 July 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"None","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical Approval"}}]}}