Theoria 83 (4):394-418 (2017)

Authors
Bogdan Dicher
Universidade de Lisboa
Abstract
In the recent literature on proof-theoretic semantics, there is mention of a generality condition on defining rules. According to this condition, the schematic formulation of the defining rules must be maximally general, in the sense that no restrictions should be placed on the contexts of these rules. In particular, context variables must always be present in the schematic rules and they should range over arbitrary collections of formulae. I argue against imposing such a condition, by showing that it has undesirable results and that it is ill-supported by the arguments brought in its favour.
Keywords proof-theoretic semantics  generality condition  defining rules
Categories (categorize this paper)
DOI 10.1111/theo.12131
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,231
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38.
Truth and Other Enigmas.Michael Dummett - 1978 - Philosophical Quarterly 31 (122):47-67.
Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
The Logical Basis of Metaphysics.Michael Dummett, Hilary Putnam & James Conant - 1994 - Philosophical Quarterly 44 (177):519-527.
Truth and Other Enigmas.Michael Dummett - 1978 - British Journal for the Philosophy of Science 32 (4):419-425.

View all 35 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
Some Concerns Regarding Ternary-Relation Semantics and Truth-Theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
Bilateralism in Proof-Theoretic Semantics.Nissim Francez - 2013 - Journal of Philosophical Logic (2-3):1-21.
A Proof-Theoretic Semantics for Adjectival Modification.Nissim Francez - 2017 - Journal of Logic, Language and Information 26 (1):21-43.
Some Problems for Proof-Theoretic Semantics.William R. Stirton - 2008 - Philosophical Quarterly 58 (231):278–298.

Analytics

Added to PP index
2017-10-27

Total views
41 ( #278,476 of 2,518,158 )

Recent downloads (6 months)
4 ( #167,290 of 2,518,158 )

How can I increase my downloads?

Downloads

My notes