Logicko-filozofická analýza pojmu identity

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.

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 <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</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

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

Podobné projekty(10)