演绎论证：范畴逻辑(上).pptVIP

对当关系直接推理的有效式 推理情况 真 假 假 真 真 真 假 假 矛盾关系 反对关系 下反对关系 从属关系 SAP SOP SEP SIP SAP SEP SEP SAP SAP SIP SEP SOP SIP SAP SOP SEP SIP SOP SOP SIP 对当关系 推理形式 SIP SEP SOP SAP 运用逻辑方阵应注意的问题： 1. A、E、I、O四种命题的主项和谓项必须是相同的，才有可能存在这种真假关系，即对当关系必须是同一素材。 2. 对当关系都假定主项存在，即主项不是空概念，否则对当关系中可能出现无意义的情况。例如:“所有的鬼都是白脸的”和“有的鬼不是白脸的”这一对命题都无所谓真假。 3. 通常将单称命题归入全称命题处理，但是单称肯定命题和单称否定命题不是反对关系而是矛盾关系。例如：“刘钢不是中南大学法学院的学生”和“刘钢是中南大学法学院的学生”是矛盾关系而不是反对关系。 1.科学理论都是实践的产物。 2.事物的发展不是没有曲折的。 3.并非所有的劳动产品都是商品。 4.这个班有的同学是不喜欢运动的。 5.并非植物都不是乔木。 思考与训练 一、指出下列判断属何种直言判断，写出公式 （如直言判断不规范，先规范为典型的直言判断） 二、指出下列直言判断主项、谓项的周延情况（如直言判断不规范，先规范为典型的直言判断） 1.各行各业中都有不称职的干部。 2.没有金属不导电。 3.并非有的水稻是多年生植物。 4.占我班五分之一的同学是优秀生。 5.占我班五分之一的女同学都是优秀生。 三、根据对当关系确定同素材其它直言判断的真假 1.已知A真，则E＿＿；I＿＿；O＿＿。 2.已知A假，则E＿＿；I＿＿；O＿＿。 3.已知I真，则A＿＿；E＿＿；O＿＿。 4.已知O真，则A＿＿；E＿＿；I＿＿。 第二讲 演绎论证：范畴逻辑（上） 范畴逻辑（categorical logic）是研究直言判断所陈述的类（或范畴）之间的包含及排除关系。 范畴逻辑的基础知识是直言判断（categorical claim） 。 判断 非模态判断 模态判断 简单判断 复合判断 性质判断 关系判断 联言判断 选言判断 假言判断 负 判 断 必然判断 可能判断 目录 直言判断是反映思维对象具有或不具有某种属性的判断，又称性质判断。 这个 铜器 是 酒壶。 主项 谓项 联项 表示思维对象的概念(S) 表达思维对象属性的概念(P) 连接主项和谓项的词项， 为命题的“质” 表达主项范围或数量的词项，为命题的“量” 量项 直言（性质）判断 主项 表示思维对象的概念(S) 谓项 表达思维对象属性的概念(P) 联项 连接主项和谓项的词项 量项 表达主项范围或数量的词项 是 不是 所有 有的 某个 直言判断的结构如下： 二、直言判断的种类与文恩图 判断名称 逻辑形式 简化形式 简称 全称肯定判断 全称否定判断 特称肯定判断 特称否定判断 所有S都是P 所有S都不是P 有些S是P 有些S不是P SAP SEP SIP SOP A E I O 按直言判断的质划分——肯定判断和否定判断 按直言判断的量划分——单称、特称、全称判断 按质和量结合可分为六种，简化为四种： 训练：将日常表达式转换为等值的标准形式 每一个X都是Y。 未成年人是不合乎条件的的。 在北美曾生活过体重超过四吨的生物。 只有大二学生才是合格的候选人。 推广：“只有X是Y” 可进入的人仅限于超过21岁的人。 推广：“X仅限于Y” 当参加逻辑考试的时候，我总是很紧张。 无论走到哪里，他总是制造麻烦。 关于单称个体的陈述的转换 方法 将个体看作陈述只有一个成员的类 转换为A判断或E判断 练习 亚里士多德是逻辑学家。 圣路易斯位于密西西比。 包含不可数名词的陈述的转换 方法 将主项看作是被讨论对象的实例 练习 煮熟的秋葵荚难以下咽。 大多数煮熟的秋葵荚难以下咽。 2、文恩图（Venn diagram） 直言判断主项、谓项的周延性 直言判断的真假及判断间的逻辑关系 所谓直言判断主项、谓项的周延性是指，一个判断对它的主项或谓项外延的断定情况。 如果一个判断确定地断定了其主项或谓项的全部外延，那么其主项或谓项就是周延的。 如果一个判断没有确定地断定了其主项或谓项的全部外延，那么其主项或谓项就是不周延的。 “确定”，即没有例外。 AEIO主项