The Logical Form of Identity Criteria

Kód výsledku v IS VaVaI

RIV/67985955:_____/18:00493122 - isvavai.cz

Výsledek na webu

—

DOI - Digital Object Identifier

—

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

GJ17-18344Y: Logicko-filozofická analýza pojmu identity

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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ů

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

—