On the nature of pulsars

The paper contains a relatively non-technical summary of some recent work by the author and Jeremy Butterfield. The goal is to find a way of assigning meaningful truth values to propositions in quantum theory: something that is not possible in the normal, instrumentalist interpretation. The key mathematical tool is presheaf theory where multi-valued, contextual truth values arise naturally. We show how this can be applied to quantum theory, with the ‘contexts’ chosen to be Boolean subalgebras of the set of all projection operators.