thomyum2 wrote: ↑Tue Jun 16, 2026 5:42 pmOK, thank you. I'm not sure I fully understand but let me give it a try and you can tell me if I'm correctly interpreting what you are saying or not.Eodnhoj7 wrote: ↑Mon Jun 15, 2026 12:09 amOkay.thomyum2 wrote: ↑Sun Jun 14, 2026 10:51 pm Unfortunately, I still fail to follow your argument. You are using both language and symbols in ways that are not standard in the kinds of philosophical discourse that I am familiar with, and if it seems that I am 'arguing out of context' here, that is because I'm not even able to understand what the context is in the first place. But thank you for making the effort to explain in a little more detail. If you wish to explain some more to help me understand, I'd be happy to hear what you have to say, but I don't want to take up your time if you have better things to do.
So we have the identity laws, which are prior to n-order logics as n-order logics require them and are subject to the same identity laws as n-order logics.
So pre-n-order logic is the meta-logic of applying the laws to themselves only using the context of the law. No n-order rules as the rules themselves require and are subject to the identity laws.
The reason you are confused is that you are applying n-order logics to a recursive state of the laws being applied to the laws...where the only context is the laws.
The issue is that you are neither wrong nor right. It is a contextualization issue.
If you are considering the identity laws in terms of meta-logic, or what you are calling 'pre-n'order' logic, that suggests to me that you are only looking at the raw, underlying logic itself and not the manner in which the logic is used in ordinary language or in philosophical dialogue (which would be first order). So you're applying the logic very strictly to the symbols, which is why you can argue that "-A=-A", since the "-A", taken as a symbol only, is identical to itself (whereas put back into the original context, 'not A' results in a plurality of possible values which aren't necessarily equal to each other).
In other words, you are removing the logic from the traditional (and limited) context of its application and considering it in isolation, in a purely symbolic context. If that is the case, then it seems to me you are conducting a sort of 'formal' exercise with the logic only, not really making any philosophical claims about the implications for the 'real world' but just commenting on the logic itself. Am I on the right track here?
Close.
I am not making implications for the real world, or unreal world. Nothing about the world. To be precise I am making implications, and argument, over the nature of the identity of identity itself from which the identity of "real/unreal" or "world/not world" are derived.
This derivation is simple.
No n-order logic can be used.
Why?
Because n-order logic is subject to identity. By being subject to identity n-order logic cannot be logically used as it cannot contain the identity by which it is derived.
Can n-order logic result in clarifying identity? Yes of course.
But identity itself? No.
The reason?
N-order logic is subject to LI and LNC as:
NOL=NOL and NOL=/=-NOL.
So what remains as the primitive from which n-order is derived is the identity laws.
So the identity laws. They cannot be logically argued from n-order, as previously explained, so the identity laws have to be applied to the identity laws.
Why?
To see there nature beyond being assumed as true.
And why that?
To see the potential of further n-order logics derived if the foundations are re-adjusted or seen in a different light.
So the identity law question?
Recursion is used....as you can see if you read the original text. The same recursion that Godel used for the incompleteness theorems to expose the foundations of math.
But instead of exposing foundations of math, or more specifically in this case n-order logic, what is exposed is the foundations of identity itself....that which math and logic are built upon.