On the construction of a logic in which inclusion has the meaning of the species-genus relation. (Q562826)

Es wird ein Klassenkalkül angegeben, in dem die Inklusion \(a < b\) die Beziehung der species zum genus bedeutet, d. h. \(a < b\) bedeutet, daß \(a\) in \(b\) enthalten, aber nicht mit \(b\) identisch ist, und daß weder \(a\) die Nullklasse noch \(b\) die Allklasse ist. Die Schlüsse der traditionellen Logik lassen sich mit Hilfe dieser Relation darstellen.