现代逻辑起源于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 连续统假设与内模型计划
参考文献
索引
符号索引
术语索引
人名索引
我国成人高等教育转型研究 本书特色 《中国成人高等教育转型研究》:岳麓高等教育学丛书我国成人高等教育转型研究 内容简介 该书以型为核心概念,对成人高等教育的型是...
军民融合产业基地建设研究 本书特色 姚博著的《军民融合产业基地建设研究》结合几个典型发达国家的军民融合产业基地建设过程中的先进经验,运用产业经济理论对影响中国军...
(中级616字)-日语汉字读音-一句话的事儿 本书特色 囊括日本*新公布的常用汉字2136字,一条例顺掌握汉字音读、训读、使用方法。书后附录2136字一览,方便...
考研政治历年真题解析:2010-2017 本书特色 王宏远、王斌编著的《考研政治历年真题解析(2010-2017 2018年全国硕士研究生入学统一考试用书)》精...
每天读一点日文-重读经典-日语名篇佳段读赏-日汉对译典藏版-内含50元学习卡 本书特色 《每天读一点日文 重读经典日语名篇佳段读赏》是“每天读一点日...
2012-中级经济法-中级会计职称考试应试辅导及考点预测-内含习题及详解 本书特色 中级会计职称考试辅导丛书编委会编写的这本《中级经济法(2012中级会计职称考...
骆驼祥子-七年级下 本书特色 《骆驼祥子》是中国现代著名作家老舍的代表作,描写了20年代旧北京的一个人力车夫的辛酸故事。它深刻揭露了旧中国的黑暗,控诉了统治阶级...
4年级-全国百所重点小学阅读试题精选 本书特色 1.这套书选取了全国百所重点小学各个年级的阅读训练题,有代表性和针对性。2.这套书的阅读训练类型多种多样,有记事...
二年级(第三版)-小学英语随堂故事-附赠光盘 本书特色 好书推荐:没有笨小孩,只有笨妈妈!引自日本**培训机构的先进教育理念,打动孩子心灵,产生学习原动力,让普...
实验班提优课堂:下:数学:一年级 内容简介 《春雨教育·2018春 实验班提优课堂:六三制 一年级数学下(人教版 RMJY)》分条列点解析教材知识点与重难疑点,...
《辛弃疾词选》内容简介:辛弃疾是南宋著名的词人,具有英雄气概,其词作现存六百二十多首,具有鲜明的个人风格和突出的艺术成就。
基础工程分析与设计:第5版 内容简介 本书是美国一部知名的大学基础工程课程教材,首次出版于1968年,本次是根据第五版译出。它保持了本书传统的优点,本版又增加了...
5年级英语同步练习/天天5分钟 内容简介 《英语同步练习》丛书是依据人教PEP版英语教材和编写的,与教材进度和内容安排同步。同步练习每单元由五个部分组成:A部分...
英语名篇诵读与赏析 内容简介 背诵是—种有效的外语学习方法。通过背诵短文,学习者可掌握更多的短语知识。在写作中,经常使用固定语可以便文笔流畅,写作速度加快,写作...
最受宠的英文单词 内容简介 众所周知,背单词是学好英语的一门基本功,可是面对茫茫“词海”,我们该如何掌握呢?看着密密麻麻的单词,或许你还没有开始背,就已经苦恼不...
《数学模型(第3版)》第二版出版于1993年,基于10年来从事数学建模教学和组织数学建模竞赛的经验,考虑到计算机技术与数学软件的发
9年级下册(北师版)/初中奥数自学题典 本书特色《初中奥数自学题典》是一套适用于“数学导读启思教学法”,培养学生自学能力和习惯的丛书。作...
斯瓦希里语(第二册) 内容简介 本书共教授斯语词汇950左右。讲授的基本语法为u,pa,ku 三类名词、某些常用的动词时态(ki,ka,a,sipo等)、动词主...
《黑马王子操盘手记(八)》内容简介:本书是一部不可多得的股市征战纪实作品。它如实记录了黑马王子张得一教授2009年以来在“股海
《幼学琼林》精解(上下) 本书特色 “国学启蒙读物·插图本”丛书讲解通俗生动,配图意趣盎然,让你真正读懂蒙学名著,领你轻松踏入国学门径。《幼学琼林精解》(套装上...