Standard

Identity in Classical and Constructive Mathematics. / Rodin, Andrei.

Axiomatic Method and Category Theory. Springer Nature, 2014. стр. 149-173 (Synthese Library; Том 364).

Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › глава/раздел › научная › Рецензирование

Harvard

Rodin, A 2014, Identity in Classical and Constructive Mathematics. в Axiomatic Method and Category Theory. Synthese Library, Том. 364, Springer Nature, стр. 149-173. https://doi.org/10.1007/978-3-319-00404-4_6

APA

Rodin, A. (2014). Identity in Classical and Constructive Mathematics. в Axiomatic Method and Category Theory (стр. 149-173). (Synthese Library; Том 364). Springer Nature. https://doi.org/10.1007/978-3-319-00404-4_6

Vancouver

Rodin A. Identity in Classical and Constructive Mathematics. в Axiomatic Method and Category Theory. Springer Nature. 2014. стр. 149-173. (Synthese Library). https://doi.org/10.1007/978-3-319-00404-4_6

Author

Rodin, Andrei. / Identity in Classical and Constructive Mathematics. Axiomatic Method and Category Theory. Springer Nature, 2014. стр. 149-173 (Synthese Library).

BibTeX

@inbook{6eca8001a6ee4c1ab0a0f7e525e20506,
title = "Identity in Classical and Constructive Mathematics",
abstract = "Changing objects (of any nature) pose a difficulty for the metaphysically-minded logician known as the Paradox of Change. Suppose a green apple becomes red. If A denotes the apple when green, and B when it is red then A = B (it is the same thing) but the properties of A and B are different: they have a different color. This is at odds with the Indiscernibility of Identicals thesis according to which identical things have identical properties.",
keywords = "Cardinal Number, Coincident Point, Intensional Logic, Mathematical Object, Proper Classis",
author = "Andrei Rodin",
note = "Publisher Copyright: {\textcopyright} 2014, Springer International Publishing Switzerland.",
year = "2014",
doi = "10.1007/978-3-319-00404-4_6",
language = "English",
isbn = "978-3-319-37551-9",
series = "Synthese Library",
publisher = "Springer Nature",
pages = "149--173",
booktitle = "Axiomatic Method and Category Theory",
address = "Germany",

}

RIS

TY - CHAP

T1 - Identity in Classical and Constructive Mathematics

AU - Rodin, Andrei

N1 - Publisher Copyright: © 2014, Springer International Publishing Switzerland.

PY - 2014

Y1 - 2014

N2 - Changing objects (of any nature) pose a difficulty for the metaphysically-minded logician known as the Paradox of Change. Suppose a green apple becomes red. If A denotes the apple when green, and B when it is red then A = B (it is the same thing) but the properties of A and B are different: they have a different color. This is at odds with the Indiscernibility of Identicals thesis according to which identical things have identical properties.

AB - Changing objects (of any nature) pose a difficulty for the metaphysically-minded logician known as the Paradox of Change. Suppose a green apple becomes red. If A denotes the apple when green, and B when it is red then A = B (it is the same thing) but the properties of A and B are different: they have a different color. This is at odds with the Indiscernibility of Identicals thesis according to which identical things have identical properties.

KW - Cardinal Number

KW - Coincident Point

KW - Intensional Logic

KW - Mathematical Object

KW - Proper Classis

UR - http://www.scopus.com/inward/record.url?scp=85117124177&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-00404-4_6

DO - 10.1007/978-3-319-00404-4_6

M3 - Chapter

AN - SCOPUS:85117124177

SN - 978-3-319-37551-9

T3 - Synthese Library

SP - 149

EP - 173

BT - Axiomatic Method and Category Theory

PB - Springer Nature

ER -

ID: 92471704