Towards a logic of modalities for quantum mechanics

Modal Interpretations of quantum mechanics distinguish between the realm of possibility, where the dynamical state determines what may be the case, and the realm of actuality, where the value state represents what actually is the case. In particular, the Modal-Hamiltonian Interpretation proposes an ontology in which there are no individual objects: quantum systems are characterized as non-individual bundles of properties. The aim of the present paper is to propose some rst steps towards the development of a new modal logic adapted to describe a possibilist modality in an ontology of properties. The main idea consists in conceiving possibility as fundamental and introducing actuality as an operator acting on possible facts. On this basis, propositions referring to possible facts and propositions referring to actual facts are distinguished, and some relations between the realm of possibility and the realm of actuality are introduced.