Počet záznamů: 1
The Logical Form of Identity Criteria
- 1.0493122 - FLÚ 2019 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
Klev, Ansten
The Logical Form of Identity Criteria.
The logica yearbook 2017. London: College Publications, 2018 - (Arazim, P.; Lávička, T.), s. 181-195. ISBN 978-1-84890-281-7.
[Logica 2017. Hejnice (CZ), 19.06.2017-23.06.2017]
Grant CEP: GA ČR(CZ) GJ17-18344Y
Institucionální podpora: RVO:67985955
Klíčová slova: Criteria of identity * Logical form * Neo-Logicism * Type theory
Obor OECD: Philosophy, History and Philosophy of science and technology
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.
Trvalý link: http://hdl.handle.net/11104/0290853
Počet záznamů: 1