Identity in Martin-Löf type theory

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F22%3A00553397" target="_blank" >RIV/67985955:_____/22:00553397 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1111/phc3.12805" target="_blank" >https://doi.org/10.1111/phc3.12805</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1111/phc3.12805" target="_blank" >10.1111/phc3.12805</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Identity in Martin-Löf type theory

Popis výsledku v původním jazyce

The logic of identity contains riches not seen through the coarse lens of predicate logic. This is one of several lessons to draw from the subtle treatment of identity in Martin-Löf type theory, to which the reader will be introduced in this article. After a brief general introduction we shall mainly be concerned with the distinction between identity propositions and identity judgements. These differ from each other both in logical form and in logical strength. Along the way, connections to philosophical debates concerning identity are noted. Some use of logical symbolism is inevitable in any serious discussion of type theory, but the emphasis here is on basic ideas rather than technicalities.

Název v anglickém jazyce

Identity in Martin-Löf type theory

Popis výsledku anglicky

The logic of identity contains riches not seen through the coarse lens of predicate logic. This is one of several lessons to draw from the subtle treatment of identity in Martin-Löf type theory, to which the reader will be introduced in this article. After a brief general introduction we shall mainly be concerned with the distinction between identity propositions and identity judgements. These differ from each other both in logical form and in logical strength. Along the way, connections to philosophical debates concerning identity are noted. Some use of logical symbolism is inevitable in any serious discussion of type theory, but the emphasis here is on basic ideas rather than technicalities.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

<a href="/cs/project/GJ17-18344Y" target="_blank" >GJ17-18344Y: Logicko-filozofická analýza pojmu identity</a><br>

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2022

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Philosophy Compass

ISSN

1747-9991

e-ISSN

1747-9991

Svazek periodika

17

Číslo periodika v rámci svazku

2

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

14

Strana od-do

e12805

Kód UT WoS článku

000735177500001

EID výsledku v databázi Scopus

2-s2.0-85121730477