Benjamin Eva

As a metaphysical theory, radical ontic structural realism is characterised mainly in terms of the ontological primacy it places on relations and structures, as opposed to the individual relata and objects that inhabit these relations/structures. The most popular criticism of ROSR is that its central thesis is incoherent. Bain attempts to address this criticism by arguing that the mathematical language of category theory allows for a coherent articulation of ROSR’s key thesis. Subsequently, Wüthrich and Lam and Lal and Teh have criticised Bain’s arguments and claimed that category theory fares no better than set theory in coherently articulating the main ideas of ROSR. In this paper, we defend Bain’s main arguments against these critiques, and attempt to elaborate on the sense in which category theory can be seen as providing a coherent articulation of ROSR. We also consider the relationship between ROSR and Categorical Quantum Mechanics.

Topos quantum theory represents a whole new approach to the formalization of non-relativistic quantum theory. It is well known that TQT replaces the orthomodular quantum logic of the traditional Hilbert space formalism with a new intuitionistic logic that arises naturally from the topos theoretic structure of the theory. However, it is less well known that TQT also has a dual logical structure that is paraconsistent. In this paper, we investigate the relationship between these two logical structures and study the implications of this relationship for the definition of modal operators in TQT.