A Note on Harmony

Journal of Philosophical Logic 41 (3):613-628 (2012)
Download Edit this record How to cite View on PhilPapers
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.
ISBN(s)
PhilPapers/Archive ID
FRAANO-6
Upload history
Archival date: 2012-10-11
View other versions
Added to PP index
2012-04-27

Total views
264 ( #25,031 of 64,133 )

Recent downloads (6 months)
6 ( #56,516 of 64,133 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.