物理符号系统假设。对于一般智能行为来说，物理符号系统具有的手段既是必要的，也是充分的。
所谓“必要”的意思是：任何表现出一般智能的系统，经过分析，都可以证明是一个物理符号系统。所谓“充分”的意思是：任何足够大的物理符号系统，都可以通过进一步地组织，而表现出一般智能(Newell and Simon 1981:41)。
纽厄尔和西蒙将其假设的来源追溯到G·弗雷格、B·罗素和A·N·怀特海(Newell and Simon 1981:42)，然而弗雷格及其追随者们自身无疑也继承了一个悠久的、原子论的理性主义传统。笛卡尔已作过这样的假定：所有的理解都是由形成和操作恰当的表述方式组成的，这些表述方式可以经分析成为本原元素(原创性单质)，一切现象都可以理解为这些简单元素的复杂结合形式。另外，与此同时，霍布斯也隐含地假定，这些元素是由纯句法运作来陈述的形式分量，所以推理可以还原为计算。霍布斯写道：“一个人在推理时，他所做的只不过是将许多小部分相加而构造出一个整量，因为推理……不是别的，就是计算……”（Hobbes1958:45)。最后，莱布尼兹在致力于建立经典的数学观念——每一事物的形式化—的研究时，曾寻求支撑物来发展一个普适的符号系统，使“我们能为每一客体指定一个确定的特征数”(Leibniz1951:18)。根据莱布尼兹的看法，在理解过程中，我们把概念分析成更简单的元素。为了避免向越来越简单的元素回归，必须有终极的单质，据此可以对所有复杂概念作出理解。此外，如果要将概念应用于现实，必须要有这些元素所代表的简单特征。莱布尼兹设想出“一种人类思想的字母表”（1951：20），它们的“字符必须在被用于证明时显示出客体中也发现了的某种联结、分组和排序”（1951：10）。
在弗雷格和罗素的基础上，L·维特根斯坦在他的《逻辑哲学论》中阐述了心灵与实体关系的这种句法的、表述的观点的纯理论形式。他把世界定义为逻辑上独立的原子事实的总和：
人工智能哲学
332