A logico-philosophical analysis of the notion of identity
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
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
60301 - Philosophy, History and Philosophy of science and technology<br>60302 - Ethics (except ethics related to specific subfields)<br>60303 - Theology<br>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