Bijan Ahmadi Kakavandi

To characterize scientific perspectivism as a realist stance, Massimi introduces her own notion of perspectival truth, which necessitates scientific theories or models from different perspectives being stitched together. Drawing on recent efforts to reify scientific theories using category theory, we propose adjunction as a formal mechanism whereby scientific theories interconnect across different perspectives. Finally, we argue that enriching perspectival realism with this foundational framework does not compromise the symmetry of scientific perspectives to which it adheres.

Ladyman and Presnell have recently argued that the Hole argument is naturally resolved when spacetime is represented within homotopy type theory rather than set theory. The core idea behind their proposal is that the argument does not confront us with any indeterminism, since the set-theoretically different representations of spacetime involved in the argument are homotopy type-theoretically identical. In this article, we will offer a new resolution based on ZFC set theory to the argument. It neither relies on a constructive-intuitionistic form of mathematics, as used by Ladyman and Presnell, nor is foundationally problematic, such as the existing set-theoretic suggestions.