现代逻辑起源于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 连续统假设与内模型计划
参考文献
索引
符号索引
术语索引
人名索引
中学生化学手册 内容简介 本书以国家教育部制定的中学化学大纳为依据,结合我国目前教育现状,采用与现行教学同步的编写手法,适合中学生阅读使用。本书将中学化学知识总...
中国古典名言录-英汉对照 本书特色 《中国古典名言录(中英对照版)》由学苑出版社出版。中国古典名言录-英汉对照 节选 《中国古典名言录(中英对照版)》共收录中国...
《训练思考能力的数学书》讲述你害怕数学吗?你觉得数学是天才发明来找人麻烦的东西吗?1+2+3+4+……+9899100=?如果是你,会怎么
公司战略与风险管理-2012年注册会计师考试考点蔡萃及记忆锦囊 本书特色 王婷婷编著、东奥会计在线组编的《公司战略与风险管理(注册会计师全国统一考试辅导用书)—...
《在人际关系中成长》内容简介:精选生活中场景案例,五大维度,深入探讨关系心理学。从与自己相处开始 看清关系中的自己 与亲近的
普通物理学习题分析与解答-(第七版) 本书特色 本书是与程守洙、江之永主编,胡盘新等修订的《普通物理学》(第七版)相配套的教学用书,全书按照主教材的章节顺序编排...
COLLINS袖珍英语用法 本书特色 英语用法牵涉的面很广,涉及的问题有时相当复杂,甚至有分歧意见,因此即使受过教育的英美人士有时也不免感到疑惑,需要查阅参考书...
大学的兴起 本书特色 中世纪大学荣耀之处在于学问的神圣化这种影响沿袭至今。大学的兴起 内容简介 本书是哈斯金斯在布朗大学讲座演讲稿的基础上写成的一本通俗性的学术...
轻松躲过日语能力考试中的语法陷阱 本书特色 本书分为20课,就汉语母语者在进行中日互译时常犯的错误容易犯的错误,同时又是日本语能力考试常考的知识点进行了分类讲解...
新日本语能力测试N3级模拟试题与精解-含MP3一张 本书特色 《新日本语能力测试N3级模拟试题与精解》:依托十几年教授JLPT的实践经验和教学研究成果,根据官方...
人文学与大学理念 本书特色 本书为“哈佛燕京学术系列”之一《人文学与大学理念》,收入了由牛可、李康、昝涛等人所翻译的多篇关于大学理念与大学史的经典论文。内容包括...
语法必备-初中生英语金牌夺冠 本书特色 名师原创,紧贴考试,冲刺训练,金牌夺冠,提升应考能力*有效!语法必备-初中生英语金牌夺冠 内容简介 《英语金牌夺冠》系列...
1.2年级适用-适用于义务教育阶段各版本教材-7岁爱上写作文-小学生作文入门与提高兴趣辅导书-全彩美绘本 本书特色 “爱上写作文”系列是...
《天津银行公会研究(1918—1936)》内容简介:本书详细探讨了天津银行公会诞生的社会与行业历史背景,其日常决策、财务管理和经费
趣味魔术与数学故事 本书特色 《趣味魔术与数学故事趣味科学系列》行文和叙述令读者觉得趣味盎然,但字里行间却立论缜密,那些让孩子们平时在课堂上头疼的问题, 到了他...
书面表达十句作文法-星火英语高考专项突破 本书特色 S-18命题系统科学打造不是真题胜似真题写作模板高效实用直击高考各类体裁《星火英语高考专项突破:十句作文法》...
新编日语外来语词典(修订本) 内容简介 本词典在保留原书特点的基础上,增加了大量新词,新增加词条约2.8万条,增幅达45%,并且删去了陈旧词语,对部分原词条释义...
学生英汉词典-插图本 本书特色 本词典是为适应广大中小学生需要而编写的一部学习型英汉词典,力求通过生动活泼的形式和通俗易懂的讲解,帮助学生解决疑难问题、培养学习...
《俄罗斯数学教材选译:数学分析讲义(第3版)》是俄罗斯莫斯科大学数学力学系现行的数学分析课程的教材,反映了作者较新的数学教学
无机化学-下册-(第三版) 本书特色 本选题是"十二五"普通高等教育本科国家级规划教材,由吉林大学、南开大学、武汉大学三校合编。全书24章,分上下两册出版。上册...