坦探索了逻辑上理想的语言所需要的形式机制。他使用了真值表，它现在是解释句子逻辑的语义标准方法，并给出一种严格但相当晦涩的形式逻辑。命题5.101后来转变成哥德尔代码的特殊情况。他在简短的篇幅中覆盖了大量的基础内容，如符号、罗素悖论，重言式、矛盾和真值函数的概念。他还覆盖了在语言、科学、信仰和归纳法之间的联系的问题。命题5.2522表达了一种归纳形式，这里的"a"是一个谓词，"O' a"是在"a"上的一个运算，等等；在下面的命题6中使用了这个表示法，并用以指示"a"的所有可能的真值函数。Sec