直言命题

有关逻辑学中直言命题基础知识的整理

直言命题

• 断定一类对象的全部或部分是否包含在一类对象中的命题
• 包含
  • 逻辑常项
    • 量项
      • 全称量项
        • 所有
      • 特称
        • 有些
    • 联项
      • 肯定联项
        • 是
  • 逻辑变项
    • 主项“S”（需断定）
    • 谓项“P”（用来断定）
• 分类（据量项和联项的不同）
  • 全称肯定 (SAP,A)
  • 全称否定（SEP，E）
  • 特称肯定（SIP,I)
  • 特称否定（SOP,O)
• 推理方法
  • 换质法
    • 通过改变一个直言命题的质，并且同时否定这个直言命题的谓项从而得到一个新的直言命题
  • 换位法
    • 交换直言中的主项和谓项的位置从而得到一个新的直言命题
    • 规则
      • 换位法只交换原命中的主、谓位置，不变质
      • 换位前不周延的项换位后仍需不周延
• 对当关系
  • 矛盾关系
    • 真值相关
  • 反对关系
    • 至少一假
  • 下反对关系
    • 至少一真
  • 差等关系
    • 全称真则特称真，特称假则全称假
  • 使用对当关系的规定
    • 是同素材的四种直言命题间的真假关系
    • 反对，下反对，差等关系都以主项存在预设为先决条件
    • 矛盾关系优先
    • 不应当把根据对当关系推出的直言命题的真值与命题实际具有的真值简单的划等号
• 逻辑特征
  • 常项
    • 质（联项），量（量项）
  • 变项
    • 周延性
      • 直言命题中对主项和谓项外延的断定（全部能断定则周延，无法全部断定则不周延）
• 单称命题
  • 与直言命题不同的一种简单命题；主项是一个单独概念，其实质是对某单一对象是否包含在一类对象在做出判断