《简单逻辑学》读书笔记 day6
A->B,-A,所以，-B例：如果小王在跑步，那么他在移动，小王不在跑步，所以，他不在移动A->B,B,所以，A例：如果小王在跑步，那么他在移动，他不在移动，所以，他不在跑步三段论中，中项必须有一次是周延的，否则就会产生不周延谬误例：几个共和党人是网球俱乐部成员，小刘是网球俱乐部成员，所以小刘是共和党人三段论：m 是p,s是m,所以，s是p，必须只有三项偷换概念就是将m项变成多义词，成为二个项，从而产生谬误有时这么做带来幽默把有待证明的观点当作不证自明的前提条件小王在撒谎，所以，小王是撒谎者结论陈述的是已知的事实评判假设的标准：不能自相矛盾假设错误，结论错误假设对方具备这样的知识，实际没有，结果听讲无效不是无心之过，而是有意曲解对方论点，达到削弱对方的目的习惯成自然，以前是这样，想当然认为还会是这样不分析是否值得就盲目地遵循习惯，那么我们会成为习惯的奴隶直观上，两个错误命题可以带来一个正确结论，其实不然。他们先做了，我们应该以牙还牙双方都是错的，不能使这种行为立刻变对如果大多数人认为X正确的，那么我们可以得出结论说X正确在论证中，关注论证，而不是作为论证的人真相不能强制的方式传播检验的标准不是他们说了什么，而是他们是怎么论证的质不可以被量化质如果能量化，质与量之间的界限基础就没有了一个信息出处是对的，就认为所有来自这一渠道的信息都被认为是错误分析的目的，不是简单知道物质是由什么组成，而是要知道它们如何联系成为一个团体部分大于整体之和人的身体根据化学元素在分解，人的身体等同于一堆化学元素一开始没有意识到自己的问题，没有正确认识它故意提出无关的情感信息分散对方注意力当不能对某个论证作出反应，就假装认为这事不值得严肃对待，一笑而过对听众讨厌的事少说，说另外能引起共鸣的事强烈情感与清晰的思维成反比对方缺证据不能成为我方观点成立的证据进退两难是假象，实际上是对真实情况的扭曲反应原因总是在前，造成发生在结果之前 就是原因的错觉选择性忽略与信仰相关的事，就产生情感误导谬误达到目的不择手段论证的目的不能是论证只听到自己想听到的过分简化往往会扭曲现实告诉听众事实，而不是他们想听的
高级逻辑学笔记
这学期选了「高级逻辑学」这门课。课程所用的教材是王元元主编的 计算机科学中的现代逻辑学 。本文是课程的学习笔记，分为两部分：第一部分介绍书中对现代逻辑、形式化的定义，第二部分介绍一些有趣的形式系统。先引用一段书中对现代逻辑的定义：这本书讨论的主要是狭义的定义，全书以一阶谓词演算为核心展开。这门课具体讨论的就是一个个形式系统。书中对形式化方法和形式系统的定义如下：这一概念的定义是任课老师极力推崇的，不仅讲了概念的内涵，也讲了概念的外延。但我看完还是没啥感觉，其实形式化是一个组合产物，它综合了符号化和公理化两个方面的抽象：关于公理化需要解释的是，上述例子中的两套理论代表了两种不同层次的公理化：可以理解为“符号化+抽象公理化”。书中形式化地给下了一个定义：可用五元组<Σ,Term,Formula,Axiom,Rule>表示。
