Files in this item
Semantic pollution and syntactic purity
Item metadata
dc.contributor.author | Read, Stephen | |
dc.date.accessioned | 2015-08-27T12:40:02Z | |
dc.date.available | 2015-08-27T12:40:02Z | |
dc.date.issued | 2015-12 | |
dc.identifier | 197689768 | |
dc.identifier | 117ff928-fd30-4162-a627-c2b61fb9810d | |
dc.identifier | 84947618553 | |
dc.identifier | 000367578900002 | |
dc.identifier.citation | Read , S 2015 , ' Semantic pollution and syntactic purity ' , The Review of Symbolic Logic , vol. 8 , no. 4 , pp. 649-661 . https://doi.org/10.1017/S1755020315000210 | en |
dc.identifier.issn | 1755-0203 | |
dc.identifier.other | ORCID: /0000-0003-2181-2609/work/62668517 | |
dc.identifier.uri | https://hdl.handle.net/10023/7336 | |
dc.description.abstract | 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. | |
dc.format.extent | 13 | |
dc.format.extent | 312974 | |
dc.language.iso | eng | |
dc.relation.ispartof | The Review of Symbolic Logic | en |
dc.subject | Modal logic | en |
dc.subject | Inferentialism | en |
dc.subject | Model theory | en |
dc.subject | Kripke semantics | en |
dc.subject | Labelled deductive systems | en |
dc.subject | Tree-hypersequents | en |
dc.subject | Gentzen | en |
dc.subject | Poggiolesi | en |
dc.subject | Restall | en |
dc.subject | BC Logic | en |
dc.subject.lcc | BC | en |
dc.title | Semantic pollution and syntactic purity | en |
dc.type | Journal article | en |
dc.contributor.institution | University of St Andrews. Philosophy | en |
dc.contributor.institution | University of St Andrews. Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology | en |
dc.contributor.institution | University of St Andrews. St Andrews Institute of Medieval Studies | en |
dc.identifier.doi | 10.1017/S1755020315000210 | |
dc.description.status | Peer reviewed | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.