Analysis 69 (4):655-661 (2009)

Authors
Florian Steinberger
Birkbeck, University of London
Abstract
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)
DOI 10.1093/analys/anp100
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: 65,657
Through your library

References found in this work BETA

The Logical Basis of Metaphysics.Michael Dummett - 1991 - Harvard University Press.
A Puzzle About Belief.Saul A. Kripke - 1979 - In A. Margalit (ed.), Meaning and Use. Reidel. pp. 239--83.
The Taming of the True.Neil Tennant - 1997 - Oxford, England: Oxford University Press.
Anti-Realism and Logic: Truth as Eternal.Neil Tennant - 1987 - Oxford, England: Oxford University Press.

View all 14 references / Add more references

Citations of this work BETA

What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.
Classical Harmony and Separability.Julien Murzi - 2020 - Erkenntnis 85 (2):391-415.
Categorical Harmony and Path Induction.Patrick Walsh - 2017 - Review of Symbolic Logic 10 (2):301-321.
Foot Note.Tim Lewens - 2010 - Analysis 70 (3):468-473.

View all 11 citations / Add more citations

Similar books and articles

Équations Génériques Dans Un Groupe Stable Nilpotent.Khaled Jaber - 1999 - Journal of Symbolic Logic 64 (2):761-768.
Expansions of Models of Ω-Stable Theories.Steven Buechler - 1984 - Journal of Symbolic Logic 49 (2):470-477.
Simple Stable Homogeneous Groups.Alexander Berenstein - 2003 - Journal of Symbolic Logic 68 (4):1145-1162.
On Atomic or Saturated Sets.Ludomir Newelski - 1996 - Journal of Symbolic Logic 61 (1):318-333.
Stable Ramsey's Theorem and Measure.Damir D. Dzhafarov - 2011 - Notre Dame Journal of Formal Logic 52 (1):95-112.
Kueker's Conjecture for Stable Theories.Ehud Hrushovski - 1989 - Journal of Symbolic Logic 54 (1):207-220.
Regular Types in Nonmultidimensional Ω-Stable Theories.Anand Pillay - 1984 - Journal of Symbolic Logic 49 (3):880-891.
Subgroups of Stable Groups.Frank Wagner - 1990 - Journal of Symbolic Logic 55 (1):151-156.

Analytics

Added to PP index
2009-09-23

Total views
117 ( #94,661 of 2,462,369 )

Recent downloads (6 months)
1 ( #449,313 of 2,462,369 )

How can I increase my downloads?

Downloads

My notes