现代逻辑起源于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 连续统假设与内模型计划
参考文献
索引
符号索引
术语索引
人名索引
朗文外研社新概念英语3(新版) 本书特色 新概念点读笔《新概念英语点读书点读笔套装》,点击进入:教材(学生用书):《朗文外研社版新概念英语(1)英语初阶(新版)...
卡斯特桥市长-中译经典文库-世界文学名著-第五辑 本书特色 作品描写19世纪初叶,资本主义在英国发展并向农村渗透时期,发生在英国乡村市镇上的一出悲剧。主人公亨查...
《信息安全风险管理与实践》内容简介:本书从信息安全风险管理的基本概念入手,以信息安全风险管理标准——ISO/IEC27005《信息技术
数学分析原理-(第一卷)-(第9版) 本书特色 《俄罗斯数学教材选译·“十一五”国家重点图书:数学分析原理(第1卷)(第9版)》是г.м.菲赫金哥尔茨继《微积分...
《个人品牌打造:从0到1低成本创业》内容简介:本书从个人品牌的底层思维讲起,根据个人品牌打造地图,全面细致地拆解了普通人如何
二年级/下册-神笔马良 内容简介 l 统编小学语文教科书必读书目l 配套统编小学语文教科书“快乐读书吧”栏目同步使用l 统编义务教育教科...
许渊冲英译王维诗选 本书特色 一套经典图书,长销不衰——《中译经典文库·中华传统文化精粹:许渊冲英译王维诗选》是国内*早的双语读物,影响了几代英语和中华文化爱好...
历史的丰碑:电子计算机之父冯诺伊曼 本书特色 欲知大道必先知史。回溯人类的足迹,人们首先看到的总是那些在其各自背景和时点上标志着社会高度和进步里程的伟大人物。他...
看漫画学英语---大力水手浪漫英语(9) 内容简介 人物介绍卜派(POPEYE)爱吃菠菜的独眼水手,是美国人心目中的英雄,名闻国际。他为人诚恳正直,奉行正义,专...
基督山伯爵(含VCD) 本书特色 我们正面临着一个各种各样的思维方式和价格取向杂陈并存的众声喧哗的时代,我们需要塑造属于我们自己的时代的经典之作。殊不知,经典之...
真境花园 本书特色 萨迪*的《真境花园》是一部耐人寻味、引人入胜的名作。它融叙事、抒情、议价于一炉,汇诗歌、散文、寓言为一体,隐诤诫于诙谐中,寓哲理于叙事内,含...
国际关系关键概念-第二版 本书特色 《国际关系关键概念》(第二版)以介绍性短文的形式,针对国际关系研究领域*常见的概念和事件,为国际关系专业的学生们提供名词解释...
新思维全国中小学生作文大奖赛获奖作品集:小学二.三.四年级卷 内容简介 本书中获金奖的作品,均附有专家精到的评语。针对性强,以点带面,举一反三。金奖银奖不是*的...
CHINESE MUSEUMS ASSOCIATION GUIDE-(中国博物馆导览) 本书特色 国外考古学家、艺术史学家、博物馆学家眼中的中国博物馆。《中国博...
小学数学每周一测(二期课改配套教材)三年级第一学期 内容简介 《小学数学每周一测》体现了基础与发展的关系,突出了以学生发展为本的理念;新教材充分关注数学的学习过...
高观点下的初等数学:算术.代数.分析 本书特色《高观点下的初等数学:算术,代数,分析》是克莱因根据自己多年在哥廷根大学担任德国中学数学教师及为在校学生开设的讲座...
国学传世经典--道德经 本书特色《道德经》是春秋时期老子(李耳)的哲学作品,共八十一章,上篇《道经》讲述的是宇宙根本,道出了天地万物变化的玄机,揭示了阴阳变化的...
日语词汇分类学习小词典 内容简介 在学习一种语言时,为了能用这种语言自如地谈论任何话题,人们总会感到需要填补词汇的空缺。但是普通字典只是按音序列出单词,对系统地...
生命科学(第一辑)(国家地理科学探索丛书)教师指导与评估手册 内容简介 本套丛书是“国家地理科学探索丛书”系列的配套教师用书,结合学生用书的主题内容和具体知识点...
《柳志杰 成贻宾传》内容简介:本书为雨花台烈士传丛书之一,为柳志杰、成贻宾的合传。柳志杰是安徽潜山人,1927年春考入黄埔军校长