A logico-philosophical analysis of the notion of identity
Project goals
Modern predicate logic teaches us that identity is a reflexive, symmetric, and transitive binary relation satisfying Leibniz' Law. This simple description gives the impression that identity is, as David Lewis has claimed, "utterly simple and unproblematic''. That identity and its logic is much more complex than what is revealed by standard predicate logic has become clear with the development of Per Martin-Löf's type theory. As an entirely new insight in the history of logic, this theory distinguishes two notions of identity, so-called criterial identity and propositional identity. This insight has caught the attention of theoretical computer scientists, but is still largely unnoticed by philosophers. The proposed project will offer philosophical elucidation of, and draw philosophical consequences from, this new logical insight and will contribute new technical results on the logic of identity. The research will draw on technical work in theoretical computer science and mathematical logic, and on philosophical work on identity and individuation.
Keywords
Public support
Provider
Czech Science Foundation
Programme
Junior Grants
Call for proposals
Juniorské granty 3 (SGA0201700002)
Main participants
Filosofický ústav AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
17-18344Y
Alternative language
Project name in Czech
Logicko-filozofická analýza pojmu identity
Annotation in Czech
Podle moderní predikátové logiky je identita reflexivní, symetrická a tranzitivní binární relace, která se řídí Leibnizovým zákonem. Takto jednoduchý popis vyvolává dojem, že identita je, jak tvrdí David Lewis, „zcela jednoduchá a neproblematická“. Avšak jak ukázala konstruktivní teorie typů Pera Martin-Löfa, identita a její logika je mnohem komplexnější, než jak ji pojímá standardní predikátová logika. Tento v dějinách logiky naprosto nový přístup rozlišuje dvě pojetí identity, tzv. identitu kriteriální a identitu propoziční. Tento pohled už vzbudil pozornost teoretických informatiků, filosofy je ale stále poněkud opomíjen. Předkládaný projekt chce tento nový logický přístup objasnit z filosofického hlediska, popsat jeho důsledky pro filosofii a přispět novými technickými výsledky týkajícími se logiky identity. Výzkum vychází z technických prací teoretické informatiky a matematické logiky a z filosofických prací o identitě a individuace.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
AA - Philosophy and religion
CEP - secondary branch
—
CEP - another secondary branch
—
60301 - Philosophy, History and Philosophy of science and technology
60302 - Ethics (except ethics related to specific subfields)
60303 - Theology
60304 - Religious studies
Solution timeline
Realization period - beginning
Jan 1, 2017
Realization period - end
Dec 31, 2021
Project status
—
Latest support payment
Apr 4, 2019
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP21-GA0-GJ-R/02:1
Data delivery date
Feb 22, 2021
Finance
Total approved costs
2,874 thou. CZK
Public financial support
2,874 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Recognised costs
2 874 CZK thou.
Public support
2 874 CZK thou.
0%
Provider
Czech Science Foundation
CEP
AA - Philosophy and religion
Solution period
01. 01. 2017 - 31. 12. 2021