内容简介 · · · · · ·
第一章 导论
第一节 数理逻辑史的研究对象和分期
第二节 数理逻辑史研究中的几个方法论问题
一 数理逻辑理论的发生和发展同社会实践的辩证关系
二 观点和材料的统一
三 逻辑方法和历史方法的统一
四 严格区别哲学观点和逻辑学说
第一编 数理逻辑前史——古典形式逻辑时期
第二章 亚里士多德的三段论
第三章 斯多阿学派的命题逻辑
第四章 中世纪的形式逻辑
第二编 数理逻辑初创时期
第五章 数理逻辑产生的时代背景
第六章 莱布尼茨的数理逻辑思想
第一节 莱布尼茨的三段论系统
第二节 莱布尼茨创建数理逻辑的指导思想
一 理性演算
二 普遍语言
第三节 莱布尼茨具体构造的演算
第七章 逻辑代数
第一节 逻辑代数建立前的逻辑发展
第二节 布尔的逻辑代数
一 逻辑代数的基本原理及类的解释
二 布尔对古典形式逻辑的处理
三 逻辑函项及其运算
四 逻辑代数的命题解释和概... (展开全部)
第一节 数理逻辑史的研究对象和分期
第二节 数理逻辑史研究中的几个方法论问题
一 数理逻辑理论的发生和发展同社会实践的辩证关系
二 观点和材料的统一
三 逻辑方法和历史方法的统一
四 严格区别哲学观点和逻辑学说
第一编 数理逻辑前史——古典形式逻辑时期
第二章 亚里士多德的三段论
第三章 斯多阿学派的命题逻辑
第四章 中世纪的形式逻辑
第二编 数理逻辑初创时期
第五章 数理逻辑产生的时代背景
第六章 莱布尼茨的数理逻辑思想
第一节 莱布尼茨的三段论系统
第二节 莱布尼茨创建数理逻辑的指导思想
一 理性演算
二 普遍语言
第三节 莱布尼茨具体构造的演算
第七章 逻辑代数
第一节 逻辑代数建立前的逻辑发展
第二节 布尔的逻辑代数
一 逻辑代数的基本原理及类的解释
二 布尔对古典形式逻辑的处理
三 逻辑函项及其运算
四 逻辑代数的命题解释和概... (展开全部)
作者简介 · · · · · ·
张家龙,江苏省江都市人。1961年毕业于北京大学哲学系哲学专业；后留校攻读哲学系数理逻辑专业研究生，1965年2月毕业；同年8月到中国科学院哲学研究所(今中国社会科学院哲学研究所)工作。1993 年被国务院学位委员会批准为博士生导师，1994—1999年任哲学所逻辑室主任。现任中国社会科学院哲学所研究员、哲学所学位委员会副主席、中国社会科学院研究生院教授、博士生导师、中国社会科学院正高级专业技术职务评委会委员、国家哲学社会科学研究哲学学科规划评审小组成员、中国逻辑学会会长、中山大学逻辑与认知研究所学术委员会主任、西南师范大学兼职教授。1987年出席第8届国际逻辑学、方法论和科学哲学大会，在第13组会上宣读了《论亚里士多德的直言三段论》和《论罗素的归纳逻辑》的两篇论文。1988—1989年，赴加拿大阿尔伯特大学哲学系从事访问研究，并应邀在该系作了关于中... (展开全部)
喜欢读"数理逻辑发展史：从莱布尼茨到哥德尔"的人也喜欢 · · · · · ·
"数理逻辑发展史：从莱布尼茨到哥德尔"的论坛 · · · · · ·
- > 点这儿转让 有84人想读,手里有一本闲着?
以下豆列推荐 · · · · · · (全部)
- Kogorou推荐的数学科普读物 (Kogorou)
- 逻辑学须看书籍 (hewitt121)
- 浙图没有的书 (李文玉)
- 米牛牛算算数 (米牛牛)
- 莱布尼茨 (Jerry)
谁读这本书?
喜欢这本书的人关注的活动 · · · · · ·
-
时间：2011-12-25 14:00
地点：北京 海淀区 双榆树 叁号会所
145人关注 -
时间：2012-03-03 15:00
地点：北京 东城区 南池子大街15号诗意栖居咖啡馆
4990人关注
订阅关于数理逻辑发展史：从莱布尼茨到哥德尔的评论:
feed: rss 2.0