{"entities":{"Q1460159":{"pageid":1470899,"ns":120,"title":"Item:Q1460159","lastrevid":70799301,"modified":"2026-04-13T17:15:34Z","type":"item","id":"Q1460159","labels":{"en":{"language":"en","value":"The theory of constructive types. (Principles of logic and mathematics.) Part 1: General principles of logic. Theory of classes and relations."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2598025"}},"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":"Q1460159$3180B2C2-BAAF-4E76-8C76-62523F611881","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f3773b034ddb046445e2f7cd1f05b7f1ffaaa23","datavalue":{"value":{"text":"The theory of constructive types. (Principles of logic and mathematics.) Part 1: General principles of logic. Theory of classes and relations.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1460159$B2E08FAF-2B0D-46AB-BC47-28DD0DE545D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79afcf5ca4cfbc8ca8e150d42dde308974cd0207","datavalue":{"value":"49.0139.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1460159$9D11ACAF-3BAC-4307-BDD3-87E5AFEDEEAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"29f5b93ec8a510d7156ef7b86b53efcf0b19b0fb","datavalue":{"value":{"time":"+1923-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":"Q1460159$EC975CFA-850C-4D42-B33D-AB473CD2C5A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ef5ed574419bd9ad4df79fc371fbc087ce78316","datavalue":{"value":"Das Ziel der Arbeit ist der Aufbau von Logik und Mathematik auf dem Weg des Logikkalk\u00fcls und unter Heranziehung der Typentheorie von Russell und Whitehead, aber unter Verzicht auf das von diesen Autoren benutzte Reduzibilit\u00e4tsaxiom. Der erste der vier Abschnitte des vorliegenden ersten Teiles enth\u00e4lt eine kritische Pr\u00fcfung der Methoden der ``Principia Mathematica'': f\u00fcgt man zur reinen, konstruktiv aufgebauten Typentheorie (``theory of constructive types'') das Reduzibilit\u00e4tsaxiom, das die Existenz einer im allgemeinen nicht konstruierbaren Funktion postuliert, so k\u00f6nnen damit Paradoxien von der Art der Richardschen hergestellt werden; unter Zur\u00fcckweisung bzw. Abschw\u00e4chung der Argumente, die f\u00fcr die Notwendigkeit jenes Axioms angef\u00fchrt worden sind, wird daher auf seine Verwendung als Axiom verzichtet und vielmehr untersucht, wie weit man so auf rein konstruktivem -- und freilich bedeutend komplizierterem -- Weg gelangen kann; die Existenz des Kontinuums l\u00e4\u00dft sich dann nur durch eine besondere Hypothese (gleich dem Auswahlprinzip usw.) sichern, und an die Stelle der \u00fcblichen Theorie der Kardinalzahlen tritt eine weit allgemeinere, aus der die gew\u00f6hnliche durch Annahme des Reduzibilit\u00e4tsaxioms (als Hypothese) wiederum erschlossen werden kann. Der zweite Abschnitt entwickelt den f\u00fcr den Logikkalk\u00fcl erforderlichen Formel- und Regelapparat, der sich eng an den der Principia Mathematica anschlie\u00dft, aber doch einige wesentliche Abweichungen zeigt; so wird namentlich (im Gegensatz zu den Principia) die Vermeidung jedes der gew\u00f6hnlichen Sprache sich bedienenden Beweises erstrebt; die primitiven Grunds\u00e4tze werden aus den Principia \u00fcbernommen. Im dritten Abschnitt werden zwar die elementaren S\u00e4tze des Logikkalk\u00fcls unver\u00e4ndert aus den Principia rekapituliert, dagegen die Theorie der scheinbaren Variabeln und der Funktionen vom gleichen Typus auf Grund neuer Definitionen und der oben angef\u00fchrten Prinzipien aufgebaut. Hieran schlie\u00dfen sich im vierten Abschnitt einige Gruppen von Definitionen, namentlich \u00fcber Klassen, Relationen und Identit\u00e4t von solchen; es sei hervorgehoben, da\u00df an Stelle der \u00fcblichen Leibnizschen Definition der Identit\u00e4t die von Whitehead und Russell \u00fcbernommen wird und f\u00fcr die die Eigenschaft ``aus \\(a = b\\) folgt \\(f\\{a\\} = f\\{b\\}\\)'' charakteristisch ist, eine bedeutend weitere Begriffsbildung gesetzt wird.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1460159$32A40E8C-9902-4BED-B39D-2896A65F4340","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ca6f66895aaa01e4494e6b68b1b7ce3c67edc72","datavalue":{"value":"2598025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1460159$6804BE64-C6A9-4780-A1EF-A19BF6CD8E2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73a3fcdebcea12ce05f5175a4cee5b4b2f63502e","datavalue":{"value":{"entity-type":"item","numeric-id":1565789,"id":"Q1565789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1460159$530B4528-274A-4285-8722-A0E39690EAC1","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":"Q1460159$D790FDAA-9AC0-4AB6-AA08-1748BD6B9CD8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The theory of constructive types. (Principles of logic and mathematics.) Part 1: General principles of logic. Theory of classes and relations.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_theory_of_constructive_types._(Principles_of_logic_and_mathematics.)_Part_1:_General_principles_of_logic._Theory_of_classes_and_relations."}}}}}