初看起来，逻辑学似乎是结构的特别有利的领域，因为逻辑学是研究认识的形式，而不是研究认识的内容的。而且还进一步，当我们在（第六节已经指出的）“自然数”这个：“自然”的意义上提出自然逻辑这个问题（现时逻辑学家的看法不对）时，我们很快就看到，逻辑形式处理过的内容仍然有某些形式，具有可以逻辑化的形式的方向，这些内容的形式包括了一些加工得更差的内容，但这些内容又是有某些形式的；如此依次类推，每一个成分对于比它高级的成分来说是内容，而对于比它低级的成分来说是形式。

    但是，固然这些形式上的嵌套接合关系和形式与内容的相对性，对于结构主义理论说来都是极有启发意义的，逻辑学对于这些关系和相对性的问题却并不感觉兴趣，只是在形式化的界限问题（参看第8节）上，才间接地有关。符号逻辑或数理逻辑（今天唯一算得上的逻辑）是建立在这上升的形式一内容阶梯上任意一点的，不过要有使这任意一点成为一个绝对起点的系统化的意图；这样一个意图是合理的，因为这个意图借助于设定公理的方法是可以实现的。事实上，只须选择一定数目的概念和一定数目的命题作为起点；把这些概念看作是不能下定义的，意思是说，这些概念是用来为其他概念下定义的；并且把这些命题看作是不要加以论证的（因为对于所选择的体系而言，选择这些概念是自由的），而这些命题却是为论证服务的。不过，这些基本的概念和公理应该是充分的，它们相互之间可以并存，并且要减少到最低限度，就是说不是多余的。其次，要只用运算程序的形式给自己定出一些构造规则；于是形式化就成为一个自给自足的体系，并不求助于外在的直觉，而且这个体系的起点在某种意义上是绝对的。不言而喻，还有一个形式化的上界问题，还有要知道那些不能下定义和不要加以论证的范围有多大，这些认识论的问题。但是，从逻辑学家所处的形式观点来看，这儿无疑就是唯一的一个在纯粹是内部调整意义上、也就是在完全自身调节作用的意义上、绝对自主的例子。

    因此，从广义的观点出发，我们可以同意，每一个逻辑体系（逻辑体系是有无数个的）都能组成一个结构，因为每一个逻辑体系都具有整体性、转换性和自身调整性这三个性质。然而，一方面，这是些专门为此（ad hoc）建立起来的“结构”。而不管我们是否说出来，结构主义的真实倾向却是要达到“自然的”结构；“自然的”这个概念有点模棱两可，并且经常是名声不好的，它或者是指在人性中深深扎根的意思（有重又回到先验论上去的危险），或者相反是指有一个某种意义上独立于人性的绝对存在，它只是应该适应人性而已（这第二个意思有重又回到超经验的本质上去的危险）。

    另方面，这里有一个更严重的问题：一个逻辑体系，就它所证明的定理的整体而言，就是一个封闭性的整体。但是，这只是一个相对的整体，因为对那些它不加以证明的定理而言（特别是那些不能决定真假的定理，原因是形式化有限度），这个体系的上方是开放着的；而且这个体系的下方也是开放着的，原因是作为出发点的概念和公理，包含着一个有许多未加说明的成分的世界。

    后面这个问题，是我们称之为逻辑学的结构主义所特别关心的问题。因为逻辑学结构主义所明白说出来的企图，就是要找出，在被所设定的公理法定了的作为出发点的那些运算下面，可能有些什么。而我们已经找到的，乃是一个若干真正结构的整体，不但可以和数学家所使用的大结构——这些大结构使人在直觉上必须接受，与它们的形式化无关——相比拟；而且与数学家所使用的某些大结构是有同一性的，于是它又成了我们今天叫做普通代数学的这个结构理论的一部分。

    特别使人感到惊奇的，是十九世纪符号逻辑学