- 稠密性 事实与概念之比必须相当高。换句话说，这些单元必须含有大量接口。从某种意义上说，低密度形式化是没有价值的，因为它们无法对所含的概念作出充分说明，以便完全确切地将意义固定下来。有时，为了特定的目的，例如进行基础研究，低密度可能有其优越之处，但对我们来说却不然。
- 统一性 对于整个形式化来说，应当有一个共同的形式框架系(语言、系统等)，这样，不同部分(公理、框架……)之间的推论联结才能显而易见；同时子形式化的划分，不是通过在这一区域使用这一形式体系，在另一区域使用另一形式体系的决定预先作出判断的。
(正像我将在后面强调的，我也认为，允许使用各种形式体系，在方法论上是很重要的：一个特定的子区域常常可以用某种特异的方式简洁地加以表示。然而这并不造成矛盾：因为我们同时也主张，这种特异的形式体系能够系统地还原为基本的形式体系，因而将被看作“语义的结晶”。这是重要的，因为虽然一种表述方式的计算特性可能关键取决于这种特异形式体系的用法，但是必须有一个共同的表述框架系，在这框架系内，任何一个表述条目的意义内容都能够与别的任何条目的意义内容联系起来。)
我相信，可以在一个合理的时间尺度上构造出具有这些性质的朴素物理学的形式化。如此乐观的原因将在后面作出解释。然而，把这一方案同另一些可能与此混淆的方案明确区分开来是很重要的，因为其中有些方案的可操作程度看来要低得多。
- 本方案不主张什么
(a)本方案无意编写一个计算机程序，使之能够在某种意义上“使用”这一形式体系，例如问题求解程序，或是以表述为目的的自然语言理解系统。我的兴趣所在始终是对其作出论证。(这些程序令人印象深刻，并且已令人满意地实际制造出某些有效的东西，如建立铁路模型；同时，某些学生也可因此而获得哲学博士学位。)然而程序会把注意力引向歧途。事实上，我认为它们还造成许多更危险的影响。很容易错误地作出结论：因为有一个(在某种意义上)有效的程序，所以它对知识的表述必然或多或少地(在某种意义上)是正确的。令人遗憾的是，为了使程序在合理的空间中或是合理的时间中有效，而必须采取的少量的折衷和简化，往往会使这一表述方式甚至还不如本来那样令人满意。
8 朴素物理学宣言
185