Frente al intento de los anteriores empiristas lógicos de formalizar las teorías de la física en el lenguaje de la lógica de primer orden, que resultaba un tanto forzado e innecesariamente complicado, Patrick Suppes fue el primero en proponer una concepción semántica y estructural de las teorías, caracterizadas como familias de estructuras conjuntistas identificadas con los modelos de la teoría.