On the construction of a logic in which inclusion has the meaning of the species-genus relation. (Q562826)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On the construction of a logic in which inclusion has the meaning of the species-genus relation. |
scientific article; zbMATH DE number 2549008
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the construction of a logic in which inclusion has the meaning of the species-genus relation. |
scientific article; zbMATH DE number 2549008 |
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
