殷海光先生的《逻辑新引》 这本书非常好,去年得知,看了个开头,没看完。 今年一定要看完, 已经排了一个计划, 一周至少看一讲, 那么最迟5月份看完。 做总结,要不然 太容易忘了,而且不方便复习!
第一讲 逻辑的用处
这一讲大概过下,是个引子
逻辑是必然有效的推论规律的科学
如果我们要确定一个推论究竟是对的或是错的,唯一可靠的办法是看他是否合于 逻辑推论的 法则
第二讲 真假与对错
不相容而又不穷尽的名词,肯定其一可以否定其余
比如说某个人美时,可以推论他不丑,
但不可由 否定 其一而 肯定其余
比如, 说某人 不美时 就不能一定说他丑, 因为 他也许说不上美丑,而是中等人
说某个语句的真假, 是说 基于经验的真假,也就是 是否符合事实
殷海光先生下的定义是: 在事物层面只有有无可言,而无真假可言;
到了语言层次, 才发生真假问题
逻辑的推论 所涉及的不是经验语句之真假问题,而是决定哪些规律可以保证推论有效的问题
在逻辑推论时, 不仅不应求助于经验, 而且应该尽可能将经验撇开。有高度抽象思考能力的数学家或者逻辑学家 无不如此
推论的对错 与 语句的真假是 平行的,各不相干
纯逻辑的运用思考,离开经验的知识越远越好。如果一个人的思想不能离不开图画、影像,那么他的思维能力一定非常有限
前提 无论是真还是假,推论对时,结论无论真假都一定是对的
从来不能够 从错的推论得到 对 的结论
用字母T代表真, F 代表假, V 代表队对(valid), I 代表错(invalid)
? 表示真假不定
第三讲 推论是什么
推理, 英文是 reasoning , 以某一理 为根据。
比如气象学家 按照 气象学规律进行推理
将一切推理中的作为特殊前提的 理 抽掉, 所剩下的共同的 推 之程序, 就是推论。
推论是一切理所共同具有的中心程序, 而推理是推论的周边。
逻辑所研究的, 是一切推理所必须依据的推论型式
一个语句, 只有落在推论场合, 才发生是否合于逻辑的问题。
推论必须借着 蕴涵关系而来 , 假设前提为真, 那么结论为真, 这一关联之中, 结论 随 前提 而来, 于是, 前提和结论之间的这种关系, 叫做 蕴涵关系。
蕴涵关系可以存在于 语句和语句之间, 也可以存在于 名词和名词之间。 前者如 “一切政客是机智的” 蕴含着 “有些政客是机智的”; 后者如 金属 蕴涵 矿物 这一概念。
注意: 不要把 蕴涵直接理解成 集合的包含 概念。
A 蕴涵 B 记为
A
⊃
B
A\supset B
A⊃B
推论就是将 前提的结论 演绎出来
基本的推论原则:
如
P
且
P
⊃
q
,
则
q
如P 且 P \supset q, 则q
如P且P⊃q,则q
第四讲 选取推论
选取推论中的语句是 选取语句, 比如某某是浙江人或者江苏人
相容: 如果两个语句 或者 名词 或者 表示性质的字眼 可以同时成立, 那么 就说 二者 相容
穷尽:两个或者两个以上的选项尽举在一个范围内的所有可能, 那么此时 称为 穷尽
把不穷尽的当成穷尽的就可能犯推理错误
如果是穷尽的, 那么 可以否定其一 而 肯定 另一
逻辑根本不问 哪些名词 是否相容 与 是否 穷尽
-
相容而穷尽: 可借否定其一而肯定其另一, 但不能借肯定其一而肯定或者否定 其 另一
-
相容而不穷尽, 既不能 借 肯定其一而肯定或者否定其另一, 又不能 借否定 其一 而肯定 或 否定 其 另一
-
不相容 而穷尽, 既能 借肯定其一而 否定其 另一, 又能借 否定其一 而 肯定其 另一
-
不相容 而 又不穷尽, 可以借 肯定其一 而 否定其另一, 但不能借 否定其一 而 肯定或者 否定 其另一
第五讲 条件推论
条件语句的形式为
如果P , 那么q
P
⊃
q
P \supset q
P⊃q
注意,这里不是在说因果。 逻辑的正身 根本 不过问 因果关联
逻辑学家 规定 什么真假情况下
P
⊃
q
P \supset q
P⊃q 为真
注意, 是规定, 不是 因果关系
P 叫做前件(antecedent), q叫做后件(consequent)
前件对于后件而言, 有两种关系: 充足条件 ;充足又必须条件(也就是数学上说的充分必要条件)
后件对于前件 而言,乃必须条件, 就是必要条件
这三种条件的定义和数学上完全一样, 就不把书上的定义抄在 这里了
如果前件为后件充足条件,且后件为前件必须条件(按数学上的定义, A是B的充分条件,那么B就是A的必要条件啊),那么有四条推论规律
1 从 前件真 可推论 后件真
2 从 前件假 不可推论 后件 真或假
3 从 后件真 不可推论 前件 真或假
4 从 后件加 可以推论 前件 必假
如果前件是的充要条件, 那么 推论规律对称:前件真那么后件真,前件假那么 后件假; 后件真那么前件真,后件假那么 前件假
第六讲 二难式
二难式 的基本形式有四种
1 如果甲则丙;如果乙则丙
甲或乙
所以: 丙
2 如果甲则乙;如果甲则丙
非乙或非丙
所以: 非甲
3 如果甲则乙, 如果丙则丁
甲或丙
所以: 乙或丁
4 如果甲则乙;如果丙则丁
非乙或非丁
所以: 非甲或非丙
反驳二难式的方法有三:
1 否认前件是后件的充分条件
2 否认选取语句是 互不相容 或是 共同穷尽的
3 作一个二难式 使结论 与之相反