Fujaro wrote:Kevin Solway wrote:A(x) is always identical with A(x), so the law of identity is still meaningful.
If A=A is to be taken as a absolute universal truth, it must hold for every possible combination of t1 and t2, e.g. A(t1)=A(t2).
A thing at time t1 is not identical with a thing at time t2. To be identical they would have to exist in the same time and place. That's clear enough isn't it? There's no possible way you can twist the law of identity to make it say that two things that are different are actually not different, without throwing logic out the window.
Kevin wrote: "t1 would be mapped to A1, and t2 would be mapped to A2. Whether A1 has any close causal relationship with A2 is only speculation — which is to say that it is in the realm of empirical science."
It's not really important how many times you remap A, remapping to A2 means the end for A1 or else we would count many more electrons.
As I say, it's only speculation that thing A1 has any close causal connection with A2. And as a philosopher I'm not interested in mere speculation.
There is no trivial intrinsic reason why one logical system should be preferred above another logical systems as underlying reality
There are "sytems of logic", but logic itself (ie, A=A) is not one of them. Logic is used to create these systems of logic for use in specific areas of knowledge.
Only when it is shown that we can have a mapping from logical enities to real entities.
There is no "real" and "non-real" without logic.
Logic and math alone do not, and cannot, generate new truths about nature.
1 + 1 = 2 is a truth about Nature, and so is 1 + 1 + 1, etc. Hence pure logic can deliver countless truths about nature.
The unprovable principle A ≡ A is self-evidently true logically only within the logical system that adopts it.
All logical systems adopt logic, otherwise they wouldn't be logical.
Logic, be it modal logic, propositional logic, paraconsistent logic, multi-valued logic or any other kind of logic one can think of so far, fails to describe all aspects of reality and therefore is incomplete in this sense. It indeed seems that any kind of logic fails to describe the whole of the logical realm, let alone the whole of reality.
A particular system of logic might be limited, but not logic itself.
Logic can describe absolutely anything. For example, the emotion of love is described by logic as "the emotion of love". And the Infinite is described by logic as "the Infinite". There is nothing it can't deal with.