书名：逻辑体系（一）
副标题：
作者：约翰·斯图亚特·穆勒 (Mill J.S.)
出版社：上海交通大学出版社
ISBN：9787313105646
出版时间：2014
页数：285
定价：50.00
内容简介： 约翰•斯图亚特•穆勒（简称小穆勒）的《逻辑体系》堪称古典逻辑的集大成之作，也是经验主义哲学向逻辑学领域的重大拓展。虽然《逻辑体系》全书的重点在于下卷的归纳逻辑，但上卷的意义仍然非同小可。首先，上卷是全书的总纲和灵魂所在。小穆勒证明，逻辑学是经验主义哲学的一脉相承，理解了这一点，也就把握住全书的神韵。其次，上卷是全书的基础。“工欲善其事，必先利器”，鉴于逻辑学和语言密不可分的关系，小穆勒根据逻辑学的需求，用相当大的篇幅对语言进行梳理。小穆勒还精辟地分析了命题、分类、定义等逻辑学的基本工具。最后，上卷廓清了横亘在前进道路上的一些重大迷障，其中一些迷障长期困扰逻辑学家及哲学家，这主要体现在小穆勒对演绎逻辑的独到见解上，比如，三段论的作用，真理的本质。只有这些迷障得到清除，归纳逻辑才能顺利地得到展开。 《逻辑体系》的中译本只有百年前严复的《穆勒名学》。严译文... 约翰•斯图亚特•穆勒（简称小穆勒）的《逻辑体系》堪称古典逻辑的集大成之作，也是经验主义哲学向逻辑学领域的重大拓展。虽然《逻辑体系》全书的重点在于下卷的归纳逻辑，但上卷的意义仍然非同小可。首先，上卷是全书的总纲和灵魂所在。小穆勒证明，逻辑学是经验主义哲学的一脉相承，理解了这一点，也就把握住全书的神韵。其次，上卷是全书的基础。“工欲善其事，必先利器”，鉴于逻辑学和语言密不可分的关系，小穆勒根据逻辑学的需求，用相当大的篇幅对语言进行梳理。小穆勒还精辟地分析了命题、分类、定义等逻辑学的基本工具。最后，上卷廓清了横亘在前进道路上的一些重大迷障，其中一些迷障长期困扰逻辑学家及哲学家，这主要体现在小穆勒对演绎逻辑的独到见解上，比如，三段论的作用，真理的本质。只有这些迷障得到清除，归纳逻辑才能顺利地得到展开。 《逻辑体系》的中译本只有百年前严复的《穆勒名学》。严译文义俱臻化境，可憾者一是以文言文译就，不复为当代读者理解，二是并不完整。本译作是《逻辑体系》中文全译本的首次面世。 约翰斯图亚特穆勒（下称小穆勒）是十九世纪的顶尖思想家之一，同时堪称最伟大的通才，没有之一。小穆勒的研究领域横跨自然科学和社会科学，上至哲学、逻辑学，下至经济学、政治学、伦理学，就研究的广度而论，只需上仰古希腊大哲亚里士多德一人而已。 其实，小穆勒看似经天纬地的研究并非真正的四分五散，而是其来有自、一以贯之。本书《逻辑体系》既是他不竭的智慧之源，也是贯穿始终的方法论之线。当然，这本书也是小穆勒皓首穷经之作，前后历时42年（1830－1872年），八易其稿（正式版本），洋洋洒洒千余页、120万字，堪称当时逻辑学领域的扛鼎巨作。 《逻辑体系》这本巨著的价值在于，将洛克、贝克莱、休谟一脉相承的经验主义应用于逻辑学领域，特别是归纳逻辑，使得经验主义哲学开始真正成为其他科学、特别是社会科学的根本方法论。小穆勒本人正是这方面的践行者和受益者。哲学的贯通使他在经济学... 约翰斯图亚特穆勒（下称小穆勒）是十九世纪的顶尖思想家之一，同时堪称最伟大的通才，没有之一。小穆勒的研究领域横跨自然科学和社会科学，上至哲学、逻辑学，下至经济学、政治学、伦理学，就研究的广度而论，只需上仰古希腊大哲亚里士多德一人而已。 其实，小穆勒看似经天纬地的研究并非真正的四分五散，而是其来有自、一以贯之。本书《逻辑体系》既是他不竭的智慧之源，也是贯穿始终的方法论之线。当然，这本书也是小穆勒皓首穷经之作，前后历时42年（1830－1872年），八易其稿（正式版本），洋洋洒洒千余页、120万字，堪称当时逻辑学领域的扛鼎巨作。 《逻辑体系》这本巨著的价值在于，将洛克、贝克莱、休谟一脉相承的经验主义应用于逻辑学领域，特别是归纳逻辑，使得经验主义哲学开始真正成为其他科学、特别是社会科学的根本方法论。小穆勒本人正是这方面的践行者和受益者。哲学的贯通使他在经济学、伦理学、政治学等领域挥洒自如、举重若轻。 小穆勒在《逻辑体系》一书的研究重心是归纳逻辑，也正是在这个领域，他提出了大量独树一帜的创见，这些创见已经被奉为方法论的圭臬，俗称穆勒五法。尽管如此，《逻辑体系》的前两卷绝非陪衬之作。这两卷不仅渊深似海，更兼光华粲然。如果用一个词来形容前两卷，我们可以说“正本清源”。小穆勒用以正本清源的，正是一脉相承的经验主义精髓，而正本清源的对象则不一而足，既有关乎语言的名称、命题、分类、定义等，也有关乎演绎逻辑的三段论、证明等，甚至延伸到数学、物理学等自然科学。无论是语言，还是演绎逻辑，这两个领域可谓步步荆棘、处处迷雾。关于语言的迷障是自然生成的、根深蒂固的，关于逻辑的迷障则既关乎习惯，也关乎内省，更有一些涉及玄之又玄的形而上学（至少是关于如何在形而上学和逻辑学之间划出分界线）。小穆勒在这个部分的探索堪称卓绝。除非理解经验主义的哲学精髓，否则的话，我们在这两卷有时简直寸步难行。然而，一旦跨过这片艰难之地，呈现在眼前的归纳逻辑将会是阳光大道（当然不会轻松）。正本清源固然为了廓清归纳逻辑的障碍，然而，其诸多副产品亦价值不菲，比如廓清在数学领域长期萦绕不散的诸多迷障。如果这些迷障不解，学习数学不过是鹦鹉学舌之属，绝难一窥数学堂奥之境。 一百多年来，《逻辑体系》的中译本只有严复的《穆勒名学》。严译堪称极品，然可憾者有二：一是文言文译就，不复为今人所用；二是戛然而止、 且有删略，令人难有一窥全豹之享。拙译致力于《逻辑体系》的全译本，译品绝难望严译之项背，唯期一补空白而已。 (远瞰图书唯一代理商：http://shop110357306.taobao.com/index.htm) 一、在任何一个主题的讨论伊始，定义必然是暂时的 二、逻辑学是推理的技术和科学吗？ 三、或者，逻辑学是致知的技术和科学吗？ 四、逻辑学关乎推断，不关乎先验（直觉）真知 五、逻辑学和其他科学的关系 · · · · · · 一、在任何一个主题的讨论伊始，定义必然是暂时的 二、逻辑学是推理的技术和科学吗？ 三、或者，逻辑学是致知的技术和科学吗？ 四、逻辑学关乎推断，不关乎先验（直觉）真知 五、逻辑学和其他科学的关系 六、逻辑学有什么作用，其作用如何彰显 七、逻辑学定义的表述及阐发 第一卷 命名与命题 第一章 论首先分析语言的必要性 一、命名理论，为什么命题是逻辑学不可或缺的一部分 二、分析命题的第一步 三、先研究名称，再研究事物 第二章 论名称 一、名称是事物之名，而非观念之名 二、词语不是名称，而是名称的组成部分 三、普遍名称与个体名称 四、具体名称和抽象名称 五、内涵名称和非内涵名称 六、肯定名称和否定名称 七、相对名称和绝对名称 八、单义名称和复义名称 第三章 论名称所表示的事物 一、历数可命名事物的必要性；亚里士多德的范畴 二、最宽泛的那些名称模棱两可 三、知觉，也称意识状态 四、必须将知觉和对应的感官前因（physical antecedents）区分开来，兼论直觉。 五、意志和行为 六、实体和属性 七、物体 八、心灵 九、性质 十、关系 十一、相似 十二、数量 十三、物体的一切属性都是以意识状态为基础 十四、心灵的一切属性亦是以意识状态为基础 十五、小结 第四章 论命题 一、系词的本质和作用 二、肯定和否定命题 三、简单命题和复合命题 四、普遍命题、特定命题和单称命题 第五章 命题的含义 一、论如下学说：命题表达的是两个观念之间的关系 二、论如下学说：命题表达的是两个名称之含义的关系 三、论如下理论：命题无非是将某个事物归入或排除出某个类别 四、命题真正的含义是什么 五、一个命题肯定（或否定）某种接续关系、某种共存关系、某种单纯之存在、某种因果关系 六、或者，命题断言（或否定）某种相似关系 七、主谓语都是抽象名称的命题 第六章 论纯名义命题 一、本质命题和偶然命题 二、一切本质命题都是同义命题 三、个体对象没有本质可言 四、如何将本质命题和纯名义命题区分开来 五、表达实在命题含义的两种方式 第七章 论分类的本质，以及五大范畴（predicables） 一、分类，与命名的关联 二、范畴 三、类属和种属 四、种类是现实的存在 五、种差 六、满足日常需要的种差，满足特殊或专业需要的种差 七、固有属性 八、偶然属性 第八章 论定义 一、什么是定义 二、能够定义的名称，其含义能够逐一分解 三、完全定义，如何区分完全定义和不完全定义 四、如何区分完全定义和描述 五、对事物的定义，就是对名称的定义，再加上一个隐含的假设：和名称对应事物是存在的 六、无论事物存在与否，所谓对事物的定义其实是对名称的定义 七、定义固然仅关乎名称，然而，定义必须建立在对相应事物认知的基础之上 第二卷 论推理 第一章 概论推断或者推理 一、对第一卷的回顾 二、有些推断名不符实 三、严格意义上的推断，以及其中的归纳和推论 第二章 论推论，或者三段论 一、关于三段论的分析 二、遍有遍无公理并非推理的基础，而只是同义命题 三、真正的推论基本公理 四、推论基本公理的另外一种表达形式 第三章 论三段论的作用及其在逻辑学中的价值 一、 三段论是以待决之问题为论据（petitio principii）吗？ 二、常见理论的不足之处 三、一切推断都是从特定到特定的推理 四、普遍命题是对从特定到特定之推断的记录，三段论的规则是对这个记录的解释 五、三段论不是推理，而是对推理的检验 六、真正的推理是什么 七、归纳和演绎的关系 八、回答一些反对意见 九、论形式逻辑（formal logic），和真知逻辑（logic of truth）的关系 第四章 论连续推理及演绎科学 一、连续推理存在的必要性 二、连续推理是一系列归纳性推断 三、连续推理是从特定到特定的一系列归纳性推断，借助的是标记之标记 四、为什么存在演绎科学？ 五、为什么其他科学尚处在实验科学的阶段？ 六、随着实验的不断演进，实验科学有可能成为演绎科学 八、一门科学如何从实验科学一跃成为演绎科学 第五章 论证明，以及必然真理 一、能够从假设必然推导而出，只有在这个意义上，几何定理才是必然真理 二、几何学假设是一些事实，只不过，人们夸大或忽略了与这些事实有关的环境 三、在几何学的第一原则中，其中一些是公理，这些公理并非虚构的假设 四、在几何学的第一原则中，有些公理是通过实验获得的真知 五、回答反对意见之一 六、考察惠威尔博士关于公理的观点 第六章 继续前一章的讨论 一、一切演绎科学都是归纳的 二、算术和代数的命题不是纯名义命题，而是来自经验的归纳 三、在什么意义上，我们可以说，算术和代数的命题是假设的 四、基于假设是理证性科学的典型属性 五、理证性科学的定义 第七章 考察和前面理论相左的一些理论 一、普适假设（universal postulate）理论 二、无法想象之为检验，不能代表过去的经验总和 三、无法想象这个检验标准并非隐含在思维的第一个过程中 四、回答反对意见 五、汉密尔顿关于矛盾律及排他律的理论 译名对照表 · · · · · · 竟然只有前两卷。穆勒把归纳推理的地位降低一格，认为它只是一种简化记录的方式。然而，他又称所有的推理都是归纳推理。读的不太理解也不太接受。后四卷什么时候能出版啊，远瞰出版社是不是倒闭了啊，计划出版时间是去年啊。。接下来一个月的时间都得扔到英文原版上了。 不光是逻辑学。包括很多经验主义哲学认知论的内容，很不错。不过读时总觉得有些点扣得不牢，简单可以解决的问题非要洋洋洒洒。十八天，两遍。后重读维特根斯坦，发现观看世界的角度彻底升级。真是好书。 在读英文版 唉 密尔 比较啰嗦 个人觉得，中文版翻译得还是不错的，楼上那个west说穆勒把归纳逻辑降低一等然后又说所有的推理都是归纳推理，这个疑问说明他确实没有读懂，他把归纳推理降了一等？我没有看到哦 而且即使真是这样，那后面的归纳推理是经过穆勒五法改良了的归纳推理，已经把所谓的演绎推理也纳入进去了，因此这两个归纳推理实际上不是同样的内涵，前者可靠性低，后者可靠性被密尔提升了。 不光是逻辑学。包括很多经验主义哲学认知论的内容，很不错。不过读时总觉得有些点扣得不牢，简单可以解决的问题非要洋洋洒洒。十八天，两遍。后重读维特根斯坦，发现观看世界的角度彻底升级。真是好书。 在读英文版 唉 密尔 比较啰嗦 个人觉得，中文版翻译得还是不错的，楼上那个west说穆勒把归纳逻辑降低一等然后又说所有的推理都是归纳推理，这个疑问说明他确实没有读懂，他把归纳推理降了一等？我没有看到哦 而且即使真是这样，那后面的归纳推理是经过穆勒五法改良了的归纳推理，已经把所谓的演绎推理也纳入进去了，因此这两个归纳推理实际上不是同样的内涵，前者可靠性低，后者可靠性被密尔提升了。 竟然只有前两卷。穆勒把归纳推理的地位降低一格，认为它只是一种简化记录的方式。然而，他又称所有的推理都是归纳推理。读的不太理解也不太接受。后四卷什么时候能出版啊，远瞰出版社是不是倒闭了啊，计划出版时间是去年啊。。接下来一个月的时间都得扔到英文原版上了。 逻辑体系 定义 逻辑学是推理的科学：对推理时发生的心灵活动的分析（P2） 逻辑学是推理的技术：家里在上述分析基础上的原理 研究人类致知时诸般知性活动的科学（P3） 逻辑学的唯一目标在于，指引个人思考（P4）（相对于修辞学，传播思想） 逻辑学研究的时，由已知推导出未知，无论这些一直时普遍命题，还是只是观察和直觉 逻辑学不关乎信念，只关乎证明和证据（相对的，命题是信念（P16），对它的研究是逻辑学的辅助智性工具） ... 2019-04-30 14:27 逻辑体系定义逻辑学是推理的科学：对推理时发生的心灵活动的分析（P2）逻辑学是推理的技术：家里在上述分析基础上的原理研究人类致知时诸般知性活动的科学（P3）逻辑学的唯一目标在于，指引个人思考（P4）（相对于修辞学，传播思想）逻辑学研究的时，由已知推导出未知，无论这些一直时普遍命题，还是只是观察和直觉逻辑学不关乎信念，只关乎证明和证据（相对的，命题是信念（P16），对它的研究是逻辑学的辅助智性工具）逻辑学是对证据的判断的科学（P9）逻辑学的演技主题时推理或推断（P15）【小穆勒有一处模糊：（P6）关于直觉，分为两种，一种是真正的直觉，比如颜色，一种是快速反应的推理，比如距离的察觉。我不同意：任何官能都可以被无限分解到更为纯粹的层面，因此都不可以被称为直觉。直觉是模糊，应该定义为“大部分时候都正确的瞬间知识”。由于直觉是我们唯一能知道的事物，那么真理实际上就是脆弱的。经验主义就是承认小可能的巨大虚无时带着信仰去解决问题。】逻辑学真正要探索的目标是，如何证明命题（P105）第一卷 命名与命题第一卷行文脉络：首先论名称，然后其所表事物，然后论命名（使用名称生产信念），然后论其所表事物，后论名称所创造的类别，由类别导致定义。第二章 论名称这些分类相互独立，但是根据与内涵的关系，某些分类之间会出现制约一、名称是事物之名，而非观念知名二、词语不是名称，是名称的组成部分形容词，名词是名称（实词），无法单独用作名称的是虚词。多个词语可以组成一个或多个名称。三、普遍名称与个体名称（与周延名称（P81））普遍名称可以指多个事物，个体只能指代某个。不过普遍名称可以根据上下文变成个体名称（P31：凯撒军团，根据上下文可以是某个确定的军团）P29：普遍名称之所以是普遍名称，因为它所称之物拥有一定数量的相同属性。周延名称（特定名称）：可以表示以它为名称的所有对象的普遍名称四、具体名称和抽象名称具体名称是事物的名称，约翰大海桌子，白色的，好的。抽象名称是属性的名称，比如白色，美德。五、内涵名称和非内涵名称内涵名称表示很多事物或属性，非内涵名称只表示某个事物或属性。非内涵：伦敦，长度，美德。内涵：白色的，有美德的。非内涵名称只是一个记号（所有专有名称，个体名称）。但是，根据听者已掌握的信息，专有名称和个体名称都可以是内涵名称（P30）。六、肯定名称和否定名称+缺失名称（盲，瘸，肯定了一种存在之后的缺失）七、相对名称和绝对名称在将某个名称用于某个事物时，如果不提及另一个事物，我们无法解释这个名称的含义，那么，我们就称之为相对名称。是否所有形容词都是相对名称？八、单义名称和复义名称如果某个名称作为事物的谓语时含义不同，那么，这个名称就是复义名称。【我看不出这和内涵名称的分类有什么区别，除了缩小作用范围到谓语这一点】第三章 论可命名的事物可命名的事物分为四大类。一、知觉（意识状态），分为：感觉（由物质激发）、情感（由心灵激发）、思想（包括信念（包括直觉））、意志（行为的一部分，另一部分是意识的结果）【如前所述，我不认为感觉和直觉有明显的区分】二、感受这些知觉的心灵。三、激起特定直觉的外部事物：物体、性质、数量四、关系：接续和共存，相似或不似。另一种分类法：一、知觉（意识状态）二、实体：物质、心灵三、属性：性质、关系和数量第四章 论命题（proposition）定义（P72）探讨命题的含义无非是，当心灵肯定某个命题时，心灵实际相信的内容究竟是什么。（忘了）命题就是信念。一、系词系词将两个名称连接，表示一个在肯定或否定另一个的意思。系词影像的不是谓语，而是谓语以何种方式作用于主语（P76）系词是断言的标记二、肯定命题和否定命题前者位于肯定主语，后者否定主语。完全看系词。三、简单命题和复合命题简单命题：只有一个主语和谓语复合命题：有多个主语或谓语复合命题是多个命题，可以是多个命题的直接结合（彼得和詹姆斯在耶路撒冷和加利利步道），也可以是多个命题之间发生关系，产生新的命题（凯撒死了，但是布鲁图斯活着（“但是”是一个系词，表示前后两个命题之间的关系））多重命题：两个命题恒常地结合在一起，不是单一命题，而是多重命题。【无例，不解】四、以及假言命题和直言命题假言命题（条件命题）：分为排他命题和条件命题。任何排他命题等于两个或多个条件命题。（有些假言命题不是排他命题）。（假言命题并不肯定其中的简单命题（假言命题关乎命题之间的关系，是关于命题的命题）直言命题：不依赖条件，关乎名称的命题。五、普遍命题：所有的人不免一死 （主语是周延名称）特定命题：有些人不免一死 （主语不是周延名称）不定命题（其实不存在）：人不免一死单称命题：凯撒不免一死特定和单称：特定不知道具体是哪些，而单称知道不定命题可以是普别命题也可以是特定命题，但是无法判断（若无上下文）。不过说话者一定有特定的意思，所以此分类不存在。六、本质命题和偶然命题（P105，第六章）本质属性是一个事物可以被称以其名所必须有的属性，比如理性之于人。黑皮肤是偶然属性。于是，一切本质命题都是同义命题（纯名义命题）。唯一有用的一类本质命题就是定义。个体对象没有本质可言【如果要思考其本质，要放到其所属的类别的环境之中】本质命题=纯名义命题非本质命题=偶然命题=实在命题→达到新知（P111）七、表达实在命题含义的两种方式实在命题是实际传达信息的命题，谓语没有被预设地肯定主语。一种方式让我们直接关注命题的含义（所有人都不免一死All men are mortal），另一种让我们关注命题的使用方式（无人为仙佛Nobody is devine）【英文为推测】命题不是我们追求的最终结果，而是得出另外一些命题的工具。【那么最后呢？接近完美的解释项？】在推理中，第二种方式更符合需求。第五章 命题的含义一、命题表达的是两个事物之间的关系二、命题关乎主谓语属性之间的关系，关乎自然法则，不同现象之间既有的次序。三、关于推理的两大错误：一、将推理看作观念的活动（观念主义者）；二、将推理看作是命名的活动（唯名主义者）。不过正是因为命题为真，才将对象归入类别，而不是相反。命题当中，属性的切合首先出现（由于自然法则），后出现将事物划分到特定名称下的活动。五、命题肯定或否定关系（接续、共存、因果、相似）和单纯之存在第六章 纯名义命题见第四章第七章 论分类的本质，以及五大范畴（predicables）一、分类与名称的关联每当引入普遍名称，就创建了一个类别。二、范畴类属种属种差（类属间差）固有属性偶然属性种属和类属总是相对而言的。构成种属和类属关系的基础不是谓语内涵的属性，而是关系。种差将既定类属中的一个种属和其它种属区分开来（包含数量不定的属性）。种属必然包含类属的全部属性（P124）。类属+种差=种属。种属根据实际需要确定广度。其实，上述公式永远不可能成立，因为种差不可能瀚海种属和类属之间的全部差异。（P135）：类属+种差得到的是一个不完全定义。种属的完全定义应该是类属间差（因该包括这个种属名称所内涵的不在上级类属名称所内涵的属性之列的属性。第八章 论定义定义的定义：定义是某个命题，这个命题表明某个词语的含义（一、公认的含义，二、为了表述的需要，表述者赋予的含义）。定义就是（或许通过名称）对其内涵的注意列举（一）。定义总能直接分解到单一知觉本身的名称（二）。三、本质定义是不完全定义，仅诉说部分属性。偶然定义是描述。完全定义是类属定义加类属间差四、描述根据情况可以成为定义。完全定义并不存在，只能根据目的，将一些目标与另一些进行区分。五、对于事物的定义不必假设事物的存在。只是将某些属性归拢与一体。六、事物的定义不是名称的定义，否则是重言式。七、对定义的探索就是对真知的探索。第二卷 论推理第一章 推断或推理概论一、对第一卷的回顾定义并无真伪之别，因为它（名称）的属性是人为给予的。只有无法诉诸直觉的命题才需要被证明。证明的定义：存在某个事实或陈述，通过这个事实或陈述，可以推导出另外一个事实或陈述时真实的，那么后一个事实或陈述得到了证明。获得真知的途径只有一条：从经验推断而出（P208）。推理有广义和狭义之分。广义的推理（=推断）：从一个或多个命题推导至另外一个命题；向某个命题提供证据，使它成为另一个命题的结论（原理同前）。广义的推理包括了归纳和演绎（三段论）。另外一种广义推理的分类法（P161）：①从特殊推导至普遍（归纳）；②从普遍推导至特殊（演绎）；③从特殊到特殊（我们日常使用的，不那么严谨的推理）。狭义的推理：演绎（rationcination）。从此可以介入关于推理本质的问题。【三段论的本质是通过一个中介，推导出两个名称的内涵属性之关系。】不过在此又出现唯名主义者和唯实主义者的分歧。P171：唯名主义者信奉遍有遍无公理：只要能用属性来肯定一个类别，就可以用它来肯定类别中的每一个对象。这个观念的问题是，讲人类的认知过程本末倒置：是先有对个体属性的认知，才有种类的归类。遍有遍无公理虽然逻辑上没错，但是实质上空虚无物。于是对真理的探索不是研究从名称中变幻出来的咒语或者魔法（P174），而是要不断回到现实。【判断一个三段论是否有效，应该看是否有新的属性被归到了一个名称下。】于是存在那四种名不副实的推断（也就是说，包含的信息量不足，名称在三段论之后拥有的还是一样的属性）P156①名称重言式②命题重言式③谓语属性量缩小④命题的转换（又分为，简单转换（调换主谓语）、有限转换（把普遍命题转化为特定命题）、换质转换（主谓调换，而且更改其中一个））【跟寻上面的思路，也可以得到如下的见解：根据接受者的知识量（他的脑海中的名称数、这些名称分别包括的属性数）的不同，有些三段论变得像是循环论证：三段论能够证明的知识，不超过前提所包括的知识（P182）。因此有些学者认为，所有的三段论本质上都是循环论证。在此进一步深入推断的本质。P185 一切推断都是从特定到特定的推断。我们检查一定数量的特定事例，然后根据这些事例总结出普遍规律（当然，检查的事例越多得到的普遍规律就越准，而且它的准确度永远都不可能是百分之百），然后再根据总结出来的普遍规律回到特定的事例。第一个步骤是归纳，第二个步骤是演绎。从本质上来讲，人不需要归纳出普遍规律就可以进行推理。任何基本的经验都是由此得来的。“特殊—普遍—特殊”（三段论）这一过程的优点是，在问题变得复杂的时候，这一过程可以确保推理结果准确无误（三段论不是推理，而是对推理的检验（P195））。“特殊—普遍—特殊”是更高效的思考模式。【三段论榨取暗藏在前提中的真知，建立联系。获取知识就是建立（事物之间的）联系的过程。三段论的意义在此。于是，根据接收者的知识量，有些三段论是循环论证，有些不是（那些给他新的联系的）。科学的发展靠那些对人类思维体系中的联系量进行扩张的三段论支撑。】第三章、九：形式逻辑是逻辑学的从属部分，它关心前后一致，是获取真知的一部分。真知逻辑就是逻辑学，通过推断或推理获得知识的全部理论。它需要形式逻辑的辅佐。第四章 论连续推理及演绎科学一、连续推理存在必要二、连续推理是一系列归纳行推断三、连续推理是一些列从特定到特定的推断，借助标记之标记四、五、我们总希望赋予任何一门科学尽可能多演绎科学的特点——从了了数条至简的归纳，我们就构建起这门科学。（创造统一定理，不仅能够包括过去的事件，还能归类未来将出现的事件）二、一门科学从实验科学一跃称为演绎科学，数学是促成的重要因素。到几何，再到代数。（标记）。第五章 论证明及必然定理数学定理不是真理。数学来源于归纳。是有条件的必然定理。公理来自归纳（P230）第七章直觉派认为，可否想象是真知的试金石。【这是本末倒置。是经验—不可想象，而不是不可想象—经验。唯一不可想象的是逻辑上的谬误，比如不能即是又不是。但是逻辑统辖所有的一切（维特根斯坦），这种不可想象所证明的没有任何实意义。】 逻辑体系 定义 逻辑学是推理的科学：对推理时发生的心灵活动的分析（P2） 逻辑学是推理的技术：家里在上述分析基础上的原理 研究人类致知时诸般知性活动的科学（P3） 逻辑学的唯一目标在于，指引个人思考（P4）（相对于修辞学，传播思想） 逻辑学研究的时，由已知推导出未知，无论这些一直时普遍命题，还是只是观察和直觉 逻辑学不关乎信念，只关乎证明和证据（相对的，命题是信念（P16），对它的研究是逻辑学的辅助智性工具） ... 2019-04-30 14:27 逻辑体系定义逻辑学是推理的科学：对推理时发生的心灵活动的分析（P2）逻辑学是推理的技术：家里在上述分析基础上的原理研究人类致知时诸般知性活动的科学（P3）逻辑学的唯一目标在于，指引个人思考（P4）（相对于修辞学，传播思想）逻辑学研究的时，由已知推导出未知，无论这些一直时普遍命题，还是只是观察和直觉逻辑学不关乎信念，只关乎证明和证据（相对的，命题是信念（P16），对它的研究是逻辑学的辅助智性工具）逻辑学是对证据的判断的科学（P9）逻辑学的演技主题时推理或推断（P15）【小穆勒有一处模糊：（P6）关于直觉，分为两种，一种是真正的直觉，比如颜色，一种是快速反应的推理，比如距离的察觉。我不同意：任何官能都可以被无限分解到更为纯粹的层面，因此都不可以被称为直觉。直觉是模糊，应该定义为“大部分时候都正确的瞬间知识”。由于直觉是我们唯一能知道的事物，那么真理实际上就是脆弱的。经验主义就是承认小可能的巨大虚无时带着信仰去解决问题。】逻辑学真正要探索的目标是，如何证明命题（P105）第一卷 命名与命题第一卷行文脉络：首先论名称，然后其所表事物，然后论命名（使用名称生产信念），然后论其所表事物，后论名称所创造的类别，由类别导致定义。第二章 论名称这些分类相互独立，但是根据与内涵的关系，某些分类之间会出现制约一、名称是事物之名，而非观念知名二、词语不是名称，是名称的组成部分形容词，名词是名称（实词），无法单独用作名称的是虚词。多个词语可以组成一个或多个名称。三、普遍名称与个体名称（与周延名称（P81））普遍名称可以指多个事物，个体只能指代某个。不过普遍名称可以根据上下文变成个体名称（P31：凯撒军团，根据上下文可以是某个确定的军团）P29：普遍名称之所以是普遍名称，因为它所称之物拥有一定数量的相同属性。周延名称（特定名称）：可以表示以它为名称的所有对象的普遍名称四、具体名称和抽象名称具体名称是事物的名称，约翰大海桌子，白色的，好的。抽象名称是属性的名称，比如白色，美德。五、内涵名称和非内涵名称内涵名称表示很多事物或属性，非内涵名称只表示某个事物或属性。非内涵：伦敦，长度，美德。内涵：白色的，有美德的。非内涵名称只是一个记号（所有专有名称，个体名称）。但是，根据听者已掌握的信息，专有名称和个体名称都可以是内涵名称（P30）。六、肯定名称和否定名称+缺失名称（盲，瘸，肯定了一种存在之后的缺失）七、相对名称和绝对名称在将某个名称用于某个事物时，如果不提及另一个事物，我们无法解释这个名称的含义，那么，我们就称之为相对名称。是否所有形容词都是相对名称？八、单义名称和复义名称如果某个名称作为事物的谓语时含义不同，那么，这个名称就是复义名称。【我看不出这和内涵名称的分类有什么区别，除了缩小作用范围到谓语这一点】第三章 论可命名的事物可命名的事物分为四大类。一、知觉（意识状态），分为：感觉（由物质激发）、情感（由心灵激发）、思想（包括信念（包括直觉））、意志（行为的一部分，另一部分是意识的结果）【如前所述，我不认为感觉和直觉有明显的区分】二、感受这些知觉的心灵。三、激起特定直觉的外部事物：物体、性质、数量四、关系：接续和共存，相似或不似。另一种分类法：一、知觉（意识状态）二、实体：物质、心灵三、属性：性质、关系和数量第四章 论命题（proposition）定义（P72）探讨命题的含义无非是，当心灵肯定某个命题时，心灵实际相信的内容究竟是什么。（忘了）命题就是信念。一、系词系词将两个名称连接，表示一个在肯定或否定另一个的意思。系词影像的不是谓语，而是谓语以何种方式作用于主语（P76）系词是断言的标记二、肯定命题和否定命题前者位于肯定主语，后者否定主语。完全看系词。三、简单命题和复合命题简单命题：只有一个主语和谓语复合命题：有多个主语或谓语复合命题是多个命题，可以是多个命题的直接结合（彼得和詹姆斯在耶路撒冷和加利利步道），也可以是多个命题之间发生关系，产生新的命题（凯撒死了，但是布鲁图斯活着（“但是”是一个系词，表示前后两个命题之间的关系））多重命题：两个命题恒常地结合在一起，不是单一命题，而是多重命题。【无例，不解】四、以及假言命题和直言命题假言命题（条件命题）：分为排他命题和条件命题。任何排他命题等于两个或多个条件命题。（有些假言命题不是排他命题）。（假言命题并不肯定其中的简单命题（假言命题关乎命题之间的关系，是关于命题的命题）直言命题：不依赖条件，关乎名称的命题。五、普遍命题：所有的人不免一死 （主语是周延名称）特定命题：有些人不免一死 （主语不是周延名称）不定命题（其实不存在）：人不免一死单称命题：凯撒不免一死特定和单称：特定不知道具体是哪些，而单称知道不定命题可以是普别命题也可以是特定命题，但是无法判断（若无上下文）。不过说话者一定有特定的意思，所以此分类不存在。六、本质命题和偶然命题（P105，第六章）本质属性是一个事物可以被称以其名所必须有的属性，比如理性之于人。黑皮肤是偶然属性。于是，一切本质命题都是同义命题（纯名义命题）。唯一有用的一类本质命题就是定义。个体对象没有本质可言【如果要思考其本质，要放到其所属的类别的环境之中】本质命题=纯名义命题非本质命题=偶然命题=实在命题→达到新知（P111）七、表达实在命题含义的两种方式实在命题是实际传达信息的命题，谓语没有被预设地肯定主语。一种方式让我们直接关注命题的含义（所有人都不免一死All men are mortal），另一种让我们关注命题的使用方式（无人为仙佛Nobody is devine）【英文为推测】命题不是我们追求的最终结果，而是得出另外一些命题的工具。【那么最后呢？接近完美的解释项？】在推理中，第二种方式更符合需求。第五章 命题的含义一、命题表达的是两个事物之间的关系二、命题关乎主谓语属性之间的关系，关乎自然法则，不同现象之间既有的次序。三、关于推理的两大错误：一、将推理看作观念的活动（观念主义者）；二、将推理看作是命名的活动（唯名主义者）。不过正是因为命题为真，才将对象归入类别，而不是相反。命题当中，属性的切合首先出现（由于自然法则），后出现将事物划分到特定名称下的活动。五、命题肯定或否定关系（接续、共存、因果、相似）和单纯之存在第六章 纯名义命题见第四章第七章 论分类的本质，以及五大范畴（predicables）一、分类与名称的关联每当引入普遍名称，就创建了一个类别。二、范畴类属种属种差（类属间差）固有属性偶然属性种属和类属总是相对而言的。构成种属和类属关系的基础不是谓语内涵的属性，而是关系。种差将既定类属中的一个种属和其它种属区分开来（包含数量不定的属性）。种属必然包含类属的全部属性（P124）。类属+种差=种属。种属根据实际需要确定广度。其实，上述公式永远不可能成立，因为种差不可能瀚海种属和类属之间的全部差异。（P135）：类属+种差得到的是一个不完全定义。种属的完全定义应该是类属间差（因该包括这个种属名称所内涵的不在上级类属名称所内涵的属性之列的属性。第八章 论定义定义的定义：定义是某个命题，这个命题表明某个词语的含义（一、公认的含义，二、为了表述的需要，表述者赋予的含义）。定义就是（或许通过名称）对其内涵的注意列举（一）。定义总能直接分解到单一知觉本身的名称（二）。三、本质定义是不完全定义，仅诉说部分属性。偶然定义是描述。完全定义是类属定义加类属间差四、描述根据情况可以成为定义。完全定义并不存在，只能根据目的，将一些目标与另一些进行区分。五、对于事物的定义不必假设事物的存在。只是将某些属性归拢与一体。六、事物的定义不是名称的定义，否则是重言式。七、对定义的探索就是对真知的探索。第二卷 论推理第一章 推断或推理概论一、对第一卷的回顾定义并无真伪之别，因为它（名称）的属性是人为给予的。只有无法诉诸直觉的命题才需要被证明。证明的定义：存在某个事实或陈述，通过这个事实或陈述，可以推导出另外一个事实或陈述时真实的，那么后一个事实或陈述得到了证明。获得真知的途径只有一条：从经验推断而出（P208）。推理有广义和狭义之分。广义的推理（=推断）：从一个或多个命题推导至另外一个命题；向某个命题提供证据，使它成为另一个命题的结论（原理同前）。广义的推理包括了归纳和演绎（三段论）。另外一种广义推理的分类法（P161）：①从特殊推导至普遍（归纳）；②从普遍推导至特殊（演绎）；③从特殊到特殊（我们日常使用的，不那么严谨的推理）。狭义的推理：演绎（rationcination）。从此可以介入关于推理本质的问题。【三段论的本质是通过一个中介，推导出两个名称的内涵属性之关系。】不过在此又出现唯名主义者和唯实主义者的分歧。P171：唯名主义者信奉遍有遍无公理：只要能用属性来肯定一个类别，就可以用它来肯定类别中的每一个对象。这个观念的问题是，讲人类的认知过程本末倒置：是先有对个体属性的认知，才有种类的归类。遍有遍无公理虽然逻辑上没错，但是实质上空虚无物。于是对真理的探索不是研究从名称中变幻出来的咒语或者魔法（P174），而是要不断回到现实。【判断一个三段论是否有效，应该看是否有新的属性被归到了一个名称下。】于是存在那四种名不副实的推断（也就是说，包含的信息量不足，名称在三段论之后拥有的还是一样的属性）P156①名称重言式②命题重言式③谓语属性量缩小④命题的转换（又分为，简单转换（调换主谓语）、有限转换（把普遍命题转化为特定命题）、换质转换（主谓调换，而且更改其中一个））【跟寻上面的思路，也可以得到如下的见解：根据接受者的知识量（他的脑海中的名称数、这些名称分别包括的属性数）的不同，有些三段论变得像是循环论证：三段论能够证明的知识，不超过前提所包括的知识（P182）。因此有些学者认为，所有的三段论本质上都是循环论证。在此进一步深入推断的本质。P185 一切推断都是从特定到特定的推断。我们检查一定数量的特定事例，然后根据这些事例总结出普遍规律（当然，检查的事例越多得到的普遍规律就越准，而且它的准确度永远都不可能是百分之百），然后再根据总结出来的普遍规律回到特定的事例。第一个步骤是归纳，第二个步骤是演绎。从本质上来讲，人不需要归纳出普遍规律就可以进行推理。任何基本的经验都是由此得来的。“特殊—普遍—特殊”（三段论）这一过程的优点是，在问题变得复杂的时候，这一过程可以确保推理结果准确无误（三段论不是推理，而是对推理的检验（P195））。“特殊—普遍—特殊”是更高效的思考模式。【三段论榨取暗藏在前提中的真知，建立联系。获取知识就是建立（事物之间的）联系的过程。三段论的意义在此。于是，根据接收者的知识量，有些三段论是循环论证，有些不是（那些给他新的联系的）。科学的发展靠那些对人类思维体系中的联系量进行扩张的三段论支撑。】第三章、九：形式逻辑是逻辑学的从属部分，它关心前后一致，是获取真知的一部分。真知逻辑就是逻辑学，通过推断或推理获得知识的全部理论。它需要形式逻辑的辅佐。第四章 论连续推理及演绎科学一、连续推理存在必要二、连续推理是一系列归纳行推断三、连续推理是一些列从特定到特定的推断，借助标记之标记四、五、我们总希望赋予任何一门科学尽可能多演绎科学的特点——从了了数条至简的归纳，我们就构建起这门科学。（创造统一定理，不仅能够包括过去的事件，还能归类未来将出现的事件）二、一门科学从实验科学一跃称为演绎科学，数学是促成的重要因素。到几何，再到代数。（标记）。第五章 论证明及必然定理数学定理不是真理。数学来源于归纳。是有条件的必然定理。公理来自归纳（P230）第七章直觉派认为，可否想象是真知的试金石。【这是本末倒置。是经验—不可想象，而不是不可想象—经验。唯一不可想象的是逻辑上的谬误，比如不能即是又不是。但是逻辑统辖所有的一切（维特根斯坦），这种不可想象所证明的没有任何实意义。】 逻辑体系 定义 逻辑学是推理的科学：对推理时发生的心灵活动的分析（P2） 逻辑学是推理的技术：家里在上述分析基础上的原理 研究人类致知时诸般知性活动的科学（P3） 逻辑学的唯一目标在于，指引个人思考（P4）（相对于修辞学，传播思想） 逻辑学研究的时，由已知推导出未知，无论这些一直时普遍命题，还是只是观察和直觉 逻辑学不关乎信念，只关乎证明和证据（相对的，命题是信念（P16），对它的研究是逻辑学的辅助智性工具） ... 2019-04-30 14:27 逻辑体系定义逻辑学是推理的科学：对推理时发生的心灵活动的分析（P2）逻辑学是推理的技术：家里在上述分析基础上的原理研究人类致知时诸般知性活动的科学（P3）逻辑学的唯一目标在于，指引个人思考（P4）（相对于修辞学，传播思想）逻辑学研究的时，由已知推导出未知，无论这些一直时普遍命题，还是只是观察和直觉逻辑学不关乎信念，只关乎证明和证据（相对的，命题是信念（P16），对它的研究是逻辑学的辅助智性工具）逻辑学是对证据的判断的科学（P9）逻辑学的演技主题时推理或推断（P15）【小穆勒有一处模糊：（P6）关于直觉，分为两种，一种是真正的直觉，比如颜色，一种是快速反应的推理，比如距离的察觉。我不同意：任何官能都可以被无限分解到更为纯粹的层面，因此都不可以被称为直觉。直觉是模糊，应该定义为“大部分时候都正确的瞬间知识”。由于直觉是我们唯一能知道的事物，那么真理实际上就是脆弱的。经验主义就是承认小可能的巨大虚无时带着信仰去解决问题。】逻辑学真正要探索的目标是，如何证明命题（P105）第一卷 命名与命题第一卷行文脉络：首先论名称，然后其所表事物，然后论命名（使用名称生产信念），然后论其所表事物，后论名称所创造的类别，由类别导致定义。第二章 论名称这些分类相互独立，但是根据与内涵的关系，某些分类之间会出现制约一、名称是事物之名，而非观念知名二、词语不是名称，是名称的组成部分形容词，名词是名称（实词），无法单独用作名称的是虚词。多个词语可以组成一个或多个名称。三、普遍名称与个体名称（与周延名称（P81））普遍名称可以指多个事物，个体只能指代某个。不过普遍名称可以根据上下文变成个体名称（P31：凯撒军团，根据上下文可以是某个确定的军团）P29：普遍名称之所以是普遍名称，因为它所称之物拥有一定数量的相同属性。周延名称（特定名称）：可以表示以它为名称的所有对象的普遍名称四、具体名称和抽象名称具体名称是事物的名称，约翰大海桌子，白色的，好的。抽象名称是属性的名称，比如白色，美德。五、内涵名称和非内涵名称内涵名称表示很多事物或属性，非内涵名称只表示某个事物或属性。非内涵：伦敦，长度，美德。内涵：白色的，有美德的。非内涵名称只是一个记号（所有专有名称，个体名称）。但是，根据听者已掌握的信息，专有名称和个体名称都可以是内涵名称（P30）。六、肯定名称和否定名称+缺失名称（盲，瘸，肯定了一种存在之后的缺失）七、相对名称和绝对名称在将某个名称用于某个事物时，如果不提及另一个事物，我们无法解释这个名称的含义，那么，我们就称之为相对名称。是否所有形容词都是相对名称？八、单义名称和复义名称如果某个名称作为事物的谓语时含义不同，那么，这个名称就是复义名称。【我看不出这和内涵名称的分类有什么区别，除了缩小作用范围到谓语这一点】第三章 论可命名的事物可命名的事物分为四大类。一、知觉（意识状态），分为：感觉（由物质激发）、情感（由心灵激发）、思想（包括信念（包括直觉））、意志（行为的一部分，另一部分是意识的结果）【如前所述，我不认为感觉和直觉有明显的区分】二、感受这些知觉的心灵。三、激起特定直觉的外部事物：物体、性质、数量四、关系：接续和共存，相似或不似。另一种分类法：一、知觉（意识状态）二、实体：物质、心灵三、属性：性质、关系和数量第四章 论命题（proposition）定义（P72）探讨命题的含义无非是，当心灵肯定某个命题时，心灵实际相信的内容究竟是什么。（忘了）命题就是信念。一、系词系词将两个名称连接，表示一个在肯定或否定另一个的意思。系词影像的不是谓语，而是谓语以何种方式作用于主语（P76）系词是断言的标记二、肯定命题和否定命题前者位于肯定主语，后者否定主语。完全看系词。三、简单命题和复合命题简单命题：只有一个主语和谓语复合命题：有多个主语或谓语复合命题是多个命题，可以是多个命题的直接结合（彼得和詹姆斯在耶路撒冷和加利利步道），也可以是多个命题之间发生关系，产生新的命题（凯撒死了，但是布鲁图斯活着（“但是”是一个系词，表示前后两个命题之间的关系））多重命题：两个命题恒常地结合在一起，不是单一命题，而是多重命题。【无例，不解】四、以及假言命题和直言命题假言命题（条件命题）：分为排他命题和条件命题。任何排他命题等于两个或多个条件命题。（有些假言命题不是排他命题）。（假言命题并不肯定其中的简单命题（假言命题关乎命题之间的关系，是关于命题的命题）直言命题：不依赖条件，关乎名称的命题。五、普遍命题：所有的人不免一死 （主语是周延名称）特定命题：有些人不免一死 （主语不是周延名称）不定命题（其实不存在）：人不免一死单称命题：凯撒不免一死特定和单称：特定不知道具体是哪些，而单称知道不定命题可以是普别命题也可以是特定命题，但是无法判断（若无上下文）。不过说话者一定有特定的意思，所以此分类不存在。六、本质命题和偶然命题（P105，第六章）本质属性是一个事物可以被称以其名所必须有的属性，比如理性之于人。黑皮肤是偶然属性。于是，一切本质命题都是同义命题（纯名义命题）。唯一有用的一类本质命题就是定义。个体对象没有本质可言【如果要思考其本质，要放到其所属的类别的环境之中】本质命题=纯名义命题非本质命题=偶然命题=实在命题→达到新知（P111）七、表达实在命题含义的两种方式实在命题是实际传达信息的命题，谓语没有被预设地肯定主语。一种方式让我们直接关注命题的含义（所有人都不免一死All men are mortal），另一种让我们关注命题的使用方式（无人为仙佛Nobody is devine）【英文为推测】命题不是我们追求的最终结果，而是得出另外一些命题的工具。【那么最后呢？接近完美的解释项？】在推理中，第二种方式更符合需求。第五章 命题的含义一、命题表达的是两个事物之间的关系二、命题关乎主谓语属性之间的关系，关乎自然法则，不同现象之间既有的次序。三、关于推理的两大错误：一、将推理看作观念的活动（观念主义者）；二、将推理看作是命名的活动（唯名主义者）。不过正是因为命题为真，才将对象归入类别，而不是相反。命题当中，属性的切合首先出现（由于自然法则），后出现将事物划分到特定名称下的活动。五、命题肯定或否定关系（接续、共存、因果、相似）和单纯之存在第六章 纯名义命题见第四章第七章 论分类的本质，以及五大范畴（predicables）一、分类与名称的关联每当引入普遍名称，就创建了一个类别。二、范畴类属种属种差（类属间差）固有属性偶然属性种属和类属总是相对而言的。构成种属和类属关系的基础不是谓语内涵的属性，而是关系。种差将既定类属中的一个种属和其它种属区分开来（包含数量不定的属性）。种属必然包含类属的全部属性（P124）。类属+种差=种属。种属根据实际需要确定广度。其实，上述公式永远不可能成立，因为种差不可能瀚海种属和类属之间的全部差异。（P135）：类属+种差得到的是一个不完全定义。种属的完全定义应该是类属间差（因该包括这个种属名称所内涵的不在上级类属名称所内涵的属性之列的属性。第八章 论定义定义的定义：定义是某个命题，这个命题表明某个词语的含义（一、公认的含义，二、为了表述的需要，表述者赋予的含义）。定义就是（或许通过名称）对其内涵的注意列举（一）。定义总能直接分解到单一知觉本身的名称（二）。三、本质定义是不完全定义，仅诉说部分属性。偶然定义是描述。完全定义是类属定义加类属间差四、描述根据情况可以成为定义。完全定义并不存在，只能根据目的，将一些目标与另一些进行区分。五、对于事物的定义不必假设事物的存在。只是将某些属性归拢与一体。六、事物的定义不是名称的定义，否则是重言式。七、对定义的探索就是对真知的探索。第二卷 论推理第一章 推断或推理概论一、对第一卷的回顾定义并无真伪之别，因为它（名称）的属性是人为给予的。只有无法诉诸直觉的命题才需要被证明。证明的定义：存在某个事实或陈述，通过这个事实或陈述，可以推导出另外一个事实或陈述时真实的，那么后一个事实或陈述得到了证明。获得真知的途径只有一条：从经验推断而出（P208）。推理有广义和狭义之分。广义的推理（=推断）：从一个或多个命题推导至另外一个命题；向某个命题提供证据，使它成为另一个命题的结论（原理同前）。广义的推理包括了归纳和演绎（三段论）。另外一种广义推理的分类法（P161）：①从特殊推导至普遍（归纳）；②从普遍推导至特殊（演绎）；③从特殊到特殊（我们日常使用的，不那么严谨的推理）。狭义的推理：演绎（rationcination）。从此可以介入关于推理本质的问题。【三段论的本质是通过一个中介，推导出两个名称的内涵属性之关系。】不过在此又出现唯名主义者和唯实主义者的分歧。P171：唯名主义者信奉遍有遍无公理：只要能用属性来肯定一个类别，就可以用它来肯定类别中的每一个对象。这个观念的问题是，讲人类的认知过程本末倒置：是先有对个体属性的认知，才有种类的归类。遍有遍无公理虽然逻辑上没错，但是实质上空虚无物。于是对真理的探索不是研究从名称中变幻出来的咒语或者魔法（P174），而是要不断回到现实。【判断一个三段论是否有效，应该看是否有新的属性被归到了一个名称下。】于是存在那四种名不副实的推断（也就是说，包含的信息量不足，名称在三段论之后拥有的还是一样的属性）P156①名称重言式②命题重言式③谓语属性量缩小④命题的转换（又分为，简单转换（调换主谓语）、有限转换（把普遍命题转化为特定命题）、换质转换（主谓调换，而且更改其中一个））【跟寻上面的思路，也可以得到如下的见解：根据接受者的知识量（他的脑海中的名称数、这些名称分别包括的属性数）的不同，有些三段论变得像是循环论证：三段论能够证明的知识，不超过前提所包括的知识（P182）。因此有些学者认为，所有的三段论本质上都是循环论证。在此进一步深入推断的本质。P185 一切推断都是从特定到特定的推断。我们检查一定数量的特定事例，然后根据这些事例总结出普遍规律（当然，检查的事例越多得到的普遍规律就越准，而且它的准确度永远都不可能是百分之百），然后再根据总结出来的普遍规律回到特定的事例。第一个步骤是归纳，第二个步骤是演绎。从本质上来讲，人不需要归纳出普遍规律就可以进行推理。任何基本的经验都是由此得来的。“特殊—普遍—特殊”（三段论）这一过程的优点是，在问题变得复杂的时候，这一过程可以确保推理结果准确无误（三段论不是推理，而是对推理的检验（P195））。“特殊—普遍—特殊”是更高效的思考模式。【三段论榨取暗藏在前提中的真知，建立联系。获取知识就是建立（事物之间的）联系的过程。三段论的意义在此。于是，根据接收者的知识量，有些三段论是循环论证，有些不是（那些给他新的联系的）。科学的发展靠那些对人类思维体系中的联系量进行扩张的三段论支撑。】第三章、九：形式逻辑是逻辑学的从属部分，它关心前后一致，是获取真知的一部分。真知逻辑就是逻辑学，通过推断或推理获得知识的全部理论。它需要形式逻辑的辅佐。第四章 论连续推理及演绎科学一、连续推理存在必要二、连续推理是一系列归纳行推断三、连续推理是一些列从特定到特定的推断，借助标记之标记四、五、我们总希望赋予任何一门科学尽可能多演绎科学的特点——从了了数条至简的归纳，我们就构建起这门科学。（创造统一定理，不仅能够包括过去的事件，还能归类未来将出现的事件）二、一门科学从实验科学一跃称为演绎科学，数学是促成的重要因素。到几何，再到代数。（标记）。第五章 论证明及必然定理数学定理不是真理。数学来源于归纳。是有条件的必然定理。公理来自归纳（P230）第七章直觉派认为，可否想象是真知的试金石。【这是本末倒置。是经验—不可想象，而不是不可想象—经验。唯一不可想象的是逻辑上的谬误，比如不能即是又不是。但是逻辑统辖所有的一切（维特根斯坦），这种不可想象所证明的没有任何实意义。】