{"entities":{"Q562824":{"pageid":564591,"ns":120,"title":"Item:Q562824","lastrevid":62806803,"modified":"2026-04-11T08:33:33Z","type":"item","id":"Q562824","labels":{"en":{"language":"en","value":"Zur Deutung der intuitionistischen Logik."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2549007"}},"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":"Q562824$A695C729-F656-4349-A067-E2027F30F1EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44ec3da16cae75031f7318480522fe24f34b47db","datavalue":{"value":{"text":"Zur Deutung der intuitionistischen Logik.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q562824$B6FCBCEB-B0BF-423A-98B0-D573D5B963D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"508c9432ade3aaf58b11696557f2bbb502f4ded4","datavalue":{"value":"58.0062.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562824$B8FE0DC0-7A84-4829-B1F1-3E955529FBD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3959a3f6704cf44407a8ea5d529ccd89f7b260e2","datavalue":{"value":"10.1007/BF01186549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562824$DF7DE72B-8F2F-4397-B50E-4B97FA7424B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q562824$2A7B1D55-AB47-42D6-9A93-8ACECFEA8F97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bbb53abe68aac0eeb25dacc2ea1a7274c90a69a","datavalue":{"value":{"time":"+1932-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":"Q562824$64D82EE2-9CBB-4B41-A7FE-3E7C715572AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35da205deb9f591c2d2172080d2ed740717e23dd","datavalue":{"value":"https://eudml.org/doc/168345","type":"string"},"datatype":"url"},"type":"statement","id":"Q562824$13CD75A5-FC3D-4D8A-96C7-9DF286AA6C34","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f6589cf1e3b105ee0e42acae296ba6b0175fcb18","datavalue":{"value":"Deutungen des intuitionistischen Aussagenkalk\u00fcls im Rahmen der klassischen Logik sind schon mehrfach behandelt worden. Verf. gibt hier eine Deutung auf der Grundlage einer Aufgabenrechnung. Die Begriffe der Aufgabe und der L\u00f6sung einer Aufgabe werden an Hand von Beispielen n\u00e4her erl\u00e4utert. Es werden dann die folgenden Festsetzungen getroffen: Sind \\(a\\) und \\(b\\) Aufgaben, so bezeichne \\(a \\land b\\) die Aufgabe, beide Aufgaben \\(a\\) und \\(b\\) zu l\u00f6sen, \\(a \\lor b\\) die Aufgabe, mindestens eine der Aufgaben \\(a, b\\) zu l\u00f6sen, \\(a \\supset b\\) die Aufgabe, die L\u00f6sung von \\(b\\) auf die L\u00f6sung von \\(a\\) zur\u00fcckzuf\u00fchren, und \\(\\neg a\\) die Aufgabe, vorausgesetzt, da\u00df die L\u00f6sung von \\(a\\) gegeben ist, einen Widerspruch zu erhalten. Ist \\(p(a, b, c,\\ldots )\\) eine mit Hilfe der Zeichen \\(\\land,\\lor,\\supset \\) und \\(\\neg \\) zusammengesetzte Funktion der Aufgabenvariablen \\(a, b, c, \\ldots \\), so bezeichne \\(\\vdash p(a, b, c,\\ldots )\\) die Aufgabe, eine allgemeine Methode anzugeben f\u00fcr die L\u00f6sung von \\(p(a, b, c,\\ldots )\\) bei jeder einzelnen Auswahl der Aufgaben \\(a, b, c,\\ldots \\). Die Postulate sind anzusehen Als Aufgaben, deren L\u00f6sungen schon bekannt sind. Verf. weist nun nach, da\u00df diese Aufgabenrechnung mit dem \\textit{Heyting}schen Kalk\u00fcl identisch ist. Insbesondere kann der Satz vom ausgeschlossenen Dritten \\(\\vdash \\cdot \\;a \\lor \\neg a\\) nicht als Postulat angesehen werden; er w\u00fcrde bedeuten, wenn z. B. die Aufgabe \\(a\\) im Beweis einer Aussage besteht, da\u00df man im Besitze einer allgemeing\u00fcltigen Methode sei, jede Aussage entweder zu beweisen oder zum Widerspruch zu f\u00fchren.  Im Schlu\u00dfabschnitt vertritt Verf. die Ansicht, da\u00df die intuitionistische Logik durch die Aufgabenrechnung ersetzt werden sollte, ``denn ihre Objekte sind in Wirklichkeit keine theoretischen Aussagen, sondern vielmehr Aufgaben''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q562824$36F7E7D3-49BE-4A4B-B4FE-1D6B2A9249EE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99dc710df164d41d5475a499409e805ef1a99d65","datavalue":{"value":"2549007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562824$2CAFAA33-D8C8-4D26-9BE9-C6E0DB713404","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":"Q562824$DF6666A6-D507-4CC3-9AED-E2335EA7A1ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a793e3275d0749a285ba9369ac82a5c09ad2f706","datavalue":{"value":"W2051685387","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q562824$98B68388-8BB0-4B77-B382-AC73EDB4BF7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aab694edf5ef89855dd30d4f2735bd459b4765c4","datavalue":{"value":{"entity-type":"item","numeric-id":6481451,"id":"Q6481451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q562824$7D9F84A1-DBAD-4D66-84F5-E78FAAC15BA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Zur Deutung der intuitionistischen Logik.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Zur_Deutung_der_intuitionistischen_Logik."}}}}}