看来,关于决定论的理论模型的说明更倾向于拉普拉斯采用推论术语的定义。然而,决定论的理论模型定义是由理查德·蒙塔古完整提出的。传统机械论提供了决定理论的范式,定量机械论则提供了非决定理论的范式。我们应带着怀疑的眼光来看任何决定论定义,它们使传统机械论成为别的而不是决定论的。
试设想:传统粒子机械论中宇宙的一个瞬间状态S0,这个状态是从单个粒子到有秩序的位置和速度组合过程中的一个函数。假设S0可以被特别说明,把这些说明附加于传统粒子机械论的公理上(包括那些产生力的相对律公理),那么就只有一种S0和公理的标准模型而言,这个体系是被决定的。这样,在其他时间St,宇宙只有一种可能状态。使用形象的说法“可能的宇宙”,我们可以说只有一个包括S0并与自然律吻合的可能的宇宙。然而,如果使用既定理论中可定义的某种模型,我们就可以避免使用“可能的宇宙”这种尝试性的说法。一个包括n个传统粒子的宇宙的简单例子就可以解释一般的理念。这些粒子的位置和速度,可以由一个6n维空间中的粒子的位置来表示(对每个粒子,三维代表每个位置和速度)。让我们简化这个例子,假设粒子不相撞,因而没有速度的同时改变。就下述情形而言,这个体系是决定论的:粒子代表在6n维空间中划出一道轨迹,仅仅是这道穿过既定点的线与机械论法则吻合。