Harmonic inferentialism and the logic of identity

Review of Symbolic Logic 9 (2):408-420 (2016)
Authors
Stephen Read
University of St. Andrews
Abstract
Inferentialism claims that the rules for the use of an expression express its meaning without any need to invoke meanings or denotations for them. Logical inferentialism endorses inferentialism specically for the logical constants. Harmonic inferentialism, as the term is introduced here, usually but not necessarily a subbranch of logical inferentialism, follows Gentzen in proposing that it is the introduction-rules whch give expressions their meaning and the elimination-rules should accord harmoniously with the meaning so given. It is proposed here that the logical expressions are those which can be given schematic rules that lie in a specific sort of harmony, general-elimination harmony, resulting from applying a certain operation, the ge-procedure, to produce ge-rules in accord with the meaning defined by the I-rules. Griffiths claims that identity cannot be given such rules, concluding that logical inferentialists are committed to ruling identity a non-logical expression. It is shown that the schematic rules for identity given in Read, slightly amended, are indeed ge-harmonious, so confirming that identity is a logical notion.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020316000010
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 36,555
External links

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.

Add more references

Citations of this work BETA

The Harmony of Identity.Ansten Klev - forthcoming - Journal of Philosophical Logic:1-18.

Add more citations

Similar books and articles

Compositionality and Modest Inferentialism.James Trafford - 2014 - Teorema: International Journal of Philosophy (1):39-56.
Motivating Inferentialism: Comments On.John Mcdowell - 2005 - Pragmatics and Cognition 13 (1):121-140.
Meaning and Inference.Jaroslav Peregrin - 2003 - In Timothy Childers & Ondrej Majer (eds.), Logica Yearbook 2002. Filosofia.
Motivating Inferentialism: Comments onMaking It Explicit.John McDowell - 2005 - Pragmatics and Cognitionpragmatics and Cognition 13 (1):121-140.
Ludics, Dialogue and Inferentialism.Alain Lecomte - 2013 - The Baltic International Yearbook of Cognition, Logic and Communication 8 (1).

Analytics

Added to PP index
2018-02-09

Total downloads
2 ( #960,749 of 2,302,572 )

Recent downloads (6 months)
2 ( #273,859 of 2,302,572 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature