史纳德创立结构主义的科学结构理论的原著是他在1977年写成的《数学物理学的逻辑结构》1453781。尽管他获得这个结构主义理论是通过“修正兰姆西语句”而达到的，但他的中心思想是认为科学理论的基本载体是模型，模型类就是这些结构的种，而要认识一门科学，就是要分析这些模型的类，而分析模型类的主要工具就是布尔巴基的结构种。因此，作为科学理论核心的模型是一种什么样的结构呢？史纳德学派认为，科学模型的结构或模型的类x可以这样来定义：

x=＜D₁，…，D_m，R₁，…，R_n＞是如此这般的一个模型结构，

当且仅当有下列公理：

A₁（D₁，…，D_m，R₁，…，R_n），…，A_K（D₁，…，D_m，R₁，…，R_K）成立。

这里D₁，…，D_m是基础集，包括主要基础集E和辅助基础集A^*（为了不与上式的A_i相混淆，在辅助基础集上加（*）号）。R₁，…，R_n是建立在D_i上的关系集。A_i（D₁，…，D_m，R₁，…，R_n）是第i个公理，它用集合论语言来表达并且括号里的D₁，…，D_m，R₁，…，R_n必须满足这个公理。我们在上章中讨论的数学的广延理论就是以这种形式出现的。不过上面讲的是数学形式，而本章讲的模型类是有经验内容的，是有物理系统应用于这个数学结构的。用这个学派的话说就是：“物理学理论就是结构种加上它在物理系统中应用的经验断言”1453782，这些经验断言用模型与模型类来表达。

在史纳德的“经验断言中”主要是在公理系中包含一些经验的定律或现象学的定理，而理论的定律，虽然包含不可观察的理论实体，但并不表示它就没有经验的内容，因此在讨论史纳德的模型类之前我们首先要区分经验的定律和理论的定律。