@ereliuer_eteer

@philosophy
@philosophie
#philosophy

It was #Kant suggesting that, where the #mathematician starts, #philosopher 's work is already done [Über die Deutlichkeit der Grundsätze... §1...]

Of course in a formal system, say #FOL, #identity is simply the strictest equivalence relation, the unit classes of the domain being its equivalence classes. And yes, this is really elementary stuff, high school level, if you like. And no, that's not, why #philosophers at least since #Leibniz (and in a sense since #Parmenides), and more recently #Frege made a case for it.

Typically math philosophical issues with identity from my point of view do include the question of indiscernibles, the sense of an identity statement wrt. redundance, the relation status of identity, ... open list