Proof-theoretic semantics is an approach to logical semantics based on two ideas, of which the first is that the meaning of a logical connective can be explained by stipulating that some mode of inference, e.g., a natural deduction introduction or elimination rule, is permissible. The second idea is that the soundness of rules which are not stipulated outright may be deduced by some proof-theoretic argument from properties of the rules which are stipulated outright. I examine the first idea. My main conclusion is that the idea is more problematic, and requires more discussion, than has been generally realized. I mention five problems which will have to be overcome before the idea can be accepted as definitely viable. © 2007 The Author.
CITATION STYLE
Stirton, W. R. (2008). Some problems for proof-theoretic semantics. Philosophical Quarterly, 58(231), 278–298. https://doi.org/10.1111/j.1467-9213.2007.506.x
Mendeley helps you to discover research relevant for your work.