Logic based on inclusion and abstraction. (Q2603352)
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: Logic based on inclusion and abstraction. |
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Logic based on inclusion and abstraction. |
scientific article |
Statements
Logic based on inclusion and abstraction. (English)
0 references
1937
0 references
Es wird die interessante Tatsache gezeigt, daß eine Logik im Umfange der Logik der Principia Mathematica außer den Variablen nur folgende Grundbegriffe benötigt: 1) das Enthaltensein einer Klasse in einer anderen, 2) die Abstraktion. Der letzte Begriff bezeichnet dabei den Übergang von einer Aussagenfunktion \(\mathfrak A(x)\) zu der Klasse aller Dinge \(x\) mit der Eigenschaft \(\mathfrak A(x)\). Alle anderen logischen Begriffe werden definitorisch auf diese Grundbegriffe zurückgeführt. Ein zugehöriges Axiomensystem, das nur zwei Axiomenschemata und drei Ableitungsregeln enthält, wird angegeben.
0 references