逻辑学基础知识-推理课件

推理推理(inference)●推理是由若干命题得出一个命题的思维过程，是从已有知识得出新的知识，进行思维创新的重要方式。推理形式

(formofinference)●推理的一般结构：前提(premise)：已有的知识。结论(conclusion)：新的知识。推理形式：前提与结论的形式。推出关系：前提和结论之间的关系，用“所以”、“因此”、“可见”等标志。推理形式

(formofinference)(2)和尚(S)也是公民(M),(所有公民（M）都应当依法纳税(P))。所以，和尚(S)也应当依法纳税(P)，

这两个推理的内容不同，但它们的推理形式是相同的:

▲(A)所有M是P，MAP

所有S是M，SAM所有S是P。SAP推理形式

(formofinference)（3）(如果贼是从窗户进来的，那么，花坛上会有脚印。)花坛上没有脚印，所以，贼不是从窗户进来的。

（4）(如果李某患肺炎，那么李某发高烧。)李某没有发高烧，所以，李某没有患肺炎。

▲这两个推理的形式可以表示为：

如果p，则q，

并非q，并非p。

逻辑常项和变项▲逻辑常项(logicalconstant）：

在命题形式以及在推理形式中意义固定不变的语词（逻辑词）。例如，“所有”、“有的”、“是”、“不是”“如果，就”、“并非”、“并且”、“或者”等。逻辑常项和变项▲变元(variable)，也称变项

：★S、P等可以表示任何具体的语词或词项(term），它们称为以词项为变域(range）的“词项变项（变元）”；★p、q等可以表示任何具体的命题，它们是以命题为变域的“命题变项（变元）”。符号学

(Semiotics)语言是符号系统。符号学可分为：语法学（Syntax），也称句法学、语形学：研究符号与符号之间关系的学科；语义学（Semantics）：研究符号与其意义之间关系的学科；语用学(Pragmatics)：研究符号与其使用者之间关系的学科。推理形式的正确性

和推出关系如果能够，则称该推理的形式是正确的(correct)，该推理的前提和结论之间具有推出关系,前提能推出结论，否则，称该推理的形式是不正确的（incorrect），前提和结论之间没有推出关系，前提不能推出结论。推理形式的正确性

和推出关系推理（1）、（2）和（3）、（4）都是形式正确的推理，前提能必然地推出结论。因此，它们分别表示了两种正确的推理形式或两种推出关系：（A）所有M是P，所有S是M├所有S是P；MAP，SAM├SAP。（B）如果p，就q，并非q├并非p；p→q，┐q├┐p。形式不正确的推理

(incorrectformofinference)有的推理不是形式正确的推理。例如:(1)绝大多数绝症是可以通过医学途径解决的(A1)；滋病是绝症（A2）,所以，艾滋病是可以通过医学途径解决的(B)。是形式不正确的推理，A1、A2这两个前提推不出结论B：（C）有M是P，所有S是ME所有S是P。形式不正确的推理（2）如果李某患肺炎，那么，李某发高烧(A1)，李某发高烧(A2)；所以，李某患肺炎（B）。是前提A1、A2和结论B没有推出关系的不正确的推理，其推理形式可表示为：（D）如果p，那么q，qEp真命题(trueproposition)

和假命题(falseproposition)从思维方面讲，前提和结论都是命题。真命题：如实反映事物情况的命题；假命题：没有如实反映事物情况的命题；真和假是现代逻辑中最重要的概念。从语言方面讲，命题可以视为或真或假的语句。推理的有效性（validity）▲有效的推理（validinference）：凡是能从真前提必然得出真结论的推理是有效的推理，▲非有效的推理(invalidinference)：不能从真前提必然得出真结论的推理是非有效的推理。形式逻辑的特点形式的（formal）：从前提和结论的形式方面对推理的研究：构造人工语言，从形式方面研究由词项、命题构成的正确推理。保真的（truth-preservation）：

从前提的真假方面对推理研究：从真前提必然得出真结论的有效推理。

形式逻辑的对象★国际上普遍认可的定义；形式逻辑学(Formallogic)主要是研究推出关系或推理的有效性的科学，目的在于提供一系列可操作的原理和方法，把有效推理跟非有效推理区别开来

。

非演绎推理

（non-deductiveinference）

归纳推理（inductiveinference）回溯推理（reductiveinference）类比推理（

inferenceby

analogy）非演绎推理的前提（证据）对结论（假设）只提供了一定程度的支持。作为课程的逻辑学也包含这些推理。演绎推理与非演绎推理▲演绎推理(deductiveinference)：前提和结论之间的推出关系具有必然性的推理。▲非演绎推理(non-deductiveinference)：前提和结论之间的推出关系不具有