The Logical Form of Identity Criteria
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
The Logical Form of Identity Criteria
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
60301 - Philosophy, History and Philosophy of science and technology
Result continuities
Project
<a href="/en/project/GJ17-18344Y" target="_blank" >GJ17-18344Y: A logico-philosophical analysis of the notion of identity</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
The logica yearbook 2017
ISBN
978-1-84890-281-7
ISSN
—
e-ISSN
—
Number of pages
15
Pages from-to
181-195
Publisher name
College Publications
Place of publication
London
Event location
Hejnice
Event date
Jun 19, 2017
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—