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