逻辑新引 笔记

殷海光先生的《逻辑新引》 这本书非常好，去年得知，看了个开头，没看完。 今年一定要看完， 已经排了一个计划， 一周至少看一讲， 那么最迟5月份看完。 做总结，要不然 太容易忘了，而且不方便复习！

第一讲 逻辑的用处

这一讲大概过下，是个引子

逻辑是必然有效的推论规律的科学

如果我们要确定一个推论究竟是对的或是错的，唯一可靠的办法是看他是否合于 逻辑推论的 法则

第二讲 真假与对错

不相容而又不穷尽的名词，肯定其一可以否定其余
比如说某个人美时，可以推论他不丑，
但不可由 否定 其一而 肯定其余
比如， 说某人 不美时 就不能一定说他丑， 因为 他也许说不上美丑，而是中等人

说某个语句的真假， 是说 基于经验的真假，也就是 是否符合事实

殷海光先生下的定义是： 在事物层面只有有无可言，而无真假可言；
到了语言层次， 才发生真假问题

逻辑的推论 所涉及的不是经验语句之真假问题，而是决定哪些规律可以保证推论有效的问题

在逻辑推论时， 不仅不应求助于经验， 而且应该尽可能将经验撇开。有高度抽象思考能力的数学家或者逻辑学家 无不如此

推论的对错 与 语句的真假是 平行的，各不相干

纯逻辑的运用思考，离开经验的知识越远越好。如果一个人的思想不能离不开图画、影像，那么他的思维能力一定非常有限

前提 无论是真还是假，推论对时，结论无论真假都一定是对的
从来不能够 从错的推论得到 对 的结论

用字母T代表真， F 代表假， V 代表队对（valid）， I 代表错(invalid)
? 表示真假不定

第三讲 推论是什么

推理， 英文是 reasoning ， 以某一理 为根据。
比如气象学家 按照 气象学规律进行推理

将一切推理中的作为特殊前提的 理 抽掉， 所剩下的共同的 推 之程序， 就是推论。

推论是一切理所共同具有的中心程序， 而推理是推论的周边。

逻辑所研究的， 是一切推理所必须依据的推论型式

一个语句， 只有落在推论场合， 才发生是否合于逻辑的问题。

推论必须借着 蕴涵关系而来 ， 假设前提为真， 那么结论为真， 这一关联之中， 结论 随 前提 而来， 于是， 前提和结论之间的这种关系， 叫做 蕴涵关系。

蕴涵关系可以存在于 语句和语句之间， 也可以存在于 名词和名词之间。 前者如 “一切政客是机智的” 蕴含着 “有些政客是机智的”； 后者如 金属 蕴涵 矿物 这一概念。

注意： 不要把 蕴涵直接理解成 集合的包含 概念。
A 蕴涵 B 记为
$$A\supset B$$

推论就是将 前提的结论 演绎出来
基本的推论原则:
$$如P且P\supset q,则q$$

第四讲 选取推论

选取推论中的语句是 选取语句， 比如某某是浙江人或者江苏人

相容： 如果两个语句 或者 名词 或者 表示性质的字眼 可以同时成立， 那么 就说 二者 相容

穷尽：两个或者两个以上的选项尽举在一个范围内的所有可能， 那么此时 称为 穷尽

把不穷尽的当成穷尽的就可能犯推理错误

如果是穷尽的， 那么 可以否定其一 而 肯定 另一

逻辑根本不问 哪些名词 是否相容 与 是否 穷尽

1. 相容而穷尽： 可借否定其一而肯定其另一， 但不能借肯定其一而肯定或者否定 其 另一

2. 相容而不穷尽， 既不能 借 肯定其一而肯定或者否定其另一， 又不能 借否定 其一 而肯定 或 否定 其 另一

3. 不相容 而穷尽， 既能 借肯定其一而 否定其 另一， 又能借 否定其一 而 肯定其 另一

4. 不相容 而 又不穷尽， 可以借 肯定其一 而 否定其另一， 但不能借 否定其一 而 肯定或者 否定 其另一

第五讲 条件推论

条件语句的形式为
如果P , 那么q
$$P\supset q$$

注意，这里不是在说因果。 逻辑的正身 根本 不过问 因果关联
逻辑学家 规定 什么真假情况下 $$P\supset q$$ 为真
注意， 是规定， 不是 因果关系

P 叫做前件（antecedent）， q叫做后件（consequent）
前件对于后件而言， 有两种关系： 充足条件 ；充足又必须条件（也就是数学上说的充分必要条件）
后件对于前件 而言，乃必须条件， 就是必要条件

这三种条件的定义和数学上完全一样， 就不把书上的定义抄在 这里了

如果前件为后件充足条件，且后件为前件必须条件（按数学上的定义， A是B的充分条件，那么B就是A的必要条件啊），那么有四条推论规律
1 从 前件真 可推论 后件真
2 从 前件假 不可推论 后件 真或假
3 从 后件真 不可推论 前件 真或假
4 从 后件加 可以推论 前件 必假

如果前件是的充要条件， 那么 推论规律对称：前件真那么后件真，前件假那么 后件假； 后件真那么前件真，后件假那么 前件假

第六讲 二难式

二难式 的基本形式有四种

1 如果甲则丙；如果乙则丙
甲或乙
所以： 丙

2 如果甲则乙；如果甲则丙
非乙或非丙
所以： 非甲

3 如果甲则乙， 如果丙则丁
甲或丙
所以： 乙或丁

4 如果甲则乙；如果丙则丁
非乙或非丁
所以： 非甲或非丙

反驳二难式的方法有三：
1 否认前件是后件的充分条件
2 否认选取语句是 互不相容 或是 共同穷尽的
3 作一个二难式 使结论 与之相反