Quantum logic
Does quantum mechanics/computation invite/force a change in logic?
Under active discussion since the 30’s.
Recent advances may change the terms of the debate, particularly if the efficiency/parsimony of inference is considered relevant.