逻辑与演绎科学方法论导论
1963-01-01
商务印书馆
〔波兰〕塔尔斯基著
256
周礼全 吴允曾,晏成书
无
《逻辑与演绎科学方法论导论》是我的《论数理逻辑和演绎方法》（该书1936年最初用波兰文出版，又于1937年出版了确切的德文译本，书名是：《数理逻辑和数学方法论导论》）一书部分修正了的和扩充了的版本。最初写《逻辑与演绎科学方法论导论》，是企图把它当作一本通俗的科学著作；其目的是向受过相当教育的普通读者提供一一用把科学的严格性和最大的可理解性结合起来的方式一一集中于现代逻辑的强大的现代思潮的一个清楚的观念。这个思潮最初是从多少受到局限的巩固数学基础的任务发生的。可是，在现阶段它却具有远？广泛的目的。因为它试图创造出可为人类知识的整体提供一种共同基础的统一的概念工具。此外，它有助于使演绎方法完全化和敏锐化，这种演绎方法在某些科学中被当作确立真理的唯一的允许的方法，而且，的确，它至少在一切智力活动的领域内，是从被公认的假设中推导出结论来的必不可少的补助的工具。
作者：（波兰）塔尔斯基（Tarski.A.） 译者：周礼全 吴允曾 晏成书
初版序言序言第一部分 逻辑的元素．演绎方法(Ⅰ)论变项的用法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．自反的，对称的与传递的关系……第二部分 逻辑和方法论在构造数学理论中的应用推荐的读物索引译者后记
版权页：插图：在前几版中，把某些最基本的问题和概念完全忽略过去或仅仅略微触及，这或是由于它们比较地具有专门性，或是为了避免一些具有争论性的论点。像这样一些题目，例如：在逻辑的有系统的发展中和在日常生活的语言中某些逻辑观念的用法之间的区别，证明语句演算的规律的一般方法，语词与其名字之间的明确区别的必要性，全类和空类的概念，关系运算的基本观念，以及最后，作为各科学的一般科学的方法论概念。在这一版中，所有这些题目都讨论到了（虽然所有这些题目并非同等详尽地讨论了的），因为我似乎觉得在现代逻辑的任何一本教科书中，不谈这些题目就会造成一种根本的缺陷。因此，本书前面的几章，即概论部分或多或少地扩展了；特别是第2章，即专门讨论语句演算的一章包含着很多新材料。对于这几章我又补充了许多新的练习，并且增加了历史的线索的资料。在前几版中，专门符号的应用是缩减到最低限度，而在这一版中我以为有必要使读者熟悉逻辑符号的基本知识。但是，实际上这种符号的应用仍然受到很大限制，并且大部分限定在练习中。在前几版中，为了说明一般的和抽象的思考而引出例子的主要领域是中学数学；因为我过去和现在都认为，基本数学、特别是代数，由于它的概念的简单性及其推论方法的一致性，特别适合于例证逻辑的和方法论性质的各种基本现象。但是，在这一版，特别是在新补充的篇幅中，我经常从其他领域、特别是从日常生活中举出了一些例子。
《逻辑与演绎科学方法论导论》：汉译世界学术名著丛书
无
为什么亚马逊需要把没一本电子书都评价呢？好书5星不就好了。
塔尔斯基的书，不可能不好的。翻译也很好。商务的书质量都很高。
这本书其实是数理逻辑，看起来有点累。
逻辑学的书，经典读物
不适合数学系的看。内容对数学专业的比较简单，适合学自然哲学的看。