热搜：南怀瑾 |证严上人

分类浏览

  • 文学艺术
  • 历史哲学
  • 政治法律
  • 经济管理
  • 新闻传播
  • 外国语言
  • 理工科技
  • 文化教育
  • 医药卫生
  • 教辅教参
  • 学前教育
  • 综合性图书

品牌教材

复旦博学品牌
复旦卓越品牌


作为哲学的数理逻辑
作者：
 杨睿之 著
定价：
32 元
页数：
218页
ISBN：
978-7-309-12658-7/O.610
字数：
250千字
开本：
16 开
装帧：
平装
出版日期：
2016年11月 　　　　　　
本类其他相关图书

内容提要

       现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解，孕育了现代计算机科学，还促成了分析哲学的崛起，由此深刻地改变了哲学研究的样貌。此后的数理逻辑越来越陷入高度的技术化与专业化，并渐渐淡出公众、哲学家甚至其他领域数学家的视野。然而，无论是数学基础问题还是一般的哲学问题都仍然呼唤着哲学与逻辑的再度携手。本书试图将经过演变与发展的数理逻辑与哲学重新介绍给对方，让哲学工作者或爱好者快速正确地理解当代数理逻辑的主要工作，也让逻辑学工作者或学生了解与他们的工作有关的哲学上的关切。
      

作者简介

       杨睿之，现任复旦大学哲学学院讲师。北京大学哲学系逻辑学博士，哈佛大学访问学者。主要研究方向为数理逻辑与数学哲学。
      

书摘

书评       
　  

地址:上海市国权路579号
邮编:200433
电话:021-65642854(社办)
传真:021-65104812

　
　

版权所有©复旦大学出版社,2002-2024年，若有问题请与我们 (webmaster@fudanpress.com) 联系！ 沪ICP备05015926号