PhilSci Archive

Why Should Identity Be Harmonious?

Mitsch, Chris (2023) Why Should Identity Be Harmonious? [Preprint]

[img]
Preview
Text
Mitsch_Why_Should_Identity_Be_Harmonious.pdf

Download (327kB) | Preview

Abstract

Logical inferentialists have expected identity to be susceptible of harmonious
introduction and elimination rules in natural deduction. While Read and Klev have
proposed rules they argue are harmonious, Griffiths and Ahmed have criticized these
rules as insufficient for harmony. These critics moreover suggest that no harmonious
rules are forthcoming. I argue that these critics are correct: the logical inferentialist
should abandon hope for harmonious rules for identity. The paper analyzes the three
major uses of identity in presumed-logical languages: variable coordination, definitional
substitution, and co-reference. We show that identity qua variable coordination is not
logical by providing a harmonious natural-deduction system that captures this use
through the quantifiers. We then argue that identity qua definitional substitution or co-reference faces a dilemma: either its rules are harmonious but they obscure its actual
use in inference, or its rules are not harmonious but they make its actual use in
inference plain. We conclude that the inferentialist may have harmonious rules for
identity only by disrespecting its inferential use.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Mitsch, Chriscmitsch@uci.edu0000-0003-2502-4343
Keywords: identity; harmony; Proof-Theoretic Semantics; inferentialism; Wittgenstein; W-logic; meaning as use
Subjects: Specific Sciences > Mathematics > Logic
Depositing User: Chris Mitsch
Date Deposited: 12 Dec 2023 21:57
Last Modified: 12 Dec 2023 21:57
Item ID: 22846
Subjects: Specific Sciences > Mathematics > Logic
Date: 11 December 2023
URI: https://philsci-archive.pitt.edu/id/eprint/22846

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Actions (login required)

View Item View Item