A Note on Harmony

@article{Francez2012ANO,
  title={A Note on Harmony},
  author={Nissim Francez and Roy Dyckhoff},
  journal={Journal of Philosophical Logic},
  year={2012},
  volume={41},
  pages={613-628}
}
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… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 24 CITATIONS

Some Remarks on Proof-Theoretic Semantics

VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Proof-Theoretic Validity

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Intuitionism and logical revision

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

General-Elimination Stability

  • Studia Logica
  • 2017
VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Harmonic Inferentialism and the Logic of Identity

  • Rew. Symb. Logic
  • 2016
VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Harmonising Harmony

  • Rew. Symb. Logic
  • 2015
VIEW 2 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…