Stav dette: Quanta, logic and spacetime