逻辑学第3讲研讨.ppt

9主项不周延，1、3、4、8 谓项不周延 青岛大学国际教育合作学院软件工程教学部 * * 逻 辑 学 第三讲 回顾知识 传统词项逻辑是亚里士多德建立的以直言命题（性质命题）为对象、以三段论为核心的一个逻辑系统 命题是通过语句来反映事物情况的思维形态 ，命题有真假 命题包括非模态命题、模态命题 非模态命题包括简单命题、复合命题 简单命题是不包含其它命题的命题，也叫性质命题 复合命题是由联结词联结若干命题而形成的命题 深入到命题内部，把命题分析为主项、谓项、量项和联项——研究关于量项和联项的推理——传统词项逻辑 传统词项逻辑主要使用自然语言来研究直言命题的形式和推理 直言命题的推理包括对当关系推理、换质推理、换位推理、三段论推理 回顾知识 词项是思维及语言表达中一种具有确定意义的基本单位 词项的基本功能是能够充当简单命题成分中的逻辑变项和逻辑常项 逻辑变项包括：主项、谓项；逻辑常项包括：量项、联项 任何词项都有两个逻辑特征：词项的内涵和词项的外延 词项的内涵就是它所表达的概念；词项的外延就是词项指称的对象 词项内涵和外延具有反变关系，词项的内涵越多，外延就越小；外延越大，内涵越少。 人——中国人——一个优秀的中国人——一个优秀的中国年轻人 回顾知识 词项的分类 根据词项外延的数量，词项可分为单独词项、普遍词项和空词项 根据词项指称的是群体还是个体，词项可分为集合词项和非集合词项 根据词项指称某类事物，还是某类事物以外的事物，词项可分为正词项和负词项。 词项外延的关系 ：相容、不相容， 相容包括：全同、包含、交叉； 不相容包括：反对、矛盾 明确词项的逻辑方法有：限制和概括、定义、划分 * * 第三章 传统词项逻辑 第三节 直言命题 直言命题的定义 （1）所有事物都是发展变化的。 （2）所有宗教徒都不是唯物主义者。 （3）有的亚洲国家是经济发达的国家。 （4）有的金属（在常温下）不是固体。 （5）北京是中国的首都。 （6）南宁不是直辖市。 直言命题又叫性质命题，是断定对象具有或不具有某种性质的命题。 例如： 直言命题以主谓式语句表达，由主项、谓项、联项和量项四个部分组成 直言命题的成分 主项（S）：指称断定对象的词项 如：前面例子中的“事物”、“宗教徒”、“亚洲国家”、“金属”、“北京”、“南宁”。 谓项（P）：指称对象所具有或不具有的性质的词项 如：前面例子中的“发展变化的”、“唯物主义者”、“经济发达的国家”、“固体”、“中国的首都”、“直辖市” 联项：又称为直言命题的质，联结主项和谓项的语词，表 示“具有”还是“不具有”的差别 肯定联项：是 否定联项：不是 量项：又称命题的量，是表示主项外延被断定的范围的语词 如：前面例子中的“所有” 、 “有的” 直言命题的成分 量项的种类： 全称量项(可省略)：所有、凡是、一切、全部、任何… 特称量项(不可省略)：有、有的、有些… 单称量项(通常省略)：这个… 注意： 特称量项“有”的确切含义是“至少存在着一个”，至多也许是全部，而不是“有一些而且只有一些”。也就是说“有S是（不是）P”对S的断定在量上只是表明“至少存在着一个”，具体多少是不确定的，不是对S的另一部分对象作了相反的断定。 直言命题的种类 按量划分： 单称命题（前面例子中的5、6） 全称命题（前面例子中的1、2） 特称命题（前面例子中的3、4） 按质划分： 肯定命题（前面例子中的1、3、5） 否定命题（前面例子中的2、4、6） 直言命题的种类 按质、量结合划分： 全称肯定命题（前面例子中的1） 全称否定命题（前面例子中的2） 特称肯定命题（前面例子中的3） 特称否定命题（前面例子中的4） 单称肯定命题（前面例子中的5） 单称否定命题（前面例子中的6） 直言命题的类型 下列哪些语句表达了直言命题?指出这些直言命题属于四种标准形式的哪一种：(1) 啊, 春光!(2) 没有一个教师不是知识分子。(3) 有的金属不是固体。(4) 地球是围绕太阳运行的吗?(5) 难道地球不是围绕太阳运行的吗? 直言命题的种类 单称命题也对主项的全部外延做出了断定，在这一点上与全称命题相同，所以，单称肯定命题可当作全称肯定命题；单称否定命题可当作全称否定命题。 这样，直言命题就只有A、E、I、O四种基本类型。 名 称 逻 辑 形 式 简式 简称 S和P可能关系 全称肯定命题 所有S都是P SAP A 全称否定命题 所有S都不是P SEP E 特称肯定命题 有些S是P SIP I 特称否定命题 有些S不是P SOP O S P P S S P S P P S