{"entities":{"Q571232":{"pageid":572999,"ns":120,"title":"Item:Q571232","lastrevid":42587049,"modified":"2025-07-04T10:02:29Z","type":"item","id":"Q571232","labels":{"en":{"language":"en","value":"Formal logic in finite terms."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2555094"}},"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":"Q571232$674BC5F0-93A0-4EE7-9D01-9B7EBA73A677","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71ce72d56734e3954c4c3753a9bf23018f69f12c","datavalue":{"value":{"text":"Formal logic in finite terms.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q571232$94B6EFBC-0EF9-4163-AD07-1A8BDB7CABBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0374a36b350ed4783cb55e94f957846b1e681528","datavalue":{"value":"57.0058.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571232$A157E6E1-FDB6-4806-80A0-BB8C6124BCA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0416b1886d6515f01529fbf65e6ba6a364bfef9d","datavalue":{"value":"10.2307/1968200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571232$127869DC-319B-4A03-BD41-9317D38C83A1","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":"Q571232$E937DB4D-DDA6-44EA-9DE3-B60BF3DE9EE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0130902a9dcdeca58c7452ef77c67f7d7741a88","datavalue":{"value":{"time":"+1931-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":"Q571232$899EB8F6-10C3-49A0-96A0-42D28262787E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9598590f1327a13cf700b94c374111ab50a98b86","datavalue":{"value":"Verf. versucht die mathematische Logik zu bereichern durch Hinzuf\u00fcgung von Ausdr\u00fccken wie \\((Dx)F(x)\\). Die Aussage \\((Dx)F(x)\\) ist wahr f\u00fcr alle und nur diejenigen Satzfunktionen \\(F(x)\\), die wahr sind f\u00fcr ein ``spezifikes'' Individuum. Verf. definiert den Begriff ``universale Sprache'' und zeigt, da\u00df die Einf\u00fchrung von \\((Dx)F(x)\\) n\u00f6tig ist, um die Logik der Funktionen von Satzfunktionen als eine universale Sprache zu gestalten. Die Aussagen \\((Dx)F(x)\\) und \\((Ex)F(x)\\) sind verwandt. W\u00e4hrend aber \\((Ex)F(x)\\) ein reiner Existenzsatz ist, woraus ``nichts'' abgeleitet werden kann, so ist das mit \\((Dx)F(x)\\) nicht der Fall. Merkw\u00fcrdig ist es, da\u00df \\((Ex)F(x)\\) leer ist, \\((Ex)(y) F(x, y)\\) dagegen nicht. Es kann also im System des Verf. nicht erlaubt sein, \\((y)F(x,y)\\) als \\(G(x)\\) zu schreiben.  Verf. definiert den Begriff ``Metafunktion''. Sp\u00e4ter werden Funktionen von h\u00f6heren Typen eingef\u00fchrt. Es scheint aber, da\u00df die Metafunktionen eigentlich nur eine spezielle Klasse von Funktionen vom zweiten Typ sind. Bedeutet \\(\\varPhi (F)\\) eine Funktion der variablen Satzfunktion \\(F\\), so charakterisiert die Aussage  \\[  (Ex)\\left(\\varPhi (F)\\leftrightarrows F(x)\\right)  \\]  \\(\\varPhi (F)\\) als die Metafunktion \\((Dx)F(x)\\). Es scheint deshalb dem Ref., da\u00df \\((Dx)F(x)\\) trotz allem schon in der klassischen mathematischen Logik auftritt.  In der Fu\u00dfnote 3 auf p. 407 wird gesagt, da\u00df die ``truth-tables'' von \\textit{E. L. Post} und \\textit{L. Wittgenstein} erfunden sein sollen. Sie kommen aber als sogenannte Matrizen schon bei \\textit{E. Schr\u00f6der} vor (Algebra und Logik der Relative (1895; F. d. M. 26, 74 (JFM 26.0074.*)- 80). S. 44).","type":"string"},"datatype":"string"},"type":"statement","id":"Q571232$8127D58F-B893-4AD2-88A7-A1D4D872C282","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b8f6753a6aeaebdc1129687fb59c9bbe9f9604d","datavalue":{"value":"2555094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571232$CECA3203-A4A8-4090-AFA3-3103996F1499","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ceb1bb1f975aa1ecfbc2e7fcc85b871a7fc222b8","datavalue":{"value":"Q107642575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571232$25E49CAB-93A2-494D-9BDA-8417D16BD43E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f817eec72d1a6c5917dbac8769e6f2b75b0cb77","datavalue":{"value":{"entity-type":"item","numeric-id":766974,"id":"Q766974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q571232$2B03E6E2-39BC-4663-B219-8A2516217AC2","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":"Q571232$CDBFD8FD-4415-44CC-A0BF-5D97F43291C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72cea5f39d776664d409791c9d7d80b0258e9951","datavalue":{"value":"https://doi.org/10.2307/1968200","type":"string"},"datatype":"url"},"type":"statement","id":"Q571232$EE9FB9E4-ADDF-419F-85B7-A9E952CDF557","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22c627f56d686003f559d210b193a37221b4b856","datavalue":{"value":"W2315596154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q571232$5E739F44-4AB4-40A9-A871-E9CB31C494E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:571232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:571232"}}}}}