Abstract

In this paper we discuss some proposed ways for 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 on 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 the semantic view in the philosophy of science.