Identity and sortals (and Caesar)

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F17%3A00473533" target="_blank" >RIV/67985955:_____/17:00473533 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/s10670-016-9801-2" target="_blank" >http://dx.doi.org/10.1007/s10670-016-9801-2</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/s10670-016-9801-2" target="_blank" >10.1007/s10670-016-9801-2</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Identity and sortals (and Caesar)

Popis výsledku v původním jazyce

According to the sortal conception of the universe of individuals every individual falls under a highest sortal, or category. It is argued here that on this conception the identity relation is defined between individuals a and b if and only if a and b fall under a common category. Identity must therefore be regarded as a relation of the form x= Zy, with three arguments x, y, and Z, where Z ranges over categories, and where the range of x and y depends on the value of Z. An identity relation of this kind can be made good sense of in Martin-Löf’s type theory. But identity so construed requires a reformulation of Hume’s Principle that makes this principle unfit for explaining the sortal concept of cardinal number. The Neo-Logicist can therefore not appeal to the sortal conception in tackling the Julius Caesar problem, as proposed by Hale and Wright (The reason’s proper study. Oxford University Press, Oxford, pp. 335–396, 2001b).

Název v anglickém jazyce

Identity and sortals (and Caesar)

Popis výsledku anglicky

According to the sortal conception of the universe of individuals every individual falls under a highest sortal, or category. It is argued here that on this conception the identity relation is defined between individuals a and b if and only if a and b fall under a common category. Identity must therefore be regarded as a relation of the form x= Zy, with three arguments x, y, and Z, where Z ranges over categories, and where the range of x and y depends on the value of Z. An identity relation of this kind can be made good sense of in Martin-Löf’s type theory. But identity so construed requires a reformulation of Hume’s Principle that makes this principle unfit for explaining the sortal concept of cardinal number. The Neo-Logicist can therefore not appeal to the sortal conception in tackling the Julius Caesar problem, as proposed by Hale and Wright (The reason’s proper study. Oxford University Press, Oxford, pp. 335–396, 2001b).

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

60301 - Philosophy, History and Philosophy of science and technology

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2017

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 periodika

Erkenntnis

ISSN

0165-0106

e-ISSN

—

Svazek periodika

82

Číslo periodika v rámci svazku

1

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

16

Strana od-do

1-16

Kód UT WoS článku

000394209600001

EID výsledku v databázi Scopus

2-s2.0-84955324832