文档介绍：推理
推理(inference)
●推理是由若干命题得出一个命题的思维过程,是从已有知识得出新的知识,进行思维创新的重要方式。
推理形式(form of inference)
●推理的一般结构:
前提(premise):已有的知识。
结论(conclusion):新的知识。
推理形式:前提与结论的形式。
推出关系:前提和结论之间的关系,用“所以”、“因此”、“可见”等标志。
推理形式(form of inference)
省略推理(enthymeme):
(1)凡违反公平原则的合同是无效合同,因而都不受法律保护。
完整形式:
▲凡无效合同都(M)是不受法律保护的(P),
凡违反公平原则的合同(S)是无效合同(M),
所以,凡违反公平原则的合同(S)是不受法律保护的(P)。
推理形式(form of inference)
(2) 和尚(S)也是公民(M),
(所有公民(M)都应当依法纳税(P))。
所以,和尚(S)也应当依法纳税(P),
这两个推理的内容不同,但它们的推理形式是相同的:
▲(A)所有M是P, MAP
所有S是M, SAM
所有S是P。 SAP
逻辑常项和变项
▲逻辑常项(logical constant):
在命题形式以及在推理形式中意义固定不变的语词(逻辑词)。例如,“所有”、“有的”、“是”、“不是”“如果,就”、“并非”、“并且”、“或者”等。
逻辑常项和变项
▲变元(variable),也称变项:
★S、P等可以表示任何具体的语词或词项(term),它们称为以词项为变域(range)的“词项变项(变元)”;
★p、q等可以表示任何具体的命题,它们是以命题为变域的“命题变项(变元)”。
逻辑常项和逻辑变项
▲一个命题是什么命题,这个命题的逻辑性质和它跟其它命题的逻辑关系,特别是推出关系,主要是由逻辑常项决定的。因此,我们可以说,逻辑词是逻辑学研究的主要对象。
符号学(Semiotics)
语言是符号系统。符号学可分为:
语法学(Syntax),也称句法学、语形学:研究符号与符号之间关系的学科;
语义学(Semantics):研究符号与其意义之间关系的学科;
语用学(Pragmatics):研究符号与其使用者之间关系的学科。