On the construction of a logic in which inclusion has the meaning of the species-genus relation. (Q562826): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 2549008 / rank | |||
Normal rank |
Revision as of 15:51, 1 July 2023
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