Journal of Philosophical Logic:1-21 (forthcoming)

Authors
Owen Griffiths
London School of Economics
Arif Ahmed
Cambridge University
Abstract
The best-known syntactic account of the logical constants is inferentialism. Following Wittgenstein’s thought that meaning is use, inferentialists argue that meanings of expressions are given by introduction and elimination rules. This is especially plausible for the logical constants, where standard presentations divide inference rules in just this way. But not just any rules will do, as we’ve learnt from Prior’s famous example of tonk, and the usual extra constraint is harmony. Where does this leave identity? It’s usually taken as a logical constant but it doesn’t seem harmonious: standardly, the introduction rule only concerns a subset of the formulas canvassed by the elimination rule. In response, Read [5, 8] and Klev [3] amend the standard approach. We argue that both attempts fail, in part because of a misconception regarding inferentialism and identity that we aim to identify and clear up.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10992-021-09605-9
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 63,133
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

General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
What Harmony Could and Could Not Be.Florian Steinberger - 2011 - Australasian Journal of Philosophy 89 (4):617 - 639.
How a Semantics for Tonk Should Be.Andreas Fjellstad - 2015 - Review of Symbolic Logic 8 (3):488-505.
The Harmony of Identity.Ansten Klev - 2019 - Journal of Philosophical Logic 48 (5):867-884.
Harmonious Rules for Identity.Owen Griffiths - 2014 - Review of Symbolic Logic 7 (3):499-510.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Harmonic Inferentialism and the Logic of Identity.Stephen Read - 2016 - Review of Symbolic Logic 9 (2):408-420.
General-Elimination Harmony and the Meaning of the Logical Constants.Stephen Read - 2010 - Journal of Philosophical Logic 39 (5):557-576.
Inferentialism and Quantification.Owen Griffiths - 2017 - Notre Dame Journal of Formal Logic 58 (1):107-113.
The Harmony of Identity.Ansten Klev - 2019 - Journal of Philosophical Logic 48 (5):867-884.
Why Conclusions Should Remain Single.Florian Steinberger - 2011 - Journal of Philosophical Logic 40 (3):333-355.
Harmony and Autonomy in Classical Logic.Stephen Read - 2000 - Journal of Philosophical Logic 29 (2):123-154.
Proof-Theoretic Validity.Stephen Read - 2015 - In Colin R. Caret & Ole T. Hjortland (eds.), Foundations of Logical Consequence. Oxford, UK: pp. 136-158.
Tonk Strikes Back.Denis Bonnay & Benjamin Simmenauer - 2005 - Australasian Journal of Logic 3:33-44.
Semantic Pollution and Syntactic Purity.Stephen Read - 2015 - Review of Symbolic Logic 8 (4):649-661.

Analytics

Added to PP index
2021-06-15

Total views
20 ( #536,175 of 2,448,300 )

Recent downloads (6 months)
20 ( #34,811 of 2,448,300 )

How can I increase my downloads?

Downloads

My notes