I said, "Could you give examples of classical logic formulas and definitions that show that the notion of identity is inconsistent in classical logic?"Logik wrote: ↑Wed Mar 06, 2019 11:47 pmThis is something I DID DO in my post. The integer 1 has two distinct properties. value and identity.Speakpigeon wrote: ↑Wed Mar 06, 2019 9:52 pm Could you give examples of classical logic formulas and definitions that show that the notion of identity is inconsistent in classical logic?
In fact, this is something you should have done in your first post. You merely claim the notion of identity is inconsistent in classical logic and then you don't bother to prove how it is effectively inconsistent.
Personally, I have not the faintest idea how that could possibly be and you opening post doesn't say anything as to how it is.
EB
Are you asking me to turn water into wine again?
The identity of 1 is 140717799569152
The value of 1 is 1.
which is expressed in Python as:
for all x: x = x # Meaning for all 1: 1 = 1 e.g value
for all x: id(x) = id(x) # Meaning for all 1: 140717799569152 = 140717799569152 e.g identity
This speaks to the CONCEPT of Universally Unique Identifier: https://en.wikipedia.org/wiki/Universal ... identifier
And the way to understand that concept is to think of a Turing machine and its infinite ticker tape. Every block on the tape has a unique position in spacetime. Block 1 may contain an A, block 2 may contain an A. The value of both As will be the same, the identity will not.
I further demonstrated that two integers can and do have the same identity and value, but two humans do not:
https://repl.it/@LogikLogicus/IdentityAndValue
And simply from the Python example above it seems to me that A = A is woefully incomplete.
for some x: x = x => True
for some x: x = x => False
for some x: id(x) = id(x) => True
for some x: id(x) = id(x) => False
Which is what you WOULD expect from two different properties. Because 2^2 gives you 4 permutations.
But the simplest way to say it in English and following straight from the wikipedia page's example of "a rose is a rose is a rose".
A rose is a rose is a rose.
But one rose is not another.
EB