{"entities":{"Q1834559":{"pageid":1845301,"ns":120,"title":"Item:Q1834559","lastrevid":69294393,"modified":"2026-04-13T06:03:08Z","type":"item","id":"Q1834559","labels":{"en":{"language":"en","value":"On a problem of formal logic."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2568998"}},"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":"Q1834559$EBDC89FD-2EE9-4BE4-90A7-CDA09FCFF136","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5a2d60967fa8dcedc739f78bd313b7dbc3bc18a","datavalue":{"value":{"text":"On a problem of formal logic.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1834559$E9E910C0-5B57-453E-9415-ABC6D164F5D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29e33362a55365033c6f53073f1db1d472765985","datavalue":{"value":"55.0032.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834559$50F1FFD9-58D4-4129-8095-D446D4AC5406","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"569f7eee57c92af30f0779849471ff124ef80fbe","datavalue":{"value":{"entity-type":"item","numeric-id":563364,"id":"Q563364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1834559$8585ED16-FB8F-4883-BC39-7E05C7BB33C7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf0ec0ec92278a4e809216de2b4777e9692e96ea","datavalue":{"value":{"time":"+1929-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":"Q1834559$7C44316D-461C-44B7-96EA-F7B28EE33040","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"81cdb906ca86e970900401183c44f3efb103edfb","datavalue":{"value":"In dieser Arbeit behandelt \\textit{Ramsey} zwei Aufgaben \u00fcber die Erf\u00fcllbarkeit von Aussagen. Die erste Aufgabe betrifft Aussagen, die mittels der Quantifikation ``alle'' aus Ausdr\u00fccken gebildet sind, welche wiederum mittels der drei elementaren logischen Operationen Konjunktion, Disjunktion und Negation, teils aus variablen Satzfunktionen und teils aus der Identit\u00e4tsbeziehung aufgebaut sind. Wie der Verf. bemerkt, ist diese Aufgabe trivial f\u00fcr jeden einzelnen endlichen Bereich, weil man nur alle M\u00f6glichkeiten durchzuprobieren hat. Die Bedeutimg seiner Arbeit liegt deshalb darin, da\u00df er auf einmal die Erf\u00fcllbarkeit in beliebig gro\u00dfen endlichen und auch unendlichen Bereichen untersucht. Es gelingt ihm im Abschnitt II, eine notwendige und hinreichende Bedingung f\u00fcr die Erf\u00fcllbarkeit in jedem Bereiche zu finden, dessen Elementzahl gr\u00f6\u00dfer ist als eine gewisse Zahl, die von der Zahl der gegebenen Satzfunktionen und ihrer Argumente abh\u00e4ngt. F\u00fcr kleinere Bereiche ist die Bedingung hinreichend, aber nicht notwendig. Um dies Hauptergebnis seiner Arbeit beweisen zu k\u00f6nnen, braucht er gewisse kombinatorische S\u00e4tze, die er im Abschnitt I beweist; diese S\u00e4tze sind \u00fcbrigens auch sonst unzweifelhaft von gro\u00dfer Bedeutung. Im Abschnitt III macht er eine Anwendung seines allgemeinen Ergebnisses auf den Fall, wo von der Identit\u00e4t abgesehen blo\u00df eine Funktion von zwei Variablen auftritt.  Die zweite Aufgabe behandelt der Verf. im Abschnitt IV. Er betrachtet hier Aussagen, worin auch die Quantification ``es gibt'' vorkommt, aber so, da\u00df alle Existenzzeichen im Aussagenausdruck vor den Allzeichen stehen. Er gibt eine kurze Darstellung davon, wie seine Methode noch anwendbar bleibt, indem er zeigt, wie die Frage der Erf\u00fcllbarkeit einer Aussage der letzteren Art in einem Bereiche auf die Frage der Erf\u00fcllbarkeit einer Aussage der ersteren Art in einem gewissen kleineren Bereiche zur\u00fcckgef\u00fchrt werden kann. (II.)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1834559$98C2F52E-9306-470D-81E9-31635DE0E2C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834559$17561E10-739B-4CBD-8C1F-46FDFA176506","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6cecdfe0e1b32855b7e69db13cc6a8252587f7ec","datavalue":{"value":"2568998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834559$45A7EE15-E7F5-497B-8D01-EF4B5256FF53","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":"Q1834559$04E87828-0B0E-49D5-B39D-661445D3F8F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f670906986622953fc22c2f4d327956e3b00b906","datavalue":{"value":"https://doi.org/10.1112/plms/s2-30.1.264","type":"string"},"datatype":"url"},"type":"statement","id":"Q1834559$0984DBAC-A8B1-47F9-9E50-ED2B5D7CE025","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a3202e84ba060e05101f3cd50dfcb49dfbf65019","datavalue":{"value":"W2095689360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834559$5FAA706D-4E78-493D-8FE5-A38227F7082F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9b051ce4446937694bfaf784fee9eb235552ec26","datavalue":{"value":"Q54279539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834559$4E32DBBC-BCB1-4B32-BF53-125DAE018B86","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d79191a73fb3704f15637951cce907fc6cfdf293","datavalue":{"value":"10.1112/PLMS/S2-30.1.264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1834559$494F74D9-A55F-4357-96EA-AB141BE53E72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28df3f120825d4d0fc53df734de139eff2e6876f","datavalue":{"value":{"entity-type":"item","numeric-id":6482869,"id":"Q6482869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1834559$C27DA9A4-B457-4F27-93D6-185583DF9CAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a problem of formal logic.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_problem_of_formal_logic."}}}}}