现代逻辑起源于19与20世纪之交人类对于数学基础问题的思考。其早期发展无疑是对人类理性事业的重大推动。弗雷格概念文字、希尔伯特公理系统、塔斯基真定义、哥德尔完备性与不完备性定理、图灵机对机械可计算的刻画等成果不仅让人类对数学基础有了全新的理解,孕育了现代计算机科学,还促成了分析哲学的崛起,由此深刻地改变了哲学研究的样貌。
此后的数理逻辑越来越陷入高度的技术化与专业化,并渐渐淡出公众、哲学家甚至其他领域数学家的视野。然而,无论是数学基础问题还是一般的哲学问题都仍然呼唤着哲学与逻辑的再度携手。杨睿之*的《作为哲学的数理逻辑/逻辑与形而上学教科书系列》试图将经过演变与发展的数理逻辑与哲学重新介绍给对方,让哲学工作者或爱好者快速正确地理解当代数理逻辑的主要工作,也让逻辑学工作者或学生了解与他们的工作有关的哲学上的关切。
第一章 导言
1.1 数理逻辑与分析哲学的蜜月期
1.1.1 弗雷格《概念文字》与《算术基础》
1.1.2 罗素《论指称》
1.1.3 刘易斯对严格蕴涵的刻画
1.1.4 塔斯基的真定义
1.1.5 图灵对能行过程的刻画
1.2 分道扬镳
1.2.1 形式语言vs.日常语言
1.2.2 自然化的分析哲学
1.2.3 新形式主义
1.3 危机与困境
1.3.1 分析哲学的危机
1.3.2 数理逻辑的困境
第二章 计算与随机
2.1 不可计算的度
2.1.1 递归可枚举集
2.1.2 度的结构
2.2 随机性
2.2.1 随机性的对象
2.2.2 刻画随机性
2.2.3 随机性与可计算性
第三章 相对一致性
3.1 相对一致性结果的意义和有穷主义方法
3.2 可构成集与直谓主义
3.3 力迫法与脱殊扩张
3.3.1 外模型与玩具模型
3.3.2 想象的语言
第四章 无穷之上
4.1 二阶算术与大基数
4.1.1 描述集合论
4.1.2 无穷博弈与决定性公理
4.1.3 大基数公理
4.2 连续统假设与内模型计划
参考文献
索引
符号索引
术语索引
人名索引
2016-考研英语阅读理解精读100篇-(高分版) 本书特色《考研英语阅读理解精读100篇(高分版)》是为考研阅读理解想考高分的人量身定做的。本书可以帮助英语基...
新SAT阅读高分突破 本书特色 2016是新sat考试改革元年,该考试与国内考试完全不同,体现在sat 阅读上,就是所有内容都紧紧围绕作者的写作意图来展...
工程荷载与结构设计方法 本书特色 《工程荷载与结构设计方法(按规范gb50009-2012高校土木工程专业规划教材)》由季静、罗旗帜、张学文主编,本书在内...
英语词汇的奥秘-第2版-MP3可点读英汉对照朗诵 本书特色《英语词汇的奥秘 超级10000单词》是一本可点读的英语词汇书。 《英语词汇的奥秘 超级10000单词...
小学必读世界名著辑小飞侠彼得潘 本书特色 这套世界名著美绘本,选材与改编均依据*新的2011年版“小学语文课程”标准,去掉了原著中晦涩难懂的内容,保留了*经典的...
《清江土家人的知识衍生:都镇湾故事传承研究》内容简介:本书主要以国家级非物质文化遗产项目为研究对象,呈现我国丰富多彩的口头
智能科学技术导论 本书特色 本书主要围绕着学科内涵展开,强调学科基础知识、主要研究方法、核心研究领域、若干热点问题以及前沿应用技术等内容,涉及智能哲学、智能科学...
做一名有谋略的教师 本书特色 美人计、激将法、迂回术、将错就错、借薪助火、反弹琵琶、身先士卒、以夷制夷、难得糊涂、大智若愚……洋洋大观,精彩纷呈,不过“智胜”二...
十四行诗-英文导读版 本书特色 读懂了莎士比亚,你就读懂了人生莎翁十四行诗全收录对爱情的精华表达☆版本经典·朱、梁译本所据牛津底本W.J.Craig主编,未经删...
数论概论-(英文版.第4版) 本书特色 美国西尔弗曼编著的《数论概论》面向非数学专业学生,讲述了有关数论的知识,教给他们如何用数学方法思考问题,同时介绍了目前数...
研究生英语高级教程(研究生英语综合教程) 本书特色 《研究生英语高级教程》由中国人民大学出版社出版。研究生英语高级教程(研究生英语综合教程) 内容简介 本教程是...
人人学音标-一生必学的英语发音入门书-白金版-(1书+1MP3光盘) 本书特色 学了多年英语,单词还是念不准,句子还是读不顺,感觉英语学习很“坑爹&...
ACT数学&科学推理 本书特色 本系列丛书由新东方从美国巴朗教育出版公司独家引进,是备考act考试的权威辅导用书。《act数学&科学推理》是关于数学和科学推理两...
入门篇-成功之路(附1张CD和部分练习参考答案) 本书特色 《成功之路》是一套为母语非汉语的学习者编写的对外汉语教材。这套教材既适用于正规汉语教学机构的课堂教学...
高中英语词汇词根+联想记忆法-乱序便携版 本书特色 《高中英语词汇词根+联想记忆法:乱序便携版》是《高中英语词汇词根+联想记忆法:乱序版》的浓缩精华版,开本小巧...
魔法英语作文秀(高中版) 本书特色 在阅读中感悟,在模仿中进步,秀出自己的风采!读好的作文是一种心与心的交流,是一种真情的交融。本书汇集在高考各类作文文体,涵盖...
运动康复治疗 内容简介 本书共分10章, 包括运动康复治疗概述、肌肉放松技术、水肿消除技术、扳机点治疗技术、关节松动技术、肌肉功能康复技术、核心区稳定性训练等内...
国家地理科学探索丛书--实地科学探索(全五册英文注释) 本书特色 如果你希望读到地道的英语,在享受英语阅读乐趣的同时又能增长知识、开拓视野,这套由外语教学与研究...
中外政治思想史 本书特色 为中央广播电视大学编写的教材,为学习政治学和行政管理学专业的学生提供必要的基础知识。通过对西方政治思想和中国政治思想发展历史的学习和研...
超强大英语27000+单词 词组搭配 惯用表达一本全掌握-(主题分类+即查即用) 本书特色 《超强大英语27000+单词、词组搭配、惯用表达一本全掌握(主题分类...