:命题6.*.从命题6开始，维特根斯坦假定了所有句子的基本形式。这个陈述不像第一眼看起来那样神秘，部分的由于维特根斯坦的特异的记号：formula_1。下面是对这些符号的解释：命题6实际上说的是，任何逻辑句子都可以推导自在原子命题的全体上的一序列的与非运算。这事实上是Henry M. Sheffer提出的一个众所周知的叫Sheffer竖线的逻辑定理，维特根斯坦使用了它。在命题6的补充命题中，他转移到逻辑的哲学反映上，它联系到关于知识、思维、先验和超越性的思想。他在最后的一节争论说，逻辑和数学只表达