The harmony of identity

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F19%3A00510490" target="_blank" >RIV/67985955:_____/19:00510490 - isvavai.cz</a>

Výsledek na webu

<a href="https://link.springer.com/article/10.1007%2Fs10992-018-09499-0" target="_blank" >https://link.springer.com/article/10.1007%2Fs10992-018-09499-0</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10992-018-09499-0" target="_blank" >10.1007/s10992-018-09499-0</a>

Jazyk výsledku

angličtina

Název v původním jazyce

The harmony of identity

Popis výsledku v původním jazyce

The standard natural deduction rules for the identity predicate have seemed to some not to be harmonious. Stephen Read has suggested an alternative introduction rule that restores harmony but presupposes second-order logic. Here it will be shown that the standard rules are in fact harmonious. To this end, natural deduction will be enriched with a theory of definitional identity. This leads to a novel conception of canonical derivation, on the basis of which the identity elimination rule can be justified in a proof-theoretical manner.

Název v anglickém jazyce

The harmony of identity

Popis výsledku anglicky

The standard natural deduction rules for the identity predicate have seemed to some not to be harmonious. Stephen Read has suggested an alternative introduction rule that restores harmony but presupposes second-order logic. Here it will be shown that the standard rules are in fact harmonious. To this end, natural deduction will be enriched with a theory of definitional identity. This leads to a novel conception of canonical derivation, on the basis of which the identity elimination rule can be justified in a proof-theoretical manner.

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í

2019

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

Journal of Philosophical Logic

ISSN

0022-3611

e-ISSN

—

Svazek periodika

48

Číslo periodika v rámci svazku

5

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

18

Strana od-do

867-884

Kód UT WoS článku

000494222600005

EID výsledku v databázi Scopus

2-s2.0-85059884685