Abstract

In this paper, we discuss some proposed ways of defining the notions of structure and isomorphism between structures in the absence of formal language. We discuss Halvorson’s arguments against the semantic view conception of the notion of structure and Glymour and Lutz’s criticisms of Halvorson’s view. We suggest a new look at structures suggested by homotopy type theory (HoTT). This approach is consistent with both the syntactic and semantic views in the philosophy of science.