本章所指西方现代逻辑不仅包括经典的两个演算（命题演算和谓词演算）和四论（公理集合论、证明论、递归论和模型论），还包括各种非标准逻辑（如模态逻辑、直觉主义逻辑、相干逻辑、衍推逻辑等）。鉴于侧重点不同，本书不涉及归纳逻辑及其发展的内容。
