假言命题推理.ppt

?第四章简单命题及其推理?主要内容: ?一、直言命题。直言命题的定义、结构、种类、主项和谓项的周延性、同素材直言命题 AEIO 的真假条件以及其间的对当关系。要点是:直言命题的种类;直言命题主谓项的周延性;直言命题的真假条件与对当关系。?二、直接推理。依据直言命题的对当关系所进行的直接推理和运用直言命题变形所进行的直接推理。?三、三段论(间接推理)。三段论的定义、结构、公理、一般规则、三段论的格与式, 以及三段论的省略形式。要点是:三段论的结构、公理及一般规则。?第一节直言命题?一、直言命题的含义和结构?1、含义: 直言命题就是直接地无条件地反映对象具有或不具有某种性质的简单命题。直言命题也称性质命题。?[例 1] 所有的事物都是运动的。?[例 2] 有些被告不是有罪的。?[例 3] 李律师是优秀律师。?2、结构:直言命题由主项、谓项、联词和量项四部分构成,其中主项、谓项是逻辑变项,联项、量项是逻辑常项。?主项是表示命题对象的概念,用 S表示。?谓项是表示被命题对象具有或不具有的性质的概念,用 P表示。?命题的主项和谓项,统称为词项。?联项是联结主项、谓项的概念。联项决定命题的质。直言命题的联项有两种: “是”和“不是”。“是”称肯定联项, “不是”称否定联项。在语言表达中,肯定联项有时可以省略,例如, “证据属实”。否定联项则不能省略。?量项是表示命题中主项所反映对象的数量或范围的概念。量项决定命题的量,有全称、特称和单称之分。??全称量词表示该命题陈述了主项所指称的对象的全部,即陈述了主项的全部外延。表示全称量词的语词通常有“所有”、“一切”、“任何”、“凡”等。全称量词可以省略。?特称量词表示该命题至少陈述了主项所指称的对象中的一个,即对主项作了陈述,但未陈述主项的全部外延。表示特称量词的语词通常有“有的”、“有些”、“有”等。特称量词不能省略。应当特别说明的是, 特称量词“有的”等的含义与我们日常用语中所说的“有的”的含义有所不同。特称量词的含义是“至少有一个”,它并不排斥全部。换言之,特称量词只是表示主项所指称的对象是存在的,所以,特称量词又称存在量词。?在直言命题的逻辑结构中,主项和谓项是逻辑变项,分别用“S”和“P”来表示; 联项和量项分别表示直言命题的质和量,它们都是逻辑常项。直言命题的一般形式是: 量项+S+ 联项+P 。直言命题的逻辑形式可用公式表示为:所有的(或有的、某个) S是(或不是) P。?根据逻辑常项的不同,直言命题可分为不同的种类。?二、直言命题的种类?根据不同的标准,可以将直言命题分为不同的种类。按质可分为:肯定命题和否定命题。按量可分为:全称命题、特称命题和单称命题。按质和量的结合,可分为以下六种: ?1、全称肯定命题?全称肯定命题是陈述主项所指称的全部对象都具有某种性质的命题。?[例 1] 所有法院都是审判机关。?[例 2] 一切反动派都是纸老虎。?全称肯定命题形式为:所有 S都是 P。用符号表示为: SAP 。简记为: A 。?从主项同谓项外延间的关系看, 全称肯定命题陈述了 S的全部外延都和 P的外延相重合,但没有陈述 S的全部外延是否和 P的全部外延相重合。而当 S和P具有全同关系或真包含于关系时,S的全部外延都和 P的外延相重合。? S p p s?2、全称否定命题?全称否定命题是陈述主项所指称的全部对象都不具有某种性质的命题。?[例 3] 任何人都不是生而知之的。?[例 4] 正当防卫不是违法行为。?全称否定命题形式为:所有 S都不是 P。用符号表示: SEP 。简记为: E。?从主项同谓项外延间的关系看,全称否定命题陈述了 S的全部外延都排斥在 P的全部外延之外。而只有当 S和P具有全异关系时, S的全部外延才排斥在 P的全部外延之外。 sp?3、特称肯定命题?特称肯定命题是陈述主项所指称的对象至少有一个具有某种性质的命题。?[例 5] 有的民事诉讼证据是能够证明民事案件真实情况的事实。?[例 6] 有的大学生是中国共产党员。?特称肯定命题的形式为:有 S是P。用符号表示为: SIP 。简记为: I。?从主项同谓项外延间的关系看,特称肯定命题陈述了至少有一部分 S的外延和 P的外延相重合,但没有陈述究竟有多少 S的外延和 P的外延相重合,也没有陈述这些 S的外延是否同 P的全部外延相重合。而当 S和P 具有相容关系,即全同关系或真包含于关系或真包含关系或交叉关系时,都有至少一部分S的外延和 P的外延相重合。 S p p s s p p s