The semantic view of theories is a position in the philosophy of science that holds that a scientific theory can be identified with a collection of models. The semantic view of theories was originally proposed by Patrick Suppes in “A Comparison of the Meaning and Uses of Models in Mathematics and the Empirical Sciences”[1] as a reaction against the received view of theories popular among the logical positivists. Many varieties of the semantic view propose identifying theories with a class of set-theoretic models in the Tarskian sense,[2] while others specify models in the mathematical language stipulated by the field of which the theory is a member.[3]