本书分为十二章，主要内容包括：从逻辑到算术；《概念文字》中的形式证明；《算术基础》中的形式证明；《算术基本规律》中的形式证明；改变抽象原则；区分抽象原则；限制经典逻辑；修正经典逻辑；凯撒与数；凯撒与外延等。

本书选取了近年来国外关于分析哲学的最新研究论文，分为“弗雷格”、“克里普克”、“威廉姆森”、“哈克”四个专题。其中“弗雷格”专题的三篇译文是国外学者对弗雷格哲学当代价值的再发现，“克里普克”专题的三篇译文是克里普克继历史因果理论之后所建立的新的哲学理论，威廉姆森与哈克分别是英文牛津大学和美国迈阿密大学的哲学教授，他们所撰写的研究论文反映了国外分析哲学的前沿动态。