现代逻辑起源于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 连续统假设与内模型计划
参考文献
索引
符号索引
术语索引
人名索引
网络.群体与市场 内容简介 过去十年来,现代社会中复杂的连通性向公众展现出与日俱增的魅力。这种连通性在许多方面都有体现并发挥着强大的作用,包括互联网的快速成长、...
奥赛兵法·信息学(计算机)(高中) 内容简介 本书首先介绍了 linux系统及其该环境下的free pascal语言,这是信息学奥赛的新发展;接着重点介绍了与信...
变动时代的知识.思想与制度-中国近代教育史新探 本书特色 左松涛所著的《变动时代的知识思想与制度--中国近代教育史新探》致力探讨晚近中国教育史研究中较少论及的一...
13智慧熊作文挺简单-小学生分类作文2年级 本书特色 《智慧熊作文:小学生分类作文(2年级)(注音版)》充分体现小学生作文分类的特点,在分类上符合该年级学生写作...
读美文 记单词3500词-(下) 本书特色 翻开这本书,就如同交上一位良师益友。它可以改变你人生的坐标,奏响生命的乐章;它能让你变得睿智、豁达、优雅、美丽;它虽...
剧本与写作 本书特色 所谓台词,主要指剧中人物的话语。台词这种要素是文学剧本所独有的,也可以说它是文学剧本的一种标志性要素。雨辰编著的《剧本与写作》共分**章剧...
八年级上-名校特训活页卷阅读理解与完形填空活页卷-快捷英语 本书特色 *新鲜的素材*全面的训练专项强化,限时集训,哪里薄弱练哪里活页装订,方便实用,满足学生一日...
语文必读丛书:百年外国小说精选 本书特色 《语文必读丛书》第二辑和广大青少年朋友见面了!这一辑中,有适合小学生阅读的中外童话、民间故事和中国古代诗歌;有适合初中...
《从大学数学走向现代数学》由12个专题组成,每专题均从大学非数学类数学教学中为微积分、常微分方程,解析几何,线性代数,概率统
汤姆.索亚历险记-经典集锦 本书特色 适读人群 :中学英语学习者一、美国著名作家马克·吐温代表作,《哈克贝利·芬历险记》姊妹篇 二、推荐必读经典,海明威赞誉其为...
民国大学之中外教育学系列(共6本) 本书特色 ★ 平装16开,著名历史学家李学勤担纲选目★ 名家荟萃,包涵万流,再现民国大学学术繁荣之盛景★ 学术性和专业性突出...
生活中,许多父母都会因为着迷于网络而忽视对孩子的陪伴,这个温暖、幽默、有爱的故事,是给他们的一个温柔提醒。故事讲述的是在
教育与中产阶级 本书特色 通常认为,对于中产阶级,尤其是其中学习能力很强的孩子来说,选择合适的中学教育途径直接关系到他们在学业上能否取得成功,毕业后能否进入大学...
《React+Node.js开发实战:从入门到项目上线》内容简介:本书全面介绍React+Node.js全栈开发技术,涵盖开发环境搭建、React前端技术
《博物馆陈列展览设计十讲》内容简介:本书内容涵盖了博物馆陈列展览的内容策划、形式设计、布展施工三大部分,从理论到实践、从抽
家畜环境卫生第二版 本书特色 本教材是在农业部l989年编制的全国中等农业学校《家畜环境卫生学教学大纲》(畜牧兽医适用)以及农业出版社1990年5月出版的全国中...
三国演义.中 内容简介 LuoGuanzhongTranslatcdfromtheChlncscwithNotesandanAfterwordbyMOSSROB...
考研英语词汇识记与应用大全-恋练有词-便携版 本书特色 《恋练有词:考研英语词汇识记与应用大全(便携版)》是由新东方大愚与朱伟、唐迟老师共同打造的考研英语词汇书...
小学岐黄中医药文化知识读本(试用)六年级第3册 内容简介 《小学岐黄中医药文化知识读本(试用 六年级 第三册)》内容以现代白话文表述为主,重在体现岐黄中医药文化...
2012考研英语作文周计划 内容简介 全书学时共5周,每周学习5天,共25天——周一至周五,轻松学习,周六至周日,回味复习。25天学习,...