三、类与关系的推演

本章分两节，A节为类的推演，B节为关系的推演。A节分1、2两段，1段为普遍的具类词的命题，2段为类的推算；B节也分1、2两段，1段为普遍的具关系词的命题，2段为关系的推算。本章的各段不过选出原书中几个命题而已。 A. 类的推演 本节的1段承上接下，介绍具类词的命题；2段为类的推算。所谓类的推算者就是近代符号逻辑新兴时期的calculus of classes。 1. 普遍的具类词的命题。 本段的命题可以分为三组。第一组表示类的基本质，第二组是具类词而同时又具叙述词的命题，第三组的命题表示“类”与个体有同样的质。本段的各命题既大都有注解，各组命题无另条表示的需要。 （具类词的命题表示定那一类的命题函量的外延质。它的真假值根据于定类的命题函量的外延，而不根据于引用那一命题函量为定类的命题函量。） （这三命题成一套，而最后这一命题总结前两命题。它表示只有两真假值相等的命题函量才定一类。那就是说，两命题函量的真假值不相等，它们所定的类是两类。所谓命题函量的真假值相等者，就是说满足第一命题函量的个体就是满足第二命题函量的个体。这是类的根本条件。) （如果两类相等，则此两类中任何一类有一性质，另一类亦有之。） （这三命题中第一命题表示类的相同有自反质，第二命题表示类的相同有对称质，第三命题表示类的相同有传递质。但这三命题不是直接从第二章C节2段的13.15，13.16，13.17推论出来的。 …