On the construction of a logic in which inclusion has the meaning of the species-genus relation. (Q562826)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the construction of a logic in which inclusion has the meaning of the species-genus relation. |
scientific article |
Statements
On the construction of a logic in which inclusion has the meaning of the species-genus relation. (English)
0 references
1932
0 references
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.
0 references
