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

* * 推 理 推理(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 推理形式(form of inference) （3）(如果贼是从窗户进来的，那么，花坛上会有脚印。) 花坛上没有脚印，所以，贼不是从窗户进来的。 （4）(如果李某患肺炎，那么李某发高烧。) 李某没有发高烧 ，所以，李某没有患肺炎。 ▲这两个推理的形式可以表示为： 如果p，则q， 并非q ， 并非p 。 逻辑常项和变项 ▲变元(variable)，也称变项 ： ★S、P等可以表示任何具体的语词或词项(term），它们称为以词项为变域(range）的“词项变项（变元）”； ★p、q等可以表示任何具体的命题，它们是以命题为变域的“命题变项（变元）”。 逻辑常项和逻辑变项 ▲一个命题是什么命题，这个命题的逻辑性质和它跟其它命题的逻辑关系，特别是推出关系，主要是由逻辑常项决定的。因此，我们可以说，逻辑词是逻辑学研究的主要对象。 符号学(Semiotics) 语言是符号系统。符号学可分为： 语法学（Syntax），也称句法学、语形学：研究符号与符号之间关系的学科； 语义学（Semantics）：研究符号与其意义之间关系的学科； 语用学(Pragmatics)：研究符号与其使用者之间关系的学科。 推理形式的正确性（correctness） ●逻辑学是从形式方面来研究推理的，即研究若干具有某种形式的前提能否必然地得出一个具有某种形式的结论。 推理形式的正确性和推出关系 如果能够，则称该推理的形式是正确的(correct)，该推理的前提和结论之间具有推出关系,前提能推出结论，否则，称该推理的形式是不正确的（incorrect），前提和结论之间没有推出关系，前提不能推出结论。 推理形式的正确性和推出关系 ●在一般地讨论推理而不涉及逻辑系统时，我们以符号├表示前提和结论之间具有推出关系（能推出），而以├ 表示前提和结论之间没有推出关系（不能推出）。 ●推理的一般形式： A1，A2，…，An├ B 推理形式的正确性和推出关系 推理（1）、（2）和（3）、（4）都是形式正确的推理，前提能必然地推出结论。因此，它们分别表示了两种正确的推理形式或两种推出关系： （A）所有M是P，所有S是M├所有S是P； MAP，SAM├ SAP。 （B）如果 p，就q，并非q├并非p； p→q，┐q├ ┐p。 形式不正确的推理(incorrect form of inference) 有的推理不是形式正确的推理。例如: (1)绝大多数绝症是可以通过医学途径解决的(A1)；滋病是绝症（A2） , 所以，艾滋病是可以通过医学途径解决的(B)。 是形式不正确的推理，A1、A2这两个前提推不出结论B： （C）有M是P，所有S是M E 所有S是P。 形式不正确的推理 （2）如果李某患肺炎，那么，李某发高烧(A1)，李某发高烧(A2)； 所以，李某患肺炎（B）。 是前提A1、A2和结论B没有推出关系的不正确的推理，其推理形式可表示为： （D）如果p，那么q，q E p 真命题(true proposition)和假命题(false proposition) 从思维方面讲，前提和结论都是命题。 真命题：如实反映事物情况的命题； 假命题：没有如实反映事物情况的命题； 真和假是现代逻辑中最重要的概念。 从语言方