Logic based on inclusion and abstraction. (Q2603352)

From MaRDI portal





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
    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

    Identifiers