 An overarching theme of the Semantic View is that analyzing theory structure requires employing mathematical tools rather than predicate logic. After all, defining scientific concepts within a specific formal language makes any axiomatizing effort dependent on the choice, nature, and idiosyncrasies of that narrowly-defined language. For instance, Suppes understands first-order predicate logic, with its “linguistic” rather than “set-theoretical” entities, as “utterly impractical” for the formalization of “theories with more complicated structures like probability theory” (Suppes 1957, 232, 248–9; cf. Suppes 2002). Van Fraassen, another influential defender of the Semantic View, believes that the logical apparatus of the Syntactic View “had moved us mille milles de toute habitation scientifique, isolated in our own abstract dreams” (van Fraassen 1989, 225). Indeed, what would the appropriate logical language for specific mathematical structures be, especially when such structures could be reconstructed in a variety of formal languages? Why should we imprison mathematics and mathematical scientific theory in syntactically defined language(s) when we could, instead, directly investigate the mathematical objects, relations, and functions of scientific theory? 