3 ms·
Law of excluded middle is a formal logic thing. If you assume law of excluded middle, you can use it for logical deduction. If you don't assume law of excluded
by hifromwork 2y ago
Law of excluded middle is a formal logic thing. If you assume law of excluded middle, you can use it for logical deduction. If you don't assume law of excluded middle, you can't. If your axioms are A->B and A then B, and even god can't change that.
In contrast laws of physics are a real world thing, and any omnipotent being can meddle with it, basically by definition.
- coldtea 2y ago>If you don't assume law of excluded middle, you can't. You can't, under your logical constraints. God has no such constraints, not just in the physical but also in the logical realm. He can make it so that assuming the law of excluded middle and not assuming it at the same time, is compatible and consistent.