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 |
Set profile property. |
||
(2 intermediate revisions by 2 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:38, 5 March 2024
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