现代逻辑起源于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 连续统假设与内模型计划
参考文献
索引
符号索引
术语索引
人名索引
三角级数 本书特色 本书的重点是使读者对主要概念有个全面的理解,但它同时还向读者介绍了实际数据分析的方方面面。本书适合作为高等院校数学及相关专业高年级本科生或研...
中国戏剧(英) 内容简介 China is a country with multiple theatrical activities spread over ...
左手民国课文 右手民国作文-经典珍藏版 本书特色 瞬间秒杀当代语文教育完美展现民国有型有范的教育风采和童真童趣的生活情景99篇老课文 + 102篇老作文 + 4...
美国文学选读(第二册) 内容简介 一、《美国文学选读》由复旦大学外文系编注,共三册,**册,美国独立革命到**次世界大战;第二册,两次大战之间;第三册,战后到八...
当代外国教育--教育改革的浪潮与趋势 内容简介 本书选择具有代表性的16个国家为对象国,以研究当代国外教育改革的理论与实践为中心,兼顾当代国外教育事业的发展及其...
陈桂生教育三论:教育研究空间的探求 内容简介 有一则耳熟能详的“方法隐喻”,说的是吕洞宾见一个穷人可怜,便用手指一块石头,点石成金,作为布施。可是那个穷人说:“...
世界名著“红蓝白”—蓝系列(简爱) 本书特色 《简·爱》是夏洛蒂·勃朗特的成名作及代表作,也是集经典性与流行性于一体的世界文学经典名著的典型代表。小说女主人公简...
英语专业八级必备词汇13000 本书特色 名师坐阵编写一选词紧扣大纲词汇扩展全面一释义直击考点词组例句经典一笔记详尽生动邹申女,上海外国语大学教授,博士生导师,...
语文必读从书-欧也妮.葛朗台高中部分 内容简介 葛朗台是法国索漠城一个*有钱、*有威望的商人。这座城市盛产葡萄酒,因此,酒桶的市价很不坏。一七八九年法国大革命时...
日语古典语法及古文选读 本书特色 《日语古典语法及古文选读》前半部分集中介绍古文语法知识,后半部分为古典文学作品片段选读。与其他教材的不同之处是把语法学习和经典...
人体错觉中的科学-校园科学实验 本书特色 眼见为实,可是你知道你的眼睛有时也会欺骗你吗 你的耳朵以及其他感官也都能作弄你。你能看见它;你能解摸到它并感受它的重量...
方法技巧篇-手把手教你学写申论文-2013年最新版 本书特色 刘源编著的《手把手教你学写申论文》严格依据中共中央宣传部理论局编写的《七个怎么看——理论热点面对面...
诗经 本书特色 孔子编订的《诗经》共305篇,按音乐风格的不同,分为“风”“雅”“颂”三...
初中物理易用表-第二版 本书特色 本书适合7~9年级的初中生及相关教育工作者提要、查阅、归纳、复习、练习、创新、便携、助考。打好初中阶段的基础,塑造健康向上的人...
给青年的十二封信-精装典藏本 本书特色 《给青年的十二封信》是朱光潜先生旅欧期间写给国内青年朋友的十二封信。信中所说多为青年们所关心和应该关心的事项,如读书、修...
西游记:英文版 内容简介 This is the third and final volume ofthe classic Chinese fantasy no...
一线教师 目录 关于本书/管建刚序1:我和“管大”搭班/张劼序2:其人,其事,其书/丁钰手记一:一线“作业学”组建作业竞赛小组与作业拖拉者订作业合同和小组长的谈...
MBA系列教材--商业量化分析 内容简介 MBA系列教材。本书主要内容包括:数据处理;描述统计;指数;时间序列分析;概率基本知识;随机变量及其分布;统计推断;方...
走遍俄罗斯自学辅导用书-(附一张MP3光盘) 内容简介 本书主要针对《走遍俄罗斯》(1)每篇课文提供词汇、词组及短语的释义,语音、语调知识的介绍,主要句型的讲解...
物流基础英语 本书特色 由丛悦、许彤编著者的《物流基础英语(十二五高等职业教育物流专业工学结合系列教材)》从需求入手,首先把物流知识介绍给读者,然后通过英语实例...