{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T12:17:03Z","timestamp":1771849023407,"version":"3.50.1"},"reference-count":38,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2015,8,7]],"date-time":"2015-08-07T00:00:00Z","timestamp":1438905600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2015,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical systems, most particularly, labelled deductive systems for modal logic, are unsuitable, on the grounds that they are semantically polluted and suffer from an untoward intrusion of semantics into syntax. The charge is shown to be mistaken. It is argued on inferentialist grounds that labelled deductive systems are as syntactically pure as any formal system in which the rules define the meanings of the logical constants.<\/jats:p>","DOI":"10.1017\/s1755020315000210","type":"journal-article","created":{"date-parts":[[2015,8,7]],"date-time":"2015-08-07T05:28:38Z","timestamp":1438925318000},"page":"649-661","source":"Crossref","is-referenced-by-count":15,"title":["SEMANTIC POLLUTION AND SYNTACTIC PURITY"],"prefix":"10.1017","volume":"8","author":[{"given":"STEPHEN","family":"READ","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,8,7]]},"reference":[{"key":"S1755020315000210_ref37","volume-title":"The Taming of the True","author":"Tennant","year":"1997"},{"key":"S1755020315000210_ref35","volume-title":"First-Order Logic. Ergebnisse der Mathematik und ihrer Grenzgebiete","volume":"43","author":"Smullyan","year":"1968"},{"key":"S1755020315000210_ref31","first-page":"293","volume-title":"Dag Prawitz on Proofs and Meaning","author":"Read","year":"2014"},{"key":"S1755020315000210_ref30","first-page":"285","volume-title":"Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman","author":"Read","year":"2008"},{"key":"S1755020315000210_ref34","unstructured":"Simpson A . (1994). The Proof Theory and Semantics of Intuitionistic Modal Logic. PhD Thesis, University of Edinburgh."},{"key":"S1755020315000210_ref26","volume-title":"Natural Deduction","author":"Prawitz","year":"1965"},{"key":"S1755020315000210_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-005-2267-3"},{"key":"S1755020315000210_ref19","unstructured":"Leibniz G . (1985). Theodicy: Essays on the Goodness of God, the Freedom of Man, and the Origin of Evil. Open Court, La Salle, Ill. Edited, with an introduction, by Austin Farrer; tr. E. M. Huggard."},{"key":"S1755020315000210_ref16","first-page":"26","article-title":"Topics in late medieval intensional logic","volume":"35","author":"Knuuttila","year":"1982","journal-title":"Acta Philosophica Fennica"},{"key":"S1755020315000210_ref11","volume-title":"Foundations of Set Theory","author":"Fraenkel","year":"1973"},{"key":"S1755020315000210_ref10","volume-title":"Symbolic Logic: An Introduction","author":"Fitch","year":"1952"},{"key":"S1755020315000210_ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139108010"},{"key":"S1755020315000210_ref32","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1163\/18756735-90000844","article-title":"Knowledge by deduction","volume":"77","author":"Rumfitt","year":"2008","journal-title":"Grazer Philosophische Studien"},{"key":"S1755020315000210_ref6","volume-title":"Frege: Philosophy of Language","author":"Dummett","year":"1973"},{"key":"S1755020315000210_ref5","volume-title":"A Theory of Formal Deducibility","author":"Curry","year":"1950"},{"key":"S1755020315000210_ref15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/9055.001.0001","volume-title":"The Connectives","author":"Humberstone","year":"2011"},{"key":"S1755020315000210_ref4","doi-asserted-by":"crossref","DOI":"10.4159\/9780674028739","volume-title":"Articulating Reasons","author":"Brandom","year":"2000"},{"key":"S1755020315000210_ref1","first-page":"1","volume-title":"Logic: From Foundations to Applications","author":"Avron","year":"1996"},{"key":"S1755020315000210_ref33","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1017\/S1755020313000385","article-title":"On flattening elimination rules","volume":"7","author":"Schroeder-Heister","year":"2014","journal-title":"Review of Symbolic Logic"},{"key":"S1755020315000210_ref23","first-page":"221","article-title":"Bolzano e le dimostrazioni matematiche","volume":"78","author":"Paoli","year":"1991","journal-title":"Rivista di Filosofia"},{"key":"S1755020315000210_ref25","doi-asserted-by":"publisher","DOI":"10.1057\/9781137003720_4"},{"key":"S1755020315000210_ref17","first-page":"518","article-title":"Writing, notational iconicity, calculus: On writing as a cultural technique","volume":"118","author":"Kr\u00e4mer","year":"2003","journal-title":"Modern Languages Notes (German Issue)"},{"key":"S1755020315000210_ref2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/7.6.685"},{"key":"S1755020315000210_ref12","unstructured":"Gentzen G . (1969). Investigations concerning logical deduction. In Szabo (1969), editor. pp. 68\u2013131."},{"key":"S1755020315000210_ref36","volume-title":"The Collected Papers of Gerhard Gentzen","author":"Szabo","year":"1969"},{"key":"S1755020315000210_ref28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1004787622057"},{"key":"S1755020315000210_ref3","unstructured":"Beth E. W . (1969). Semantic entailment and formal derivability. In Hintikka J. , editor. The Philosophy of Mathematics. Oxford: Oxford University Press, pp. 9\u201341. Originally published in Mededelingen van de Koninklijke Nederlandse Akademie van Wetenschappen, Afdeling Letterkunde, N.R. 19 no. 13 (Amsterdam 1955), pp. 309\u2013342."},{"key":"S1755020315000210_ref29","doi-asserted-by":"publisher","DOI":"10.1017\/S003181910500032X"},{"key":"S1755020315000210_ref13","volume-title":"Leibnizens Mathematische Schriften","author":"Gerhardt","year":"1859"},{"key":"S1755020315000210_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-9825-4_2"},{"key":"S1755020315000210_ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1754-0_6"},{"key":"S1755020315000210_ref8","doi-asserted-by":"publisher","DOI":"10.1080\/01445340.2011.555505"},{"key":"S1755020315000210_ref21","first-page":"107","volume-title":"Logic Colloquium \u201905: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Athens, Greece, July 28\u2013August 3, 2005","author":"Negri","year":"2007"},{"key":"S1755020315000210_ref7","volume-title":"Logical Basis of Metaphysics","author":"Dummett","year":"1991"},{"key":"S1755020315000210_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3208-5"},{"key":"S1755020315000210_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-9670-8"},{"key":"S1755020315000210_ref18","first-page":"83","article-title":"Semantical considerations on modal logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philosophica Fennica"},{"key":"S1755020315000210_ref22","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Nolt","year":"2014"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020315000210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,20]],"date-time":"2022-05-20T01:54:11Z","timestamp":1653011651000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020315000210\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,7]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["S1755020315000210"],"URL":"https:\/\/doi.org\/10.1017\/s1755020315000210","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8,7]]}}}