{"entities":{"Q2611355":{"pageid":2622098,"ns":120,"title":"Item:Q2611355","lastrevid":44479224,"modified":"2025-11-23T06:10:56Z","type":"item","id":"Q2611355","labels":{"en":{"language":"en","value":"The inconsistency of certain formal logics."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2531308"}},"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":"Q2611355$A9DCD776-E451-43B2-9536-A67DB0601263","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffc5e13624b36fa103286730425d0e424fd9a1fe","datavalue":{"value":{"text":"The inconsistency of certain formal logics.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2611355$F3789B0C-88F8-4A0E-80ED-35FB4E8F3CE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4281bc3dbce8f45ec135a16d3207558ab1b632ac","datavalue":{"value":"61.0056.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611355$7F6DC5E6-A882-4283-9B8C-03DA88FBF975","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d37a6f23fa7e7e3233f1fdaf110cc0c2d57787f5","datavalue":{"value":"10.2307/1968646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611355$59170490-A8E8-4FBC-B9A5-29DA8A9471EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611355$134640C2-BC32-44DF-87A2-DAB70F0AA1B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f82bec1cbf48dde5b3e142feb51b7b6959e188a7","datavalue":{"value":{"time":"+1935-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":"Q2611355$0E0FE4F2-D7B8-4684-8543-54B728AD843E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"987c6c93b42cf1c32faa0e6a912dee5352380312","datavalue":{"value":"Der Inhalt dieses kleinen Aufsatzes ist von gr\u00f6\u00dfter Wichtigkeit f\u00fcr die Beurteilung der Versuche, eine Logik ohne Typentheorie aufzubauen. Die Verf. beweisen, da\u00df derartige logische Systeme zu einem Widerspruch f\u00fchren m\u00fcssen, falls sie eine gewisse Freiheit in der Ausdr\u00fcckbarkeit von Formeln als Werten von Funktionen gestatten. Genauer gesprochen handelt es sich in der Hauptsache um die Ausdr\u00fcckbarkeit von zahlentheoretischen Funktionen, die die Gesamtheit der Formeln des Systems abz\u00e4hlen, und so eine \\textit{G\u00f6del}sche Repr\u00e4sentation der Logik in sich selbst gestatten. Es zeigt sich nun, da\u00df diejenigen typenlosen logischen Systeme, von denen bisher eine vollst\u00e4ndige Formalisierung ver\u00f6ffentlicht worden ist, n\u00e4mlich die kombinatorischen Systeme von \\textit{Curry} (\\textit{H. B. Curry}, Grundlagen der kombinatorischen Logik, Amer. Journ. of Math. 52 (1930), 509-536, 789-834; JFM 56.0048.*) und \\textit{Rosser} (vgl. die beiden vorstehend besprochenen Arbeiten), sowie die Logik von \\textit{Church} (\\textit{A. Church}, A set of postulates for the foundation of logic. I, II, Ann. of Math. (2) 33 (1932), 346-366; (2) 34 (1933), 839-864; F. d. M. 58; 59\\(_{\\text{I}}\\), 52 fortgesetzt in verschiedenen Arbeiten von \\textit{Kleene} und \\textit{Rosser}) gerade die verh\u00e4ngnisvolle Eigenschaft besitzen. Man wird nach dem Ergebnis dieser Arbeit weiteren Versuchen, eine typenlose Logik aufzubauen, sehr skeptisch gegen\u00fcberstehen. Die Paradoxien, die man freilich in den historischen Formen (z. B. der \\textit{Russell}schen Form) vermeiden kann, scheinen sich in anderer Weise wieder einzuschleichen. Bemerkenswert ist, da\u00df die von den Verf. aufgezeigten Widerspr\u00fcche gerade mit der Ausdr\u00fcckbarkeit gewisser zahlentheoretischer Funktionen zusammenh\u00e4ngen. Bildet doch die M\u00f6glichkeit, aus der typenlosen Logik die Zahlentheorie zu gewinnen, einen Hauptanreiz f\u00fcr den Aufbau eines solchen Systems. Beschr\u00e4nkt man andererseits das logische Operieren so, da\u00df sich der Widerspruchsfreiheitsbeweis f\u00fchren l\u00e4\u00dft, wie es \\textit{Church} in seinem neusten System getan hat (\\textit{A. Church}, A proof of freedom from contradiction, Proc. Acad. USA 21 (1935), 275-281; JFM 61.0055.*), so zeigt sich, da\u00df sich die Zahlentheorie nicht mehr vollst\u00e4ndig gewinnen l\u00e4\u00dft, sogar nicht einmal der vollst\u00e4ndige Gebrauch der Quantifikatoren (``alle'' und ``es gibt''). Ein abschlie\u00dfendes Urteil \u00fcber typenlose logische Systeme l\u00e4\u00dft sich nat\u00fcrlich insofern nicht f\u00e4llen, als man die Gesamtheit aller m\u00f6glichen Systeme nicht \u00fcbersehen kann. Es scheint aber, da\u00df sich eine Typentheorie in der einen oder der anderen Form doch nicht entbehren l\u00e4\u00dft.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2611355$9726BEDA-669D-43E0-BB3C-B4728149A3F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f20a03b1386eef09c4447940f1475a0c083c9bb","datavalue":{"value":"2531308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611355$07FFFB0E-B199-4C1D-A69F-28970E979C0C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ba60b27375cd8199b9c4c8bf58a64f1631ffea8c","datavalue":{"value":"Q55878657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611355$76270E9E-83B5-47C8-9F99-F925C2CF03D6","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":"Q2611355$7E545B4A-C861-4715-A9C8-534F067D0776","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d1987878fe06f918a9889678befd50707d351b1","datavalue":{"value":"https://doi.org/10.2307/1968646","type":"string"},"datatype":"url"},"type":"statement","id":"Q2611355$AE12CA8E-7E75-4629-934F-3FB691AD5C17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dff0719b200d05d0c186a48195582084b124b45","datavalue":{"value":"W2319210160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2611355$8F202187-661C-4E41-AC15-CA3A50F3EB68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7fdd3d6b9cc141f6d005556f1ba7c68d933a429","datavalue":{"value":{"entity-type":"item","numeric-id":6672169,"id":"Q6672169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611355$46FF3304-C9CE-4861-B295-AE1B3DB8F960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"162c81dfce6d5c874397fb086535d85063c7254c","datavalue":{"value":{"entity-type":"item","numeric-id":6480755,"id":"Q6480755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2611355$2C8B5DDF-E03B-4CEE-B57F-944C8B4F3F16","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2611355","badges":[]}}}}}