2022
DOI: 10.1111/phin.12368
|View full text |Cite
|
Sign up to set email alerts
|

Necessity of identity and Tarski's T‐schema

Abstract: It is argued that Tarski's T-schema and the thesis of the necessity of identity cannot both be true.We show that the thesis of the necessity of identity 1 and Tarski's T-schema 2 cannot both be true.For, given the necessity of identity, it follows that: A: If Socrates = the teacher of Plato, then necessarily Socrates = the teacher of Plato.And hence, B: Necessarily Socrates = the teacher of Plato. But clearly.C: The statement 'Socrates = the teacher of Plato'. is not necessarily true.However, given Tarski's T-… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
3

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(2 citation statements)
references
References 0 publications
0
1
0
Order By: Relevance
“…See note 4. 6 This follows from Blum (2023). The argument depends crucially on the validity of Tarski's Tschema which may be stated informally: 'A statement is true if and only if what it states is the case'.…”
Section: T1: (X)(y) (X=y   X=y)mentioning
confidence: 99%
“…See note 4. 6 This follows from Blum (2023). The argument depends crucially on the validity of Tarski's Tschema which may be stated informally: 'A statement is true if and only if what it states is the case'.…”
Section: T1: (X)(y) (X=y   X=y)mentioning
confidence: 99%
“…Blum (2023) has recently argued that ‘Tarski's T‐schema and the thesis of the necessity of identity cannot both be true’. The argument can be formalized in a modal logic that contains the familiar modal axiom boldK: Assume that a=b If a=b, then necessarily a=b (by the thesis of the necessity of identity) Then, necessarily a=b ( modus ponens 1,2) Necessarily ‘a=b’ is true if and only if a=b (by the necessity of Tarski's T‐schema) Therefore, necessarily ‘a=b’ is true (by axiom boldK and modus ponens 3,4) However, ‘clearly’ it is not necessary that ‘a=b’ is true Contradiction. …”
mentioning
confidence: 99%