Logik wrote: ↑Mon Mar 04, 2019 12:13 pm
Age wrote: ↑Mon Mar 04, 2019 11:57 am
Logik wrote: ↑Mon Mar 04, 2019 11:49 am
So X = Х is True?
Not necessarily so.
So if X = X is neither true nor false, what is it then?
Give us a word.
Maybe the word is assignment, not exactly unlike the following:
The variable “x” is assigned the value of the expression “x is neither true nor false”.
So the meta-statement would be:
x = (x = True or x = False)
In that case it is obvious that the meta-statement is always true by virtue of the law of the excluded middle.
Furthermore, the meta-statement is also true if:
True = (is the same as) False
or
True = (is assigned the value of) False
The word is assignment.