本節的1段承上接下，介紹具類詞的命題；2段為類的推算。所謂類的推算者就是近代符號邏輯新興時期的calculus of classes。
1. 普遍的具類詞的命題。
本段的命題可以分為三組。第一組表示類的基本質，第二組是具類詞而同時又具敘述詞的命題，第三組的命題表示“類”與個體有同樣的質。本段的各命題既大都有注解，各組命題無另條表示的需要。
（具類詞的命題表示定那一類的命題函量的外延質。它的真假值根據於定類的命題函量的外延，而不根據於引用那一命題函量為定類的命題函量。）
（這三命題成一套，而最後這一命題總結前兩命題。它表示隻有兩真假值相等的命題函量才定一類。那就是說，兩命題函量的真假值不相等，它們所定的類是兩類。所謂命題函量的真假值相等者，就是說滿足第一命題函量的個體就是滿足第二命題函量的個體。這是類的根本條件。)
（如果兩類相等，則此兩類中任何一類有一性質，另一類亦有之。）
（這三命題中第一命題表示類的相同有自反質，第二命題表示類的相同有對稱質，第三命題表示類的相同有傳遞質。但這三命題不是直接從第二章C節2段的13.15，13.16，13.17推論出來的。不是fx的值，那就是說，x不指這樣的東西，而也不是x=y的例。）
（任何類A是滿足φz的個體，同時也是滿足ψz的個體，此兩命題函量所定的類是一類。）
（此命題表示隻有ψx是真的，x才是ψx所定的類的分子，“ ”代表“是分子”，這是個體與個體的類的關係。它不是包含關係，它沒有傳遞質。從這一方麵著想，“所有的人都是有理性的，所有的聖賢都是人，所以所有的聖賢都是有理性的”與“所有的人都是有理性的，孔子是人，所以孔子是有理性的”這兩個三段論的形式根本不同。）