Originally posted by FZ+
If we say the universe is real, and logic is the universe, we get the idea that all true logic are represented in reality. They are independently real. They are not the same as ideas. So we are not saying there is a creator, but a fundamental material of which all things are made, which contains the information of these rules. Like DNA does for life, perhaps.
Here you make step backwards. You say there is material which then interacts. You just moved the fundamental question elsewhere. Question where does it come from creeps in immediately. While its possible to construct all from logic alone.
check out this 'mad' scientist:
http://ebtx.com/ntxtoc.htm
Alex, you might find it interesting too.
Why is the universe internally consistent? Because internal consistency is automatic. Where does our analysis of consistency come from? The real logic. So, the universal logic just cannot be internally inconsistent as if then, the inconsistency would be the new consistency. Our idea of what is consistent would simply be different.
Yes it would. This is interesting matter in itself - consistently inconsistent logic is .. consistent. But then our whole math would be different. Have you thought about any other possible kind of logic? Try. imo, human mind simply doesn't bend enough to come up with something. Mainly because our only tool to evaluate consistency of other logic, is our logic. We can only evaluate it in context of our logic that may be unable to see internal consistency of other, in context of other logic itself. To really construct some other internally consistent logic, you'd need to THINK in context of other logic. And that's the real difficulty, we can't escape our own logic, to do that you'd need to go frankly nuts.
Yet, where from comes restriction to real logic, what rejects possible acausal disappearance of sun? I mean, in terms of deep logic of universe - why it stays the same, everywhere? What holds it in piece? Why it doesn't change randomly like in worst LSD dreams?
Originally posted by Alexander
Notice that logic comes from the fact that something EXISTS. So, foundation of logic is just the fact of EXISTENCE of anything.
Therefore, if anything exists it shall then obey logic by the very definition of logic.
Imo, you are abit too excited about definitions. There is myriad of assumptions and observations in simple term EXISTS, as is also claim that 'it shall then obey logic'. What you repeatedly try to put into me, is just source of our human logic, based on observation of macro world. I don't object that, I simply don't agree that its universal simply by our definition. You can ponder about term 'exists', because you can imagine and define nonexistent. But how on Earth must universe evaluate term 'not exist'? In universe, everything can only exist, for that which doesn't, is outside of universe and doesn't participate in 'logic'.
All that exists necessarily interacts, or, infact, to exist is to interact. Then logic of reality is not in fact of existence, but in kind of interactions.
Think about photon. Does it EXIST in yes/no and stationary form? No, it can exist only at speed of light, only via interaction, and only through probabilities. If our macro world behaved like that, our 'foundation of logic' would be completely different. So, we are trying to apply our logic to QM world that doesn't actually follow our logic exactly, yet we are successful in describing it.
Logic as a tool is actually indifferent to how reality behaves, all it does it to evaluate validity of claims from given assumptions, in context of logic rules. It even handles okay claims such as photon partly exists, and partly doesn't, that it sometimes obeys logic and sometimes doesn't. If you as scientist restrict possibilities by postulates, then, you describe the world in context of those postulates, and instead of partly exists you get energy barriers, entanglement, probabilities, etc.
And still, again, you talk about FACT that its so and so, and that we use that fact as our basis. And you evaluate possibilities in context of our logic. You do not allow even possibility that there might be other logic, by which EXISTS might not necessarily mean obeying logic.