词项逻辑

本导图包括词项概述、种类，直言命题分类、主项和谓项的周延性，直接推理的特点、对当关系推理，三段论的定义、一般规则等内容。

词项逻辑

• 直言命题
  • 直言命题及其逻辑结构
    • 直言命题=量项+主项+联项+谓项
  • 分类
    • 单称直言命题
    • 全称直言命题
    • 特称直言命题
  • 主项和谓项的周延性
    • 全称直言命题主项周延
    • 特称直言命题主项不周延
    • 肯定直言命题谓项不周延
    • 否定直言命题谓项周延
  • 对当方阵
    • 图
• 直接推理
  • 特点
    • 只有一个前提，前提和结论中的基本素材相同
  • 对当关系推理
    • 子主题
    • 子主题
  • 变形推理
    • 换质推理
      • 真值一样，质不同
    • 换位推理
      • 换位不换质，周延不扩大
    • 换质位
      • 换质推理和换位推理可连续使用，也可以交叉综合使用
  • 检验
• 三段论
  • 定义
    • • 一个一般性的原则(大前提)，一个附属于前面大前提的特殊化陈述(小前提)，以及由此引申出的特殊化陈述符合一般性原则的结论。
  • 一般规则
    • 规则1：在前提中不周延的词项，在结论中也不得周延
    • 规则2：中项在前提中必须至少周延一次
    • 规则3：两个前提不能都是否定直言命题
    • 规则4：前提和结论中否定命题的数目必须相等
  • 格及特殊规则
    • 共有四个格
    • 第一格特殊规则
      • 小前提必须是肯定的
      • 大前提必须的全称的
    • 第二格特殊规则
      • 两前提中必须粤语歌是否定的
      • 大前提必须是全称的
    • 第三格特殊规则
      • 小前提必须的肯定的
      • 结论必须是特称的
    • 第四格特殊规则
      • 如果有一个前提是否定的，那么大前提必须是全称的
      • 如果大前提是肯定的，那么小前提必须的全称的
      • 如果小前提的肯定的，则结论必须的特称的
      • 任何一个前提都不能是O命题
      • 结论不能是A命题
  • 式
    • 规则5：如果两个前提都是全称的，则结论不能是特称的
  • 非标准形式的三段论
    • 省略大前提，保留小前提和结论
    • 省略小前提，保留大前提和结论
    • 省略结论，保留大前提和小前提
• 词项
  • 概述
    • 充当直言命题主项和谓项的概念
  • 种类
    • 单独词项和普遍词项
    • 集合词项和非集合词项
  • 词项外延之间的关系
    • 全同关系
    • 真包含于关系
    • 真包含关系
    • 交叉关系
    • 全异关系