作者简介

陈晓平,男,1952年生,祖籍山西,哲学博士,大学就读于上海交通大学机械工程系,硕士、博士研究生就读于武汉大学哲学系。从1983年至1997年任教予武汉大学哲学系,从1997年至今任教于广州华南师范大学哲学研究所,现为公共管理学院哲学研究所所长、教授和博士生导师。作为高级访问学者,2003年7月至2004年8月在美国哈佛大学燕京学社、2007年8月至2008年2月在伦敦经济政治学院从事合作研究。主要著作有《自然演绎逻辑导论》、《归纳逻辑与归纳悖论》、《心灵、语言与实在——对笛卡尔心身问题的思考》、《贝叶斯方法与科学合理性——对休谟问题的思考》、《面对道德冲突》、《决策、博弈与认知——归纳逻辑的理论与应用》(合著)。在国内外学术刊物上发表论文一百余篇。

内容简介

《自然演绎逻辑导论》的第一版没有包括对元理论的讨论,第二版则增加了部分元理论即关于命题逻辑的元理论,而没有包括谓词逻辑和模态逻辑的元理论。关于命题逻辑元理论的讨论并非紧跟命题逻辑的章节之后,而是放在谓词逻辑和模态逻辑的章节之后。因为《自然演绎逻辑导论》作为逻辑导论教材,并不要求读者对元理论有一个全面的把握,而只是为了给出一个范例,让读者通过此范例而对现代符号逻辑的一个基本特征有所了解,这个基本特征是将语法和语义严格区分开来的。在此之前,《自然演绎逻辑导论》在章节的安排上对语义和语法各有侧重,但未加以严格区分。这对于初学者或许是有益的,因为自然语言中的推论在很大程度上是把语法和语义结合在一起的。事实上,科庇的《符号逻辑》在最后引入元理论之前也是这样处理的。这样做的目的是:试图把逻辑学教学的可接受性和严格性兼顾起来。《自然演绎逻辑导论》关于命题逻辑元理论的讨论在很大程度上参照了伯科曼的《逻辑教本》。《自然演绎逻辑导论》主要阐述了自然演绎系统的各个逻辑分支,即命题逻辑、谓词逻辑、模态逻辑和三段论逻辑等。阅读《自然演绎逻辑导论》,不要求读者预先具备任何逻辑基础知识,因此,《自然演绎逻辑导论》不仅适用于大学文科学生的逻辑导论课教材,也适合于广大读者自学。


陈晓平,男,1952年生,祖籍山西,哲学博士,大学就读于上海交通大学机械工程系,硕士、博士研究生就读于武汉大学哲学系。从1983年至1997年任教予武汉大学哲学系,从1997年至今任教于广州华南师范大学哲学研究所,现为公共管理学院哲学研究所所长、教授和博士生导师。作为高级访问学者,2003年7月至2004年8月在美国哈佛大学燕京学社、2007年8月至2008年2月在伦敦经济政治学院从事合作研究。主要著作有《自然演绎逻辑导论》、《归纳逻辑与归纳悖论》、《心灵、语言与实在——对笛卡尔心身问题的思考》、《贝叶斯方法与科学合理性——对休谟问题的思考》、《面对道德冲突》、《决策、博弈与认知——归纳逻辑的理论与应用》(合著)。在国内外学术刊物上发表论文一百余篇。

下载地址

豆瓣评论

  • ysjkdq
    搭配作者陈晓平主讲的符号逻辑引论(哔哩哔哩)。06-15
  • làzy day
    写得倒还浅显易懂,不过一大堆符号逻辑论证,容易看得头晕·~09-14
  • 履覆长清
    相比人大那本,陈晓平水平还是强出不少03-19
  • 七七
    可惜视频只到第六章,符号化与假设证明确实很好用08-18
  • 连里头的习题都做了呢!认认真真地,哈哈哈!03-13

猜你喜欢

大家都喜欢