Logicko-filozofická analýza pojmu identity
Cíle projektu
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.
Klíčová slova
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Juniorské granty
Veřejná soutěž
Juniorské granty 3 (SGA0201700002)
Hlavní účastníci
Filosofický ústav AV ČR, v. v. i.
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
17-18344Y
Alternativní jazyk
Název projektu anglicky
A logico-philosophical analysis of the notion of identity
Anotace anglicky
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.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
AA - Filosofie a náboženství
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)60301 - Philosophy, History and Philosophy of science and technology
60302 - Ethics (except ethics related to specific subfields)
60303 - Theology
60304 - Religious studies
Termíny řešení
Zahájení řešení
1. 1. 2017
Ukončení řešení
31. 12. 2021
Poslední stav řešení
—
Poslední uvolnění podpory
4. 4. 2019
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP21-GA0-GJ-R/02:1
Datum dodání záznamu
22. 2. 2021
Finance
Celkové uznané náklady
2 874 tis. Kč
Výše podpory ze státního rozpočtu
2 874 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
2 874 tis. Kč
Statní podpora
2 874 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
AA - Filosofie a náboženství
Doba řešení
01. 01. 2017 - 31. 12. 2021