Graduate studies at Western
Journal of Philosophical Logic 41 (3):613-628 (2012)
|Abstract||In the proof-theoretic semantics approach to meaning, harmony , requiring a balance between introduction-rules (I-rules) and elimination rules (E-rules) within a meaning conferring natural-deduction proof-system, is a central notion. In this paper, we consider two notions of harmony that were proposed in the literature: 1. GE-harmony , requiring a certain form of the E-rules, given the form of the I-rules. 2. Local intrinsic harmony : imposes the existence of certain transformations of derivations, known as reduction and expansion . We propose a construction of the E-rules (in GE-form) from given I-rules, and prove that the constructed rules satisfy also local intrinsic harmony. The construction is based on a classification of I-rules, and constitute an implementation to Gentzen’s (and Pawitz’) remark, that E-rules can be “read off” I-rules|
|Keywords||Natural-deduction Proof-theoretic semantics Introduction-rules Elimination-rules Harmony Local soundness/completeness|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Stephen Read (2010). General-Elimination Harmony and the Meaning of the Logical Constants. Journal of Philosophical Logic 39 (5):557-76.
Nissim Francez (forthcoming). Bilateralism in Proof-Theoretic Semantics. Journal of Philosophical Logic:1-21.
Peter Milne (1994). Classical Harmony: Rules of Inference and the Meaning of the Logical Constants. Synthese 100 (1):49 - 94.
Nils Kürbis (2008). Stable Harmony. In Peliš Michal (ed.), Logica Yearbook 2007.
Hartley Slater (2008). Harmonising Natural Deduction. Synthese 163 (2):187 - 198.
Stephen Read (2000). Harmony and Autonomy in Classical Logic. Journal of Philosophical Logic 29 (2):123-154.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Ruy J. G. B. de Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2):211-247.
Ruy J. G. B. De Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2):211 - 247.
Nissim Francez & Roy Dyckhoff (2010). Proof-Theoretic Semantics for a Natural Language Fragment. Linguistics and Philosophy 33 (6):447-477.
Frederic B. Fitch (1973). Natural Deduction Rules for English. Philosophical Studies 24 (2):89 - 104.
Jacob Paroush (1997). Order Relations Among Efficient Decision Rules. Theory and Decision 43 (3):209-218.
Florian Steinberger (2013). On the Equivalence Conjecture for Proof-Theoretic Harmony. Notre Dame Journal of Formal Logic 54 (1):79-86.
Added to index2012-04-27
Total downloads34 ( #40,671 of 738,617 )
Recent downloads (6 months)12 ( #9,670 of 738,617 )
How can I increase my downloads?