Hmm. I've never read about constructive logic, it looks pretty interesting. Thanks for bringing it up, I'll look into it. Maybe those two examples I gave are

Hmm. I've never read about constructive logic, it looks pretty interesting. Thanks for bringing it up, I'll look into it. Maybe those two examples I gave are bad. But in general, I guess that the question itself (of whether or not logic holds true in all universes) sounds like it is fundamentally unanswerable by using our logical system. Since the fundamentals are axioms, and presupposing an axiom to be false would always be contradictory, we could never prove such a universe to exist. What even is logic? The more I think about it, the less fundamental it seems, and the more it seems like just an aspect of our brains. It's like they are just descriptions of the internal consistency in how our brains are wired. What does it even mean for something to be true or false? Reality is just reality, and any "sense" we make of it is just a state of equilibrium in our brains. Is a mathematical statement in our minds (like 1+1=2) true because of the nature of reality, or true because the structure and rules of arithmetic that we've created happen to trigger some pleasurable sense of consistency in our minds? And perhaps the whole derivation of mathematics is just a discovery of how our brains perceive "correctness". Well, I'm rambling, I guess it's an unknowable thing, because we're always operating in the bias of our own minds.