✍ Scribed by 蒯因
No coin nor oath required. For personal study only.
内容提要
本卷包括两部论著：《威拉德·范·奥曼·蒯因自传》（1986）和《数理逻辑》（1940）。前者是蒯因为“在世哲学家文库”《蒯因哲学》卷所写的简明自传；后者是蒯因的一部重要的逻辑著作，在其中，他仍然坚持逻辑主义纲领，试图从逻辑中推导出数学，把先前在《数理逻辑的新基础》（1937）一文中提出的NF系统，修改为ML系统，这是一个把命题逻辑、量化理论和集合论集为一身的系统，结构简明、特性奇异。
目录
威拉德·范·奥曼·蒯因自传
数理逻辑
导言
第一章 句子
1 合取、析取和否定
2 条件句
3 多重复合
4 使用和谈论
5 谈论句子的句子
6 准引语
7 括号与黑点
8 归约为三个初始联结词
9 归约为一个初始联结词
10 重言式
11 某些重言的形式
第二章 量化
12 量词
13 公式
14 约束、自由、闭包
15 量化的公理
16 定理
17 ...
内容提要
本卷包括两部论著：《威拉德·范·奥曼·蒯因自传》（1986）和《数理逻辑》（1940）。前者是蒯因为“在世哲学家文库”《蒯因哲学》卷所写的简明自传；后者是蒯因的一部重要的逻辑著作，在其中，他仍然坚持逻辑主义纲领，试图从逻辑中推导出数学，把先前在《数理逻辑的新基础》（1937）一文中提出的NF系统，修改为ML系统，这是一个把命题逻辑、量化理论和集合论集为一身的系统，结构简明、特性奇异。
目录
威拉德·范·奥曼·蒯因自传
数理逻辑
导言
第一章 句子
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 等同可代入性
31 变元的代入
32 进一步的结果
33 逻辑积、和、补
34 包含
35 单类
第五章 关系
36 对和关系
37 关系的抽离
38 逆、象、关系积
39 祖先
40 函数
41 函数的抽离
42 作为关系的等同和从属
第六章 数
43 零、一、后继
44 自然数
45 可数集合
46 有穷的和无穷的
47 关系的幂
48 算术和、积、幂
……
第七章 句法
附录
参考文献
人名索引
主题词索引
📜 SIMILAR VOLUMES
<p>本书共6卷，大致按年代顺序编辑而成。但出于各卷篇幅方面的考试，有时也打破了这种顺序。</p> <p> 第1卷收入两部论著：《威拉德·范·奥曼·蒯因自传》和《数理逻辑》</p> <p> 第2卷收入两部论著：《逻辑方法》和《本体论的相对性及其他论文》</p> <p> 第3卷收入两部论著：《集合论及其逻辑》和《逻辑哲学》 </p> <p> 第4卷收入三部论著：《从逻辑的观点看》、《指称之根》以及《语词和对象》</p> <p> 第5卷收入两部论著：《悖论的方式及其他论文》和《信念之网》</p> <p> 第6卷收入四部论著：《理论和事物》、《一些离奇的想法——一部不连贯的
<p>本卷包括兩部論著：《集合論及其邏輯》（1963）和《邏輯哲學》（1970）。前者是一部關於抽象集合論及其各種公理方法系統化的導引性著作。作者從一種對無窮類的存在無所示意的形式系統開始，在需要假定無窮類時，他容許這些假定只作為特別定理的明說的假設。在帶有總結性的最後幾章中，他描述了羅素的類型論、策梅洛系統、馮·諾尹曼系統和他本人的兩個系統，以及當時的某些發展，還探索了這些系統之間的邏輯聯繫。在後者中，作者把邏輯說成是真與文法這兩個因素的合成物，但是他反對把邏輯真視為因文法或語言而真。他提供了一種一般的文法理論，討論了邏輯的疆界和可能的擴育，論證了邏輯並不僅僅是言辭的事情。</p>
<p>本卷包括三部论著：《从逻辑的观点看》（1953），《语词和对象》（1960），以及《指称之根》（1974）。第一部是蒯因最有影响的一本论文集，收入《论何物存在》、《经验论的两个教条》等9篇论文，主要探讨本体论承诺、分析性、意义、共相等问题，对分析命题和综合命题的区分以及还原论这两个传统观点做了有力批判。第二部是蒯因哲学的代表作，对前一本书中提出的论点做了重大发展，在“彻底翻译”的语境中，阐述和论证了翻译的不确定性、指称的不可测知性、本体论的相对性等重要论题。第三部详细阐述了作者的指称发生理论，是对《语词和对象》等著作中的观点的进一步发展。</p>
<p>本书共6卷，大致按年代顺序编辑而成。但出于各卷篇幅方面的考试，有时也打破了这种顺序。</p> <p> 第1卷收入两部论著：《威拉德·范·奥曼·蒯因自传》和《数理逻辑》</p> <p> 第2卷收入两部论著：《逻辑方法》和《本体论的相对性及其他论文》</p> <p> 第3卷收入两部论著：《集合论及其逻辑》和《逻辑哲学》 </p> <p> 第4卷收入三部论著：《从逻辑的观点看》、《指称之根》以及《语词和对象》</p> <p> 第5卷收入两部论著：《悖论的方式及其他论文》和《信念之网》</p> <p> 第6卷收入四部论著：《理论和事物》、《一些离奇的想法——一部不连贯的
<p>本书共6卷，大致按年代顺序编辑而成。但出于各卷篇幅方面的考试，有时也打破了这种顺序。</p> <p> 第1卷收入两部论著：《威拉德·范·奥曼·蒯因自传》和《数理逻辑》</p> <p> 第2卷收入两部论著：《逻辑方法》和《本体论的相对性及其他论文》</p> <p> 第3卷收入两部论著：《集合论及其逻辑》和《逻辑哲学》 </p> <p> 第4卷收入三部论著：《从逻辑的观点看》、《指称之根》以及《语词和对象》</p> <p> 第5卷收入两部论著：《悖论的方式及其他论文》和《信念之网》</p> <p> 第6卷收入四部论著：《理论和事物》、《一些离奇的想法——一部不连贯的
<p>《逻辑学》（大逻辑）发表于1812-1816年，是黑格尔严格意义上的代表作，其重要性犹在《精神现象学》之上，在精微缜密和艰深晦涩方面更是有过之而无不及。如果说《精神现象学》是黑格尔哲学体系的导论和入门之径，那么只有基本掌握了《逻辑学》，才真正能够窥探黑格尔哲学的堂奥。</p> <p>《逻辑学》（大逻辑）在二十卷本中文版“黑格尔著作集”中的位置是第5、6卷。本书（第5卷）相当于该书上卷，内容为黑格尔临终前修订过的1832年版“存在论”。第6卷相当于该书下卷，内容为未经修订的1813年版“本质论”和1816年版“概念论”。</p> <p>新译本《逻辑学》延续了译者翻译的《精神现象学》（2