现代逻辑是一个广泛的领域，自从弗雷格、皮尔士等创立以来，已经有一个多世纪的历史，经历了20世纪30年代的“数理逻辑黄金时代”和70年代的“哲学逻辑黄金时代”。逻辑也是一个变动不居的概念。20世纪前30年间，我们大致可以说逻辑就是类型论；一阶逻辑成为大写的逻辑（the logic）则要等到40年代。逻辑通常被视为对推理的研究，对于一个命题或一个推论，最高等级的正确性即为“逻辑有效性”。我们有证明论的手段来描述一门给定语言中全部的有效论断，进而完全性定理保证我们找到了这一特定推理方式下的“所有结论”。除了这种推理能力之外，逻辑还是关于表达能力的。推理需要一种语言来提供“逻辑形式”，逻辑语言包含命题逻辑联接词、量词和模态词等多种形式的表达式，我们不仅关心它们在推理中的表现，还要分析它们的含义。反观东土，对逻辑的种种知识，用《墨经》中的话说就是“知闻说亲”；这在某种程度上也刻画了“working logician”这个词的意思。