现代逻辑起源于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 连续统假设与内模型计划
参考文献
索引
符号索引
术语索引
人名索引
《精通JavaScript+jQuery》内容简介:《精通JavaScript+jQuery:100%动态网页设计密码》深入浅出,结合实际案例系统地讲解了使用J...
简单!好学!日语单词 内容简介 本书针对有一定基础的日语学习者,精选日本人日常生活中常用的2500多个单词,按5大场景、73个小场景进行分类,以“情境群”的方式...
精彩摘录“Ifsomeonelovesaflower,ofwhichjustonesingleblossomgrowsInallthemillionsandmi...
世上只有三道高考作文题:2014 本书特色本书连续四年解决了高中生写作文的四大难题:一、不管是期末考还是高考,作文题目千变万化,找不到出题规律;二、作文文体有议...
阳光阅读;水浒传 本书特色 北宋年间奸臣当道,民不聊生。山东境内,以宋江、林冲、武松、鲁智深等为首的108位英雄好汉聚义梁上,树起“替天行道&rdq...
斐波那契数列 本书特色 从有名的兔子问题开始几乎经历了七百五十年久远的岁月。迄今为止,斐波那契数仍然是初等数学中*吸引入的一章。和斐波那契数有关的问题在许多数学...
公司战略与风险管理 内容简介 《公司战略与风险管理》以体现改革总体目标为宗旨,以读者基本掌握大学会计等相关专业本科以上专业知识为基础,以全面性与系统性、实用性与...
新编老挝语口语 内容简介 这套丛书选择了语言中*基本的功能表达和*常见的情景表达所需要的句型。内容丰富,涵盖面广,重点突出。在编写方法上特色鲜明,采用了句型加补...
初中生获奖作文宝典 内容简介 《初中生获奖作文宝典》的习作,依照"轻松作文"的主旨,筛选与我们每一位同学相近相似的人、事、物,力图使这些获奖习作与同学们"零距离...
英语意义和文化 本书特色 《英语:意义和文化》是当代国外语言学与应用语言学文库英语意义和文化 内容简介 本书是“自然语义元语言(nsm)”理论的一本重要著述。作...
罗伯特·路易斯·史蒂文森(1850-1894)是苏格兰著名的小说家,著有长篇、短篇小说、旅行札记、诗歌和戏剧等作品。他的著名小说《化身博士》曾被多次搬上银幕。
《剑桥学习科学手册》主要内容简介:学习科学是研究教与学的一个跨学科领域,涵盖了认知科学、教育心理学、计算机科学、人类学、
名家六十讲-语文课上的文学 本书特色 《名家六十讲(语文课上的文学)》收录的六十篇文章,是钱理群、孙绍振、蔡义江、童庆炳四位先生2008—2012年在《语文建设...
作品目录引言第一章复数与复变函数1.复数2.复平面上的点集3.复变函数4.复球面与无穷远点第一章习题第二章解析函数1.解析函数的概
三峡文学史 本书特色 《三峡文学史》(作者胡德才)是**部全面描述三峡文学发展历程的专著。《三峡文学史》共分十九章,系统介绍和论述了三峡文学两千多年的发展演变,...
实用英语口译词典 内容简介 本书为英语口译工具书,可使广大学习者在尽可能短的时间里熟悉各个领域的常用英语表达,积累丰富的口译表达素材。书中例句信息量大,内容覆盖...
四年级/下册-思泉语文课本-点亮大语文 内容简介 古文课程和阅读课程的板块设置基本相同,包含八个部分: 课前漫画:用原创的四格漫画介绍一个与本课相...
小学科技探究教学设计50例 本书特色 山东教育出版社新出版的《小学科技探究教学设计50例》(作者:马洪伟),是一本利用生活中常见的科技产品作为教学资源,为方便教...
数学的奠基:1800-1900年 内容简介 19世纪是数学发展承前启后的时期。这一时期的数学家们完善已知数学领域,使之严密化;提出众多革命性的思想和概念,为继任...
菜根谭-典藏版 本书特色 一部囊括中华处世智慧的经典文献,一部教诲世人去妄存真的警世宝典,一部教诲世人行止在我的修身箴言。唤醒你人性中的真善,鼓舞你人性中的勇气...