Terrapin Station wrote: ↑February 14th, 2020, 6:10 pmNot sure to what your "there" above refers, but a discernible difference in Leibniz's sense does not mean "numerically discernible." Any two or more instances of anything are numerically discernible; else we could not know there are two instances. Your definition makes all things and instances thereof discernible, thus rendering the criterion useless and the identity of any two or more things impossible. It is another reductio ad absurdum. Leibniz speaks of numerical identity, but not "numerical discernibility." That seems to be a criterion you have invented.GE Morton wrote: ↑February 14th, 2020, 5:47 pm
They are if any presumed differences are indiscernible.
"Discernible" there refers simply to being numerically discernible. Two instances of something(s).
Per Leibniz, two (or more) apparent things are identical if none has any discernible property not shared by all the others. That the things may be viewed at different times is irrelevant.
"1. Formulating the Principle
"The Identity of Indiscernibles (hereafter called the Principle) is usually formulated as follows: if, for every property F, object x has F if and only if object y has F, then x is identical to y. Or in the notation of symbolic logic:
"∀F(Fx ↔ Fy) → x=y."
https://plato.stanford.edu/entries/iden ... scernible/
No two occurrences are literally the same, including two occurrences in time.Every pair of occurrences occur at different times or places, by definition. Else you would not know you have a pair. Again, you render the notion of identity impossible, and the word useless.
Meanings are never objective.Only if you consider meanings to be things "in people's heads." Which leads to your earlier reductio.