{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,25]],"date-time":"2025-09-25T14:46:38Z","timestamp":1758811598248},"reference-count":57,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T00:00:00Z","timestamp":1625184000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom\u2019s notion of material inference and Greg Restall\u2019s bilateralist interpretation of the multiple conclusion sequent calculus, I\u00a0present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1)\u00a0the rules are harmonious and stable; (2)\u00a0the rules create a structure analogous to familiar model-theoretic semantics; and (3)\u00a0the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates.<\/jats:p>","DOI":"10.1017\/s1755020321000320","type":"journal-article","created":{"date-parts":[[2021,7,2]],"date-time":"2021-07-02T07:58:28Z","timestamp":1625212708000},"page":"672-699","update-policy":"http:\/\/dx.doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":2,"title":["SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES"],"prefix":"10.1017","volume":"16","author":[{"given":"KAI","family":"TANTER","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2021,7,2]]},"reference":[{"key":"S1755020321000320_r41","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/109.436.781"},{"key":"S1755020321000320_r46","first-page":"159","volume-title":"Why is this a Proof? Festschrift for Luiz Carlos Pereira","author":"Schroeder-Heister","year":"2015"},{"key":"S1755020321000320_r6","volume-title":"The Logical Basis of Metaphysics","author":"Dummett","year":"1991"},{"key":"S1755020321000320_r54","doi-asserted-by":"publisher","DOI":"10.1080\/0020174X.2019.1580839"},{"key":"S1755020321000320_r29","first-page":"96","volume-title":"Proceedings of the 1st Scandinavian Logic Symposium \u00c5bo 1968","author":"Prawitz","year":"1970"},{"key":"S1755020321000320_r10","doi-asserted-by":"publisher","DOI":"10.1007\/s10988-011-9088-3"},{"key":"S1755020321000320_r34","doi-asserted-by":"publisher","DOI":"10.1093\/mind\/XCIX.394.221"},{"key":"S1755020321000320_r32","first-page":"455","volume-title":"The Philosophy of Michael Dummett","author":"Prawitz","year":"1992"},{"key":"S1755020321000320_r56","doi-asserted-by":"publisher","DOI":"10.1017\/S175502031000033X"},{"key":"S1755020321000320_r38","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9197-y"},{"key":"S1755020321000320_r51","first-page":"33","article-title":"A systematization of fundamentals of multisets","volume":"29","author":"Singh","year":"2008","journal-title":"Lecturas Matem\u00e1ticas"},{"key":"S1755020321000320_r16","unstructured":"[16] Hjortland, O. T. (2010). The Structure of Logical Consequence: Proof-Theoretic Conceptions. Ph.D. Thesis, University of St Andrews."},{"key":"S1755020321000320_r13","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"Gentzen","year":"1969"},{"key":"S1755020321000320_r22","doi-asserted-by":"publisher","DOI":"10.1007\/BF01048687"},{"key":"S1755020321000320_r5","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635154"},{"key":"S1755020321000320_r53","first-page":"197","volume-title":"Blackwell Companion to Philosophy of Language","author":"Steinberger","year":"2017"},{"key":"S1755020321000320_r49","doi-asserted-by":"publisher","DOI":"10.3765\/sp.10.1"},{"key":"S1755020321000320_r42","doi-asserted-by":"publisher","DOI":"10.2307\/2586685"},{"key":"S1755020321000320_r12","doi-asserted-by":"publisher","DOI":"10.1111\/j.1755-2567.2001.tb00200.x"},{"key":"S1755020321000320_r21","doi-asserted-by":"publisher","DOI":"10.1023\/A:1012280814127"},{"key":"S1755020321000320_r19","doi-asserted-by":"publisher","DOI":"10.1093\/019823824X.001.0001"},{"key":"S1755020321000320_r36","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/21.2.38"},{"key":"S1755020321000320_r11","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-010-9241-y"},{"key":"S1755020321000320_r55","unstructured":"[55] Tanter, K. (2017). Composing Commands: An Inferentialist Semantics for Subsententials and Imperatives. Master\u2019s Thesis. Available from: http:\/\/hdl.handle.net\/11343\/208761."},{"key":"S1755020321000320_r57","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exu046"},{"key":"S1755020321000320_r1","volume-title":"Making It Explicit: Reasoning, Representation, and Discursive Commitment","author":"Brandom","year":"1994"},{"key":"S1755020321000320_r14","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.2.261"},{"key":"S1755020321000320_r37","first-page":"189","volume-title":"Logic, Methodology and Philosophy of Science: Proceedings of the Twelfth International Congress","author":"Restall","year":"2005"},{"key":"S1755020321000320_r33","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-004-6295-2"},{"key":"S1755020321000320_r9","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exu035"},{"key":"S1755020321000320_r20","volume-title":"Introduction to Metamathematics","author":"Kleene","year":"1952"},{"key":"S1755020321000320_r39","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-4438-7_6"},{"key":"S1755020321000320_r30","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"S1755020321000320_r2","doi-asserted-by":"crossref","DOI":"10.4159\/9780674028739","volume-title":"Articulating Reasons: An Introduction to Inferentialism","author":"Brandom","year":"2000"},{"key":"S1755020321000320_r47","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22686-6_16"},{"key":"S1755020321000320_r24","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70847-4"},{"key":"S1755020321000320_r48","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Schroeder-Heister","year":"2018"},{"key":"S1755020321000320_r4","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199542871.001.0001"},{"key":"S1755020321000320_r45","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2012.10.010"},{"key":"S1755020321000320_r26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139003513"},{"key":"S1755020321000320_r31","first-page":"225","volume-title":"Logic, Methodology and Philosophy of Science IV","author":"Prawitz","year":"1973"},{"key":"S1755020321000320_r28","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-011-0015-5"},{"key":"S1755020321000320_r44","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0031929"},{"key":"S1755020321000320_r52","first-page":"125","volume-title":"From Rules to Meanings","author":"Standefer","year":"2018"},{"key":"S1755020321000320_r7","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-012-9261-3"},{"key":"S1755020321000320_r18","first-page":"87","volume-title":"The Logica Yearbook","author":"Hlobil","year":"2016"},{"key":"S1755020321000320_r25","volume-title":"Structural Proof Theory","author":"Negri","year":"2008"},{"key":"S1755020321000320_r23","doi-asserted-by":"publisher","DOI":"10.1007\/BF00249667"},{"key":"S1755020321000320_r40","doi-asserted-by":"publisher","DOI":"10.1017\/S175502031800031X"},{"key":"S1755020321000320_r27","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129501003322"},{"key":"S1755020321000320_r17","first-page":"445","article-title":"Speech acts, categoricity, and the meanings of logical connectives","volume":"55","author":"Hjortland","year":"2014","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"S1755020321000320_r50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-55665-8_39"},{"key":"S1755020321000320_r15","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.5.635"},{"key":"S1755020321000320_r8","volume-title":"Proof-Theoretic Semantics","volume":"57","author":"Francez","year":"2015"},{"key":"S1755020321000320_r35","doi-asserted-by":"publisher","DOI":"10.1007\/BF00258428"},{"key":"S1755020321000320_r3","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199542871.001.0001"},{"key":"S1755020321000320_r43","first-page":"1142","article-title":"Uniform proof-theoretic semantics for logical constants (abstract)","volume":"56","author":"Schroeder-Heister","year":"1991","journal-title":"Journal of Symbolic Logic"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020321000320","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,1]],"date-time":"2023-09-01T05:49:04Z","timestamp":1693547344000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020321000320\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,2]]},"references-count":57,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["S1755020321000320"],"URL":"https:\/\/doi.org\/10.1017\/s1755020321000320","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7,2]]},"assertion":[{"value":"\u00a9 The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}