{"entities":{"Q2619867":{"pageid":2630610,"ns":120,"title":"Item:Q2619867","lastrevid":44500890,"modified":"2025-11-23T09:17:09Z","type":"item","id":"Q2619867","labels":{"en":{"language":"en","value":"Proof by cases in formal logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2539695"}},"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":"Q2619867$A8BAA25D-814E-45D0-9145-9064DE397847","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1783b7de68b66b0121f0a7393718600c7f0db158","datavalue":{"value":{"text":"Proof by cases in formal logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2619867$53FDFBE7-3E75-4A3E-9F47-504B03C43540","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b68c7923391abb431efdfd421a1e590e2f75ddb3","datavalue":{"value":"60.0847.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2619867$40146048-ADF5-499D-B763-229A408F04AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"790183a5f009867b7439d7e7cf5adc6f62f9b0ec","datavalue":{"value":"10.2307/1968749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2619867$80479774-2A13-4069-BBE5-1A82174FE87F","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":"Q2619867$7C0F6597-AA04-4670-A93E-DFFB8AF4B051","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0545e869d8296a0b0654ccbe2e3181b7f2652da8","datavalue":{"value":{"time":"+1934-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":"Q2619867$637D43B3-01F1-4619-9258-71B910350EBB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4bc5821d4e2aff75271ef0bc2999644e2c491af0","datavalue":{"value":"Der Verf. besch\u00e4ftigt sich mit dem Axiomensystem f\u00fcr die formale Logik, das von \\textit{A. Church} (A set of postulates for the foundation of logic I, II, Annals of Math. (2) 33 (1932), 346-366; 34 (1933), 839-864. F. d. M. 58; \\(59_{\\text{I}}\\), 52) aufgestellt worden ist. Das formale Verfahren, das dort zur Ableitung von richtigen logischen S\u00e4tzen benutzt wird, ist sehr verschieden von der Art der Beweisf\u00fchrung, wie sie beim inhaltlichen logischen Schlie\u00dfen auftritt. Beim inhaltlichen Schlie\u00dfen ist es so, da\u00df verschiedene Annahmen gemacht werden, deren Gesamtheit alle m\u00f6glichen F\u00e4lle ersch\u00f6pft. Ergibt sich die Richtigkeit des Satzes als Folgerung bei allen m\u00f6glichen Annahmen, so ist er bewiesen. Die Frage ist nun, ob es ein formales Verfahren gibt, das der inhaltlichen Methode des Beweises durch Annahmen entspricht. Diese Frage, deren Beantwortung bei der Kompliziertheit des \\textit{Churchs}chen Systems nicht ohne weiteres gegeben ist, wird hier im bejahenden Sinne entschieden. Auf den Beweis selbst k\u00f6nnen wir wegen seines rein formalen Charakters hier nicht eingehen. Das Resultat l\u00e4\u00dft sich auf alle logischen Systeme ausdehnen, die gewisse, vom Verf. angegebene Bedingungen erf\u00fcllen. Da\u00df die vorliegende Arbeit manche Ber\u00fchrungspunkte mit den Untersuchungen von \\textit{G. Gentzen} hat (1934; F. d. M. \\(60_{\\text{I}}\\), 20; \\(60_{\\text{II}}\\), 846). liegt auf der Hand.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2619867$13CE897A-0913-4380-A5FF-6807ADDE40A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9dc80d180a01e80a2d65a28a31c05b7078e2221f","datavalue":{"value":"2539695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2619867$12F9B9A6-EE25-4A9F-B45F-46051274F511","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":"Q2619867$B51769A7-CAFB-4627-B91F-4A03B83752C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51b830e0efc86f0faf0a441395dc717bbec7bcf6","datavalue":{"value":"https://doi.org/10.2307/1968749","type":"string"},"datatype":"url"},"type":"statement","id":"Q2619867$0B292DB4-688A-4B74-86AC-F03DD2AF4B3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6550852e3f31d5f1df6d569ebc7560022e4a56c4","datavalue":{"value":"W2328992634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2619867$D864301A-8C42-4C6A-BCC4-A64ED2B4D50D","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":"Q2619867$1473EA6A-3BE8-4542-ABD3-1BB5EE1881B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2619867","badges":[]}}}}}