If closure under complementation were a deep logical truth grounded in determinism's symmetry, it would be invariant across all relativizations, but oracle constructions show this closure is not invariant in analogous nondeterministic settings precisely because symmetry breaks.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
determinism(Discussion of classical mechanics, quantum mechanics, and general relativity)
A property of physical theories concerning whether the laws governing a system fully fix future (and past) states given present conditions; admits of degrees ('fall only a bit short')
grounded in(whether distinctness or identity is explained by intrinsic features)
To be explained by or to have its reason or basis in something else—like how a tree being wet is grounded in (explained by) recent rain.
logical truth(Bolzano's formal definition, inapplicable to purely logical propositions)
A proposition is logically true if all of its i^s-variants (substitutions of extra-logical ideas) are true
oracle constructions(theoretical computer science and logic)
A technique in computer science where you imagine a magical helper that can instantly answer certain hard questions, used to prove what is and isn't possible.
relativizations(logic and computer science)
Different versions or perspectives of a logical system where you adjust the basic assumptions or context.
symmetry breaks(physics and mathematics)
A situation where a balanced or uniform property suddenly stops applying—things that worked the same way before now work differently.