05 Oct '05 15:07>2 edits
Originally posted by lucifershammerIt is also the case that both of these are false, which is the crux of my reductio demonstration.
In the example you gave, I could assert:
a OPERATOR b = b OPERATOR a
or
a OPERATOR (b OPERATOR c) = (a OPERATOR b) OPERATOR c
for any three real numbers a, b, c.
Both of the claims above are true.
3 * 4 is not equal to 4 + 3.
They are only always true if you use OPERATOR univocally, which is to say always requiring it to have the same meaning. Even if you maintain one meaning for all uses in one proposition, and one different meaning in another proposition, a contradiciton can still be derived, as shown in my original example.