The harmony of identity

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
The harmony of identity
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology

Project
<a href="/en/project/GJ17-18344Y" target="_blank" >GJ17-18344Y: A logico-philosophical analysis of the notion of identity</a><br>
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

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

Similar results(10)