David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Analysis 69 (4):655-661 (2009)
According to Michael Dummett, we may think of the meaning of an expression as given by the principles governing the use we make of it. The principles regulating our linguistic practices can then be grouped into two broad categories (Dummett 1973: 396, 1991: 211). We might state them as follows: I-principles: state the circumstances under which an assertion of a sentence containing the expression in question is warranted. E-principles: state the consequences of asserting a sentence containing the expression. In the case of the logical constants, we may associate a constant's I-principles with the set of its introduction rules and its E-principles with the set of its elimination rules (Dummett 1973: 454).1
|Keywords||Harmony Logical constants Proof theory|
|Categories||categorize this paper)|
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
No references found.
Citations of this work BETA
Florian Steinberger (2011). What Harmony Could and Could Not Be. Australasian Journal of Philosophy 89 (4):617 - 639.
F. Steinberger (2011). Harmony in a Sequent Setting: A Reply to Tennant. Analysis 71 (2):273-280.
Neil Tennant (2010). Harmony in a Sequent Setting. Analysis 70 (3):462 - 468.
Similar books and articles
Khaled Jaber (1999). Équations Génériques Dans Un Groupe Stable Nilpotent. Journal of Symbolic Logic 64 (2):761-768.
Steven Buechler (1984). Expansions of Models of Ω-Stable Theories. Journal of Symbolic Logic 49 (2):470-477.
Alexander Berenstein (2003). Simple Stable Homogeneous Groups. Journal of Symbolic Logic 68 (4):1145-1162.
Ludomir Newelski (1996). On Atomic or Saturated Sets. Journal of Symbolic Logic 61 (1):318-333.
Damir D. Dzhafarov (2010). Stable Ramsey's Theorem and Measure. Notre Dame Journal of Formal Logic 52 (1):95-112.
Ehud Hrushovski (1989). Kueker's Conjecture for Stable Theories. Journal of Symbolic Logic 54 (1):207-220.
Anand Pillay (1984). Regular Types in Nonmultidimensional Ω-Stable Theories. Journal of Symbolic Logic 49 (3):880-891.
Frank Wagner (1990). Subgroups of Stable Groups. Journal of Symbolic Logic 55 (1):151-156.
Added to index2009-09-23
Total downloads63 ( #26,198 of 1,102,043 )
Recent downloads (6 months)6 ( #52,490 of 1,102,043 )
How can I increase my downloads?