自然演绎逻辑导论

出版刊物 盘天下 2024-12-26 766 0 // 自建的夸克api

作者简介

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

自然演绎逻辑导论

内容简介

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

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

下载 地址

夸克资源精选合集