具体描述
内容简介
本书是著名的逻辑学家塔尔斯基对于现代数理逻辑进行了系统阐述的著作。
内页插图
目录
初版序言序言
第一部分 逻辑的元素．演绎方法
（Ⅰ）论变项的用法
1．常项与变项
2．包含变项的表达式——语句函项与指示函项
3．应用变项形成语句——全称语句与存在语句
4．全称量词与存在量词；自由变项与约束变项
5．变项在数学中的重要性
练习
（Ⅱ）论语句演算
6．逻辑常项；旧逻辑与新逻辑
7．语句演算；语句的否定，合取式与析取式
8．蕴函式或条件语句；实质蕴函
9．蕴函式在数学中的应用
10．语句的等值式
11．定义的表述方式与定义的规则
12．语句演算的定律
13．语句演算的符号；真值函项与真值表
14．语句演算定律在推理中的应用
15．推论的规则，完全的证明
练习
（Ⅲ）同一理论
16．不属于语句演算的逻辑概念；同一概念
17．同一理论的基本定律
18．事物之间的同一与指示词之间的同一引号的用法
19．算术与几何中的相等，和它与逻辑同一的关系
20．数的量词
练习
（Ⅳ）类的理论
21．类与它的元素
22．类和包含一个自由变项的语句函项
23．全类与空类
24．类与类间的基本关系
25．类的运算
26．等数类，一个类的基数，有穷类与无穷类；算术作为逻辑的一个部分
练习
（Ⅴ）关系的理论
27．关系，关系的前域与关系的后域；关系与有两个自由变项的语句函项
28．关系的运算
29．关系的一些性质
30．自反的，对称的与传递的关系
……
第二部分 逻辑和方法论在构造数学理论中的应用
推荐的读物
索引
译者后记
前言/序言
本书是我的《论数理逻辑和演绎方法》（该书1936年最初用波兰文出版，又于1937年出版了确切的德文译本——书名是：《数理逻辑和数学方法论导论》）一书部分修正了的和扩充了的版本。最初写这本书，是企图把它当作一本通俗的科学著作；其目的是向受过相当教育的普通读者提供——用把科学的严格性和最大的可理解性结合起来的方式——集中于现代逻辑的强大的现代思潮的一个清楚的观念。这个思潮最初是从多少受到局限的巩固数学基础的任务发生的。可是，在现阶段它却具有远为广泛的目的。因为它试图创造出可为人类知识的整体提供一种共同基础的统一的概念工具。此外，它有助于使演绎方法完全化和敏锐化，这种演绎方法在某些科学中被当作确立真理的唯一的允许的方法，而且，的确，它至少在一切智力活动的领域内，是从被公认的假设中推导出结论来的必不可少的补助的工具。根据对波兰文版和德文版的反应，特别是某些评论者的建议，产生了一个想法，要使这个新的版本不仅仅是一本通俗的科学著作，而且也是大学里的逻辑和演绎科学方法论的初级课程可以作为蓝本的教科书。由于在这个范围内合适的初级教科书相当缺乏，这一尝试就显得更为合适。
为了要进行这种尝试，必须在书中作某些改变。
在前几版中，把某些最基本的问题和概念完全忽略过去或仅仅略微触及，这或是由于它们比较地具有专门性，或是为了避免一些具有争论性的论点。像这样一些题目，例如：在逻辑的有系统的发展中和在日常生活的语言中某些逻辑观念的用法之间的区别，证明语句演算的规律的一般方法，语词与其名字之间的明确区别的必要性，全类和空类的概念，关系运算的基本观念，以及最后，作为各科学的一般科学的方法论概念。在这一版中，所有这些题目都讨论到了（虽然所有这些题目并非同等详尽地讨论了的），因为我似乎觉得在现代逻辑的任何一本教科书中，不谈这些题目就会造成一种根本的缺陷。因此，本书前面的几章，即概论部分或多或少地扩展了；特别是第II章，即专门讨论语句演算的一章包含着很多新材料。对于这几章我又补充了许多新的练习，并且增加了历史的线索的资料。
在前几版中，专门符号的应用是缩减到最低限度，而在这一版中我以为有必要使读者熟悉逻辑符号的基本知识。但是，实际上这种符号的应用仍然受到很大限制，并且大部分限定在练习中。
在前几版中，为了说明一般的和抽象的思考而引出例子的主要领域是中学数学；因为我过去和现在都认为，基本数学、特别是代数，由于它的概念的简单性及其推论方法的一致性，特别适合于例证逻辑的和方法论性质的各种基本现象。但是，在这一版，特别是在新补充的篇幅中，我经常从其他领域、特别是从日常生活中举出了一些例子。
用户评价
这本书的行文风格非常古典，但绝不晦涩难懂，反而有一种沉稳的力量。作者似乎深知读者的耐心有限，因此在阐述核心理论的同时，总能巧妙地穿插一些历史背景的介绍或者与其他学派观点的对比。这种对比的手法极大地丰富了内容的层次感，让我们不仅仅是学习“是什么”，更能理解“为什么会是这样”。我特别留意了作者在处理一些争议性话题时的态度，他表现出了一种罕见的平衡和客观，既不偏袒任何一方，而是尽力还原思想交锋的真实场景。这让我觉得，这是一本真正致力于传播知识而非灌输个人观点的作品。对于那些渴望深入了解学科发展脉络的读者来说，这种兼顾深度与广度的叙述方式无疑是极具价值的，它构建了一个扎实的知识框架，让人能够站在巨人的肩膀上更看得远一些。
评分坦白说，这本书的阅读难度是相当高的，它要求读者投入大量的时间和精力去消化吸收，绝非“速读”可以企及。我花了比预期更长的时间来攻克其中一些更抽象的章节，有时候甚至需要反复回溯好几遍才能真正把握住作者的意图。但正是在这种“啃硬骨头”的过程中，我感受到了真正的智力上的挑战与乐趣。这本书像一位耐心的导师，它不会直接把答案递给你，而是设置好迷宫，引导你去探索、去犯错，最终靠自己的力量找到出口。这种学习体验是无价的，它塑造的不是知识的储备量，而是解决问题的能力和对真理的敬畏心。对于那些习惯于轻松阅读的读者来说，或许会觉得有些吃力，但对于真正想在某个领域打下坚实基础的人而言，这种投入是绝对值得的。
评分这本书的装帧设计实在是太棒了，拿到手里沉甸甸的，纸张的质感也很有格调，那种微微泛黄的纸张，配上经典的字体排版，简直让人爱不释手。封面设计简洁大气，透着一股严肃又引人入胜的学术气息。我平时读书很注重阅读体验，一本好书不仅要有扎实的内在，外在的呈现也同样重要。这套丛书的整体风格统一，摆在书架上非常赏心悦目，每次看到它们，都感觉自己正在进行一场严肃的知识探索。尤其是那种老派的学术气息，让我觉得这不是一本快餐式的读物，而是可以珍藏和反复研读的经典。印刷质量也没得说，字迹清晰锐利，装订牢固，完全不用担心翻阅几次后就会散架。这种对细节的把控，体现了出版方对学术经典的尊重，让我对这本书的内容充满了期待。我喜欢那种抱着厚厚的书本，在安静的午后，伴着一杯热茶，沉浸在知识海洋里的感觉，而这套书完美地满足了我对实体书的全部想象。
评分作为一名跨学科的研究者，我一直在寻找能够连接不同知识领域的桥梁，而这本书在某种程度上扮演了这样的角色。它不仅仅局限于某个狭隘的领域，而是展现了底层思维工具的普适性和力量。我惊喜地发现，书中阐述的一些逻辑原则，可以毫不费力地应用到我日常工作中数据分析的建模思路中，甚至对我的项目管理决策也产生了潜移默化的影响。这种跨界赋能的感觉非常奇妙，它证明了优秀的基础科学思想是具有永恒价值的，能够穿透学科的壁垒。它让我重新审视了“基础”的含义，认识到那些看似枯燥的理论，实则是构建复杂体系的基石。这本书的价值，绝非仅停留在学术理论层面，它更像是一套升级思维操作系统的工具箱，让我在面对任何复杂挑战时，都能有更清晰、更可靠的行动指南。
评分初次翻阅这本书，我立刻被它严谨的逻辑结构所吸引。作者在构建论证时，每一步都像是精密的齿轮咬合在一起，环环相扣，毫不松懈。阅读过程中，我感觉自己的思维也跟着被训练得更加清晰和有条理。很多我之前模糊不清的概念，通过作者的阐述变得豁然开朗。这不是那种故作高深的学术语言堆砌，而是将复杂的思想用一种近乎数学般精确的方式呈现出来。我尤其欣赏作者在引入新概念时，总是先给出清晰的定义和直观的例子，这极大地降低了理解的门槛。读完几个章节后，我发现自己看问题的角度都有了微妙的变化，开始习惯性地去拆解论点、审视前提，这对于提升日常的批判性思维能力非常有益。那种“原来如此”的顿悟感，是阅读这类优质学术著作时最令人愉悦的体验，它带来的成就感远超一般消遣类书籍。
