{"entities":{"Q2601622":{"pageid":2612365,"ns":120,"title":"Item:Q2601622","lastrevid":44447244,"modified":"2025-11-23T00:18:01Z","type":"item","id":"Q2601622","labels":{"en":{"language":"en","value":"New foundations for mathematical logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2519787"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601622$048BDC89-3548-4348-9E0E-602EBE7A5B70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d07c47019d08a03b4e352da765e89ac72a3b3257","datavalue":{"value":{"text":"New foundations for mathematical logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2601622$6891F95A-6DF6-4600-998A-FE6EB5967966","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b9431eba0c50b450de003844587f94eed4df4af","datavalue":{"value":"63.0022.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601622$60F0B945-632C-4107-9DA5-CC3930735931","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd5b6bf2dca0aedb5b2c09a2cb2579a1812e7787","datavalue":{"value":"10.2307/2300564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601622$F99A6249-3C16-490A-8D2C-C27994FAFB71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e28a06750b9888665a19ebf987547300b0216eed","datavalue":{"value":{"entity-type":"item","numeric-id":562839,"id":"Q562839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601622$FA065802-34DC-4DA0-B2FA-7E4FED3DCC7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f5ab0baf7eae70aecb4af413b43b8b6a1ca6194f","datavalue":{"value":{"entity-type":"item","numeric-id":559780,"id":"Q559780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601622$68C00045-1481-4162-A097-23CD382D8DB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b5727a7c5b8fd0294ba23bb629bc28c096c780c","datavalue":{"value":{"time":"+1937-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2601622$67923178-03A4-465D-BE57-C31C0FD6B627","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9bf639602ee4b3568d40ce261bba341fc794c7be","datavalue":{"value":"Verf. macht in dieser Arbeit einen Vorschlag zur \u00dcberwindung der Typentheorie, welche die Einf\u00fchrung des Unendlichkeitsaxioms notwendig macht und z. B. in der Arithmetik unbequeme Multiplizit\u00e4ten zur Folge hat. Versucht man den \u00fcblichen Aufbau der Logik, ohne Typen zu verwenden, so erh\u00e4lt man leicht das \\textit{Russell}sche Paradoxon, dessen Ableitung (in der vom Verf. gegebenen Darstellung) wesentlich auf einer Schlu\u00dfregel, dem ``Abstraktionsprinzip'', beruht. Diese Regel fordert, da\u00df \\((\\exists x)\\, (y)\\, (y \\varepsilon x \\equiv \\varPhi)\\) ein Satz ist, falls \\(\\varPhi\\) eine \\(x\\) nicht enthaltende Formel ist. Im Gegensatz zum Vorgehen \\textit{Russell}s, der nur gewisse ``geschichtete'', d. h. der Einteilung der Variablen in Typen entsprechende Formeln \u00fcberhaupt zulie\u00df, schl\u00e4gt Verf. vor, alle ungeschichteten Formeln (wie z. B. ``\\(x \\varepsilon x\\)'') beizubehalten, jedoch das obengenannte Abstraktionsprinzip auf geschichtete Formeln \\(\\varPhi\\) zu beschr\u00e4nken. Hierdurch wird folgendes erreicht: (1) Die eingangs genannten Unbequemlichkeiten der \u00fcblichen Logik werden vermieden. (2) Man sieht keinen Weg, das \\textit{Russell}sche Paradoxon oder verwandte Paradoxien abzuleiten, ohne aber nat\u00fcrlich die Widerspruchsfreiheit dieses Systems beweisen zu k\u00f6nnen, ebensowenig, wie man dies bisher f\u00fcr das System der typenbehafteten Logik mit Unendlichkeitsaxiom tun kann.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2601622$8CB926A4-28F4-4107-AD4D-885A47D8AB77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601622$DB7B33EB-D336-4AEF-8617-20219BE0A943","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e3ab9ac6173e6382ec1215b2b07b627fa915921","datavalue":{"value":"2519787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601622$71C4C238-0176-4073-898E-66DE87C2DE9F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"13724d6d5064fd8a3826b7e46f7a4f5d9f3ee8fc","datavalue":{"value":"Q56031502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601622$D00BE1CD-DC7F-40BB-A1CE-A13CCA062E13","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2601622$53BEBE2C-A5BB-42F4-A587-632AD0C41895","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"582b50ad05741360e03a98b1b8b122400d3940ac","datavalue":{"value":"https://doi.org/10.2307/2300564","type":"string"},"datatype":"url"},"type":"statement","id":"Q2601622$5CC634CB-54B6-4934-93B2-B49F5C6C219A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4530da87ad8bb133290cf18c925563ca85444482","datavalue":{"value":"W4246852004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2601622$0D53AC56-E2C8-4824-9697-7754823ED507","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2601622","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2601622"}}}}}