逻辑
封面
逻辑与演绎科学方法论导论 豆瓣
Introduction to Logic and to the Methodology of Deductive Sciences
作者: 〔波兰〕塔尔斯基著 译者: 周礼全 吴允曾 / 晏成书 出版社: 商务印书馆 1963 - 4
《逻辑与演绎科学方法论导论》是我的《论数理逻辑和演绎方法》（该书1936年最初用波兰文出版，又于1937年出版了确切的德文译本，书名是：《数理逻辑和数学方法论导论》）一书部分修正了的和扩充了的版本。最初写《逻辑与演绎科学方法论导论》，是企图把它当作一本通俗的科学著作；其目的是向受过相当教育的普通读者提供一一用把科学的严格性和最大的可理解性结合起来的方式一一集中于现代逻辑的强大的现代思潮的一个清楚的观念。这个思潮最初是从多少受到局限的巩固数学基础的任务发生的。可是，在现阶段它却具有远？广泛的目的。因为它试图创造出可为人类知识的整体提供一种共同基础的统一的概念工具。此外，它有助于使演绎方法完全化和敏锐化，这种演绎方法在某些科学中被当作确立真理的唯一的允许的方法，而且，的确，它至少在一切智力活动的领域内，是从被公认的假设中推导出结论来的必不可少的补助的工具。
封面
哲学研究 豆瓣
Philosophische Untersuchungen
8.7 (19 个评分) 作者: [奥地利] 路德维希·维特根斯坦 译者: 陈嘉映 出版社: 上海人民出版社 2005 - 5
《哲学研究》讲述了：在西方哲学史上，维特根斯坦是唯一创造了两种不同哲学而又各自产生重大影响的哲学家。前期以《逻辑哲学论》为代表，后者则以《哲学研究》为象征。《哲学研究》告别了传统西方哲学以理想语言为基础、试图探索语言本质的静态逻辑构造论，重新将语言哲学捡回到日常语言中，将语言的实际运用、语言的功能作用作为出发点。他所提出的“语言游戏”和“家族类似”对语言哲学的发展贡献基本。《哲学研究》译者陈嘉映为海德格尔《存在与时间》的译者。《哲学研究》直接译自维氏的德文原本，因而是迄今中国最贴切、最准确的这一哲学名著的译本。
封面
哥德尔 豆瓣
Reflections on Kurt Gödel
作者: [美] 王浩 译者: 康宏逵 出版社: 上海译文出版社 1997 - 1
库尔特·哥德尔无疑是当代最伟大的思想家之一。王浩与晚年的哥德尔交往甚密，他在本书中首次广泛论述了哥德尔的生平与工作，充分揭示了哥德尔深奥精妙的思想及其与数学史和哲学史上的重要论题的关系。他所涉猎的主题包括初等逻辑的完全性，形式化的极限，证明问题，集合概念，数学哲学，时间理论，相对论，形而上学，宗教以及作为世界观的哲学。
封面
逻辑之旅 豆瓣
作者: [美国] 王浩 译者: 邢滔滔 / 郝兆宽 … 出版社: 浙江大学出版社 2009 - 2
王浩20年倾力之作，书中包括哥德尔一些未发表的哲学观点，接续上一本《哥德尔》的论题并将其扩展到更加广泛的领域：柏拉图主义、逻辑的本质、心灵、上帝的存在性、实证主义、现象学等等。哥德尔定理于20世纪的意义相当于爱因斯坦的相对论，海森伯格的测不准原理，凯恩斯的经济学，依据作者和哥德尔多年的私人交往与探讨写就的此书，扩展了过去人们认为的哥德尔在逻辑和哲学方面的贡献。
封面
超越分析哲学 豆瓣
作者: [美国] 王浩 译者: 徐英瑾 出版社: 浙江大学出版社 2010 - 9
王浩（1921—1995），美籍华裔数学家、逻辑学家、计算机科学家、哲学家。1921年生于山东济南市。1943年毕业于西南联合大学数学系。1945年于清华大学研究生院哲学系毕业。曾师从金岳霖、王宪钧、沈有鼎等。1946年赴哈佛大学留学，师从蒯因（W. V. O. Quine），两年时间即获哈佛大学哲学博士学位。在哈佛短暂教学之后赴苏黎世与贝奈斯（Paul Bernays）一起工作。1954年—1956年，在牛津大学任第二届约翰•洛克讲座主讲，又任逻辑及数理哲学高级教职，主持数学基础讨论班。1961年—1967年，任哈佛大学教授。1967年—1991年，任洛克菲勒大学逻辑学教授。20世纪50年代初被选为美国科学院院士，后又被选为不列颠科学院外国院士。1983 年，被国际人工智能联合会授予第一届“数学定理机械证明里程碑奖”，以表彰他在数学定理机械证明研究领域中所作的开创性贡献。著有《数理逻辑概论》、《从数学到哲学》、《哥德尔》、《超越分析哲学》等专著。
封面
逻辑与语言 豆瓣
作者: 陈波，韩林合 主编 出版社: 东方出版社 2005 - 7
编辑一本分析哲学经典文选，有许多种不同的编法，例如按主题，如语言哲学、认识论、形而上学、伦理学、科学哲学、心灵哲学等。经反复考虑之后，本书的编选按大致的年代进行，选择篇目所秉承的原则是：一是在分析哲学发展过程中造成某种重要的影响；二是其思想具有某种原创性。但实际编选过程中还有一个技术性考虑：有些经典性论文，例如罗素的《论指谓》，斯特劳森的《论指称》，蒯因的《经验论的两个教条》，塔斯基的《真理的语义学概念和语义学的基础》，戴维森的《真理与意义》，在已经出版的多个中文选本或译本中都可以见到，由于篇幅有限，我们遂把它们略去了，而选择了其他先前尚未译成中文的重要文章。
封面
怎样解题 豆瓣
How to Solve It : A New Aspect of Mathematical Method
7.3 (14 个评分) 作者: [美] G·波利亚 译者: 涂泓 / 冯承天 出版社: 上海科技教育出版社 2007 - 5
本书出自数学家G.波利亚的手笔，虽然它讨论的是数学中发现和发明的方法和规律，但是对在其他任何领域中怎样进行正确思维都有明显的指导作用。本书围绕“探索法”这一主题，采用明晰动人的散文笔法，阐述了求得一个证明或解出一个未知数的数学方法怎样可以有助于解决任何“推理”性问题——从建造一座桥到猜出一个字谜。一代又一代的读者尝到了本书的甜头，他们在本书的指导下，学会了怎样摒弃不相干的东西，直捣问题的心脏。
封面
逻辑研究（第二卷 第一部分） 豆瓣
Logische Untersuchungen. Zweiter Teil: Untersuchungen zur Phänomenologie und Theorie der Erkenntnis
作者: [德国] 埃德蒙德·胡塞尔 译者: 倪梁康 出版社: 上海译文出版社 2006 - 3
《逻辑研究》被公为当代哲学最重要“突性”著作。它的影响不仅规定了当代许多著名学的思维向，而且远远超出了哲学领域。
两卷本的《逻辑研究》在总体上展示出胡塞尔在意识现象学领域两方面兴趣：在客体（意相关项）方向上的逻辑学以及在主体（意向活动）方向上的现象。前一个兴趣主要集中在第一卷中，后一个兴趣则要体现在第二卷中。因而真正的现象学描述分析可以在第二卷的各项研究找。“现象学的分析便超始于此”（胡塞尔）
第二卷由六项研究组成。前五项研究构成该卷第一部分。前四项研究为后面关键性的第五研究和第六研究（作为第二第二部分）的现象学分析及其结论做了理论上的铺垫。
《二十世纪西方哲学译丛》选收二十世纪西方哲学界各主要流派影响较大的著作。通过有选择的译介，旨在增进文化积累，拓展学术视野，丰富研究课题，为了解和研讨现代西方哲学提供系统而完整的第一手资料，以利于我国理论界、学术界深化对西方文化的借鉴和批判。
封面
语言研究的数学方法 豆瓣
作者: [美]芭芭拉•帕赫蒂 / [荷]爱丽丝•特缪伦 … 译者: 吴道平 出版社: 商务印书馆 2012 - 8
本书由欧美当代顶尖数理语言学家联合力作，欧美大学语言学系经典教材，为目前各个语种中最完善的版本。涵盖离散数学几乎所有内容，尤其包括和语言研究密切相关的部分。全书分为五部分，分别为：集合论；逻辑和形式系统；代数；作为形式语言的英语；语言、语法与自动机。每章后附大量练习，每部分后附复习题，并配有练习答案，帮助加深对所学内容的理解。
封面
探求真理的指导原则 豆瓣
Règles pour la direction de l'esprit
作者: （法）笛卡尔 译者: 管震湖 出版社: 商务印书馆 1991 - 1
《探求真理的指导原则》作者笛卡尔，西方近代资产阶级哲学奠基人之一。他的哲学与数学思想对历史的影响是深远的。人们在他的墓碑上刻下了这样一句话：“笛卡儿，欧洲文艺复兴以来，第一个为人类争取并保证理性权利的人。” 探求真理的指导原则》是关于笛卡尔探求真理的21个指导原则。
封面
数学、科学和认识论 豆瓣
Mathematics, science and epistemology
作者: [匈] 拉卡托斯 译者: 林夏水 / 薛迪群 … 出版社: 商务印书馆 2010
《数学、科学和认识论》收集了拉卡托斯关于数学哲学等方面的一些论文。他认为反驳在数学中起决定性的作用，猜想的提出不能保证没有反例出现，数学发展的过程则是一个以更深刻、更全面、更复杂的猜想代替原有较朴素的猜想的过程。他认为数学没有必然性的基础，数学公理的真理性难以保证，因而必须把数学看成是“准经验的”。
封面
算术基础 豆瓣
The Foundations of Arithmetic
作者: G.弗雷格 译者: 王路 出版社: 商务印书馆 1998 - 8
《算术基础》本身包含着许多深刻的哲学探讨，比如关于数的讨论、关于分析和综合的讨论、关于逻辑和心理学的区别的讨论。
封面
哥德尔、艾舍尔、巴赫 豆瓣 Goodreads 谷歌图书 博客來
Gödel, Escher, Bach: An Eternal Golden Braid
9.4 (88 个评分) 作者: [美国] 侯世达 译者: 严勇 / 刘皓明 … 出版社: 商务印书馆 1996 - 4
集异璧－GEB，是数学家哥德尔、版画家艾舍尔、音乐家巴赫三个名字的前缀。《哥德尔、艾舍尔、巴赫书：集异璧之大成》是在英语世界中有极高评价的科普著作，曾获得普利策非小说奖。它通过对哥德尔的数理逻辑，艾舍尔的版画和巴赫的音乐三者的综合阐述，引人入胜地介绍了数理逻辑 学、可计算理 论、人工智能学、语言学、遗传学、音乐、绘画的理论等方面，构思精巧、含义深刻、视野广阔、富于哲学韵味。
中译本前后费时十余年，译者都是数学和哲学的专家，还得到原作者的直接参与，译文严谨通达，特别是在原作者的帮助下，把西方的文化典故和说法，尽可能转换为中国文化的典故和说法，使这部译本甚至可看作是一部新的创作，也是中外翻译史上的一个创举。
封面
概率论沉思录 豆瓣
作者: 杰恩斯 出版社: 人民邮电出版社 2009 - 4
《概率论沉思录(英文版)》将概率和统计推断融合在一起，用新的观点生动地描述了概率论在物理学、数学、经济学、化学和生物学等领域中的广泛应用，尤其是它阐述了贝叶斯理论的丰富应用，弥补了其他概率和统计教材的不足。全书分为两大部分。第一部分包括10章内容，讲解抽样理论、假设检验、参数估计等概率论的原理及其初等应用；第二部分包括12章内容，讲解概率论的高级应用，如在物理测量、通信理论中的应用。《概率论沉思录(英文版)》还附有大量习题，内容全面，体例完整。
《概率论沉思录(英文版)》内容不局限于某一特定领域，适合涉及数据分析的各领域工作者阅读，也可作为高年级本科生和研究生相关课程的教材。