直言三段论学习笔记

类（class）

共有某种特征的所有对象的汇集。

标准形式直言命题:

命题形式	名称及种类	实例
所有的S是P	A 全称肯定	所有律师都是富人
没有S是P	E 全称否定	没有罪犯是好事民
有的S是P	I 特称肯定	有化学制品是毒药
有的S不是P	O 特称否定	有昆虫不是害虫

质与量

质：直言命题的属性之一，取决于该命题对类的包含关系所做的肯定或否定。因此，从质上看，每一个直言命题要么是肯定的，要么是否定的。
量：直言命题的属性之一，取决于该命题所反映的对象究竟是主项类的全部对象，还是仅仅是部分对象。因此，从量上看，每一个直言命题要么是全称的，要么是特称的。

主项，谓项，联项，量项

联项（copula）：任一形式的系动词，在直言命题中，起着把主项和谓项联系起来的作用。

例如：所有的S是P

其中S是主项，P是谓项，“是”是联项，所有是量项

可记为量项（主项）联项（谓项）

周延性

直言命题的属性之一，用来反映直言命题和其词项之间的关系，表明一个直言命题是否断定了特定词项所代表的类的每一个对象。如果一个命题述及了某个词向所指称的类的全部元素

传统对当方阵

对当关系：存在于在量、质或其他方面有所不同的两个直言命题之间的逻辑关系，如两个矛盾命题之间、反对命题之间的关系。对当关系可以用逻辑方阵表示。

矛盾关系：互斥或者互相否定的两个命题为矛盾关系命题。传统的对当方阵中，两对矛盾关系的命题用正方形的对角线表示：命题A 和E分别是O和I的矛盾关系命题。

反对关系：不可能同时为真，但可以同时为假的两个命题之间的关系为反对关系。

偶真命题：既非重言的，也非自相矛盾的命题。偶真命题可能是真的，也可能是假的。

下反对关系：不能同假，但可以同真的两个命题之间的关系为下反对关系。

差等关系：在对当关系方阵中，差等关系是全称命题（A或者E） 和相应的特称命题（I或者O）之间的关系。在差等关系中，特称命题（I或者O）称为“下位式”，全称命题（A或者E）称为“上位式”。

直接推论：不借助其他前提，直接从一个前提得出结论的推论。
多种多样的直接推论可以分为不同类型，传统上包括换位法、换质法和换质位法。

如果A真，那么，E假，I真，O假；

如果E真，那么，A假，I假，O真；

如果I真，那么，E假，A、O真假不定；

如果O真，那么，A假，E、I真假不定；

如果A假，那么，O真，E、I真假不定；

如果E假，那么，I真，A、O真假不定；

如果I假，那么，A假，E真，O真；

如果O假，那么，A真，E假，I真。