本书的第一版没有包括对元理论的讨论，第二版则增加了部分元理论即关于命题逻辑的元理论，而没有包括谓词逻辑和模态逻辑的元理论。关于命题逻辑元理论的讨论并非紧跟命题逻辑的章节之后，而是放在谓词逻辑和模态逻辑的章节之后。因为本书作为逻辑导论教材，并不要求读者对元理论有一个全面的把握，而只是为了给出一个范例，让读者通过此范例而对现代符号逻辑的一个基本特征有所了解，这个基本特征是将语法和语义严格区分开来的。在此之前，本书在章节的安排上对语义和语法各有侧重，但未加以严格区分。这对于初学者或许是有益的，因为自然语言中的推论在很大程度上是把语法和语义结合在一起的。事实上，科庇的《符号逻辑》在最后引入元理论之前也是这样处理的。这样做的目的是：试图把逻辑学教学的可接受性和严格性兼顾起来。本书关于命题逻辑元理论的讨论在很大程度上参照了伯科曼的《逻辑教本》。本书主要阐述了自然演绎系统的各个逻辑分支，即命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。阅读本书，不要求读者预先具备任何逻辑基础知识，因此，本书不仅适用于大学文科学生的逻辑导论课教材，也适合于广大读者自学。
陈晓平，男，1952年生，祖籍山西，哲学博士，大学就读于上海交通大学机械工程系，硕士、博士研究生就读于武汉大学哲学系。从1983年至1997年任教予武汉大学哲学系，从1997年至今任教于广州华南师范大学哲学研究所，现为公共管理学院哲学研究所所长、教授和博士生导师。作为高级访问学者，2003年7月至2004年8月在美国哈佛大学燕京学社、2007年8月至2008年2月在伦敦经济政治学院从事合作研究。主要著作有《自然演绎逻辑导论》、《归纳逻辑与归纳悖论》、《心灵、语言与实在——对笛卡尔心身问题的思考》、《贝叶斯方法与科学合理性——对休谟问题的思考》、《面对道德冲突》、《决策、博弈与认知——归纳逻辑的理论与应用》（合著）。在国内外学术刊物上发表论文一百余篇。