逻辑学基础知识——推理.ppt

文档介绍：推理
推理
Cnference
推理是由若千命题得出一个命
题的思维过程,是从已有知识
得出新的知识,进行思维创新
的重要方式。
推理形式
lform ot inference
·推理的一般结构
前提( premise):已有的知识
结论
conclusion
):新的知识
·推锂刑式:前提与结论的形式。
推出关系:前提和结论之间的关系,
用“所以”、“因此”、“可见”等
标志
推理式
form of inference
省略推理( enthymeme
违反公平原则的合同是无效合同,因而都不受法律保护。
完整形式
▲凡无效合同都(M)是不受法律保护的(P),
凡违反公平原则的合同S是无效合同(M)
所関,凡违反公平原则的合同(S)是不受法律保护的
推理形式
(form of inference
2)和尚(S)也是公民(W),
所有公民(M)都应当依法纳税(P)
所以,和尚(S)也应当依法纳税(P),
这两个推理的内容不同,但它们的推
理形式是相同的:
「▲(A所有M是P
MAP
所有S是M,SAM
「所有S是P。SAP
推理形式
(form of inference)
(3)(如果贼是从窗户进来的,那么花坛上
会有脚印。)花坛上没有脚印,所以,贼不
是从窗户进来的。
(4】(如果李某患肺炎,那么李某发高烧
李某没有发高烧,所以,李某没有患肺炎。
这两个推理的形式可以表示为
如果p,则q,
并非q
并p。
逻辑常项和变项
逻辑常项( ogical cons tant
在命题形式以及在推理形式中意义固
定不变的语词(逻辑词)。例如
所有”、“有的
是
不是”“如果,就
并非
并且”、“或者”等
逻辑常项和变项
▲变元( variable),也称变项
SP等可以表示任何具体的语词或词项em),它们称
为以词项为变域 range)的“词项变项(变元)";
木pq等可以表示任何具体的命题,它们是以命题为变域的
輪命题变项(变元
逻辑常项和谔辑变项
▲_个命题是什么命题,这个命
题的逻辑性质和它跟其它命题的
逻辑关系,特别是推出关系,主
要是由逻辑常项决定的。因
此,我们可以说,逻辑词是逻辑
学研究的主要对象。
符号学
semiotics
语詣是符号系统。符号学可分为
语法学( Syntax),也称句法学、语形学:研究符号与
符韦之间关系的学科
语以学( Semantics):研究符号与其意义之间关系的学
科料
语用学( Pragmatics):研究符号与其使用者之间关系的学
科