数理逻辑发展史：从莱布尼茨到哥德尔

图书标准信息

• 作者 张家龙 著
• 出版社 社会科学文献出版社
• 出版时间 1993
• ISBN 9787800503986
• 装帧 其他
• 开本 其他
• 纸张 其他

【内容简介】

第一章 导论
第一节 数理逻辑史的研究对象和分期
第二节 数理逻辑史研究中的几个方法论问题
一 数理逻辑理论的发生和发展同社会实践的辩证关系
二 观点和材料的统一
三 逻辑方法和历史方法的统一
四 严格区别哲学观点和逻辑学说
第一编 数理逻辑前史——古典形式逻辑时期
第二章 亚里士多德的三段论
第三章 斯多阿学派的命题逻辑
第四章 中世纪的形式逻辑
第二编 数理逻辑初创时期
第五章 数理逻辑产生的时代背景
第六章 莱布尼茨的数理逻辑思想
第一节 莱布尼茨的三段论系统
第二节 莱布尼茨创建数理逻辑的指导思想

【作者简介】

张家龙,江苏省江都市人。1961年毕业于北京大学哲学系哲学专业；后留校攻读哲学系数理逻辑专业研究生，1965年2月毕业；同年8月到中国科学院哲学研究所(今中国社会科学院哲学研究所)工作。1993 年被国务院学位委员会批准为博士生导师，1994—1999年任哲学所逻辑室主任。现任中国社会科学院哲学所研究员、哲学所学位委员会副主席、中国社会科学院研究生院教授、博士生导师、中国社会科学院正高级专业技术职务评委会委员、国家哲学社会科学研究哲学学科规划评审小组成员、中国逻辑学会会长、中山大学逻辑与认知研究所学术委员会主任、西南师范大学兼职教授。1987年出席第8届国际逻辑学、方法论和科学哲学大会，在第13组会上宣读了《论亚里士多德的直言三段论》和《论罗素的归纳逻辑》的两篇论文。1988—1989年，赴加拿大阿尔伯特大学哲学系从事访问研究，并应邀在该系作了关于中国逻辑和亚里士多德模态逻辑的两次讲演。1993年8月出席第19届世界哲学大会，在数学哲学组宣读了《论直觉主义的数学哲学》的论文。