逻辑学导论(精品·公开课件).pptVIP

这种形式的命题叫做“直言命题”，由于它们断定了某种对象（S）具有某种性质（P），因此又叫做“性质命题”。 研究直言命题的逻辑性质及其推理关系的逻辑理论，叫做“词项逻辑”。 * 个体词、谓词和量化逻辑 对命题的第三种分析方法是：把一个简单命题分析为个体词、谓词、量词和联结词等成分。 * 个体词包括个体常项和个体变项，它们究竟指称什么样的对象取决于论域，即由具有某种性质的对象所组成的类。 个体常项仅限于专名，在逻辑中用小写字母a，b，c等表示，经过解释之后，它们分别指称论域中某个特定的对象，随论域的不同，这些对象可以是0，1，长江，长城，毛泽东等。 * 个体变项x，y，z等表示论域中不确定的个体，随论域的不同它们的值也有所不同。例如，如果论域是全域，个体变项x就表示全域中的某个东西；如果论域是“人的集合”，则个体变项x就表示某个人；如果论域是“自然数的集合”，则个体变项x就表示某个自然数。 * 谓词符号包括大写字母F，G，R，S等，经过解释之后，它们表示论域中个体的性质和个体之间的关系。 一个谓词符号后面跟有写在一对括号内的适当数目的个体词，就形成最基本的公式，叫做“原子公式”，例如F(x)，G(a)，R(x,y)，S(x,a,y)。 * 一个谓词符号后面跟一个个体常项或个体变项，它是一元谓词符号。一元谓词符号经过解释之后，表示论域中个体的性质。 如果一个谓词符号后面跟两个个体词，它是二元谓词符号。依此类推，后面跟有n个个体词的谓词符号，就是n元谓词符号。 二元以上的谓词符号，经过解释之后，表示论域中个体之间的关系。例如，若以自然数为论域，令a为自然数1，R表示“大于”，S表示“…＋…＝…”，于是，R(x,y)等于是说“x大于y”，S(x,a,y)等于是说“x＋1＝y”。 * 量词包括全称量词?和存在量词?，它们可以加在原子公式前面。 “?xF(x)”读作“对于所有的x，x是F”。 “?xR(x,y)”读作“存在x使得x与y有R关系”。 前面带量词的公式叫做“量化公式”，例如?xF(x)，?xR(x,y)。 * 原子公式和量化公式都可以用命题联结词连接起来，形成更复杂的公式，例如： ?xF(x)∧G(a) ?x(F(x)∨R(x,y)) S(x,a,y)→?x(?F(x)?S(x,a,y)) * 对命题进行上述这种分析后，不仅可以表示和处理性质命题（直言命题）及其推理，而且可以表示和处理关系命题及其推理。例如，直言命题 “所有S都是P”可以表示为： ?x(S(x)→P(x)) “有的投票人赞成所有的候选人”则可以表示为： ?x(F(x)∧?y(G(y)→R(x,y)) * 把一个简单命题分析为个体词、谓词、量词和联结词等成分，研究如此分析后的命题形式及其相互之间的推理关系，所得到的逻辑理论叫做“谓词逻辑”。 在谓词逻辑中，真正起关键性作用的是量词，没有量词的谓词逻辑与命题逻辑没有实质性差别，但有了量词之后，谓词逻辑的表达能力和推理能力都大大增强，具有了完全不同的境界。因此，谓词逻辑有时又被称为“量化理论”，“量词逻辑”。 * 命题逻辑、词项逻辑和谓词逻辑是现代演绎逻辑的三种最基本的逻辑类型。 其中，以形式公理化方法表述的命题逻辑和谓词逻辑，合称为“一阶逻辑”；由于它在现代逻辑体系的基础地位，也常被称为“经典逻辑”。 * 除了以演绎推理为对象的演绎逻辑外，还有以归纳推理为对象的归纳逻辑。把归纳推理中前提对结论的关系概率化和演算化，由此形成的逻辑理论叫做“概率归纳逻辑”，这是现代归纳逻辑的主要形态。 ?命题逻辑、词项逻辑、谓词逻辑以及归纳逻辑，构成本课程所要讲授的主要内容。 * 推理的形式结构 简称“推理形式”，是指在一个推理中抽掉各个命题的具体内容之后所保留下来的那个模式或框架，由逻辑常项（如命题联结词，直言命题中的系词“是”和“不是”，量词“所有”和“有些”等）和逻辑变项（如命题变项p，q，r，s，t，词项变元S、P、M，个体变项x，y，z，个体常项a，b，c等）构成，其中逻辑常项代表推理中的结构要素，常项的不同决定了推理形式的不同；变项代表推理中的内容要素，用不同的具体命题替换相同的变项，就得到不同的具体推理。 * 例如，下面两个推理： （1）如果小强感冒，则小强会发烧；小强确实感冒了，所以，小强会发烧。 （2）如果冬天来了，则春天不再遥远；冬天确实来了，所以，春天不再遥远。 有共同的推理形式：如果p那么q；p，所以，q；或者完全符号化为：(p?q)?p?q。 * 所有的天鹅都是会飞的， 所有的黑熊都不是天鹅， 所以，所有的黑熊都不是会飞的。 这个推理的推理形式是： 所有M都是P， 所有S都不是M， 所以，所有S都不是P。 * 例9 例9’ 推理形式的有效性 亦称“保真性”，指一个推理必须确保从真的