Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review
Identity in Classical and Constructive Mathematics. / Rodin, Andrei.
Axiomatic Method and Category Theory. Springer Nature, 2014. p. 149-173 (Synthese Library; Vol. 364).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Research › peer-review
}
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