The Logical Form of Identity Criteria
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F18%3A00493122" target="_blank" >RIV/67985955:_____/18:00493122 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
The Logical Form of Identity Criteria
Popis výsledku v původním jazyce
It is argued here that criteria of identity do not have the form of predicate-logical formulae. The conclusion is drawn that Hume’s Principle cannot serve as a criterion of identity for the concept of cardinal number. The way criteria of identity are formulated in Martin-Löf’s type theory is presented as an alternative that is not affected by the argument.
Název v anglickém jazyce
The Logical Form of Identity Criteria
Popis výsledku anglicky
It is argued here that criteria of identity do not have the form of predicate-logical formulae. The conclusion is drawn that Hume’s Principle cannot serve as a criterion of identity for the concept of cardinal number. The way criteria of identity are formulated in Martin-Löf’s type theory is presented as an alternative that is not affected by the argument.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
60301 - Philosophy, History and Philosophy of science and technology
Návaznosti výsledku
Projekt
<a href="/cs/project/GJ17-18344Y" target="_blank" >GJ17-18344Y: Logicko-filozofická analýza pojmu identity</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2018
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
The logica yearbook 2017
ISBN
978-1-84890-281-7
ISSN
—
e-ISSN
—
Počet stran výsledku
15
Strana od-do
181-195
Název nakladatele
College Publications
Místo vydání
London
Místo konání akce
Hejnice
Datum konání akce
19. 6. 2017
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—