{"entities":{"Q2593906":{"pageid":2604649,"ns":120,"title":"Item:Q2593906","lastrevid":78927248,"modified":"2026-05-06T12:45:33Z","type":"item","id":"Q2593906","labels":{"en":{"language":"en","value":"Modalities in the survey system of strict implication."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2513125"}},"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":"Q2593906$26EE9FC4-1E97-4B32-B7A9-F2A68A402987","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7b30cde1be772f7d41870046cef6c8703fd23e1","datavalue":{"value":{"text":"Modalities in the survey system of strict implication.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2593906$A4D53E8E-EA13-4772-9907-029397ED58C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f91b48d89b10423051f2330166ebfd530d6a41be","datavalue":{"value":"65.1105.04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593906$E72BBF03-775A-496C-8D55-A319BBCFD1FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf1ecc2ec64a49c7bfea49807a84d1e4745084f9","datavalue":{"value":"10.2307/2268714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593906$39F27DD8-B70E-4B16-820F-08DD395A4EC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe8b7f40142cb03c0c4532d77bfc8f59c91fd894","datavalue":{"value":{"entity-type":"item","numeric-id":2534142,"id":"Q2534142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2593906$87FEE15F-C470-47C3-B192-229E9ED844BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0e196ad60f00e64f313a942d594f41d77efe615","datavalue":{"value":{"time":"+1939-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":"Q2593906$1331F331-8672-479F-932F-5497657DF15A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25bf77f65535b8c394c6195a91031145d26987ce","datavalue":{"value":"Es sei \\(C^*H_1H_2=_{\\text{Df}}\\)\\textit{Wenn \\(H_1\\), so mit Notwendigkeit \\(H_2\\), \\(NH =_{\\text{Df}}\\)Es-ist-nicht-wahr-da\u00df \\(H\\), \\(KH_1H_2=_{\\text{Df}}H_1\\) und \\(H_2\\), \\(MH=_{\\text{Df}}\\)Es-ist-m\u00f6glich-da\u00df} \\(H\\). Dann ist die Modalit\u00e4tenlogik, deren Erhellung das Hauptthema dieser Untersuchung ist, die Folgerungsmenge des folgenden, in den Bereich der \\textit{Lewis}-Kalk\u00fcle fallenden Postulatensystems:  \\[  \\begin{aligned} &P\\,1.C^*KpqKqp,\\quad P\\,2.C^*Kpqp,\\quad P\\,3.C^*pKpp,\\quad P\\,4. C^*KKpqrKpKqr,\\\\ &P\\,5. C^*KC^*pqC^*qrC^*pr,\\quad P\\,6. C^*KpC^*pqq,\\quad P\\,7. C^*C^*pqC^*NMqNMp. \\end{aligned}  \\]   Der Begriff der Folgerung soll festgelegt sein durch die Operationen der Ab\\-trennung, der Einsetzung und der Adjunktion.  Es wird gezeigt, da\u00df es in diesem System genau 42 Modalit\u00e4ten gibt, wenn unter einer Modalit\u00e4t verstanden wird eine modale Funktion von einer Variablen, in deren Konstruktion nur \\(N\\) und \\(M\\) eingehen, und wenn die modalen Funktionen, so erkl\u00e4rt werden, da\u00df Folgendes gilt: (1) Die \\(p\\), \\(q\\), \\(r\\),\\dots sind modale Funktionen, (2) wenn \\(H_1\\) und \\(H_2\\) modale Funktionen sind, so auch \\(NH_1\\), \\(MH_1\\), \\(KH_1H_2\\), (3) jede mit einer modalen Funktion definitorisch \u00e4quivalente Funktion ist eine modale Funktion.  An dieses Hauptthema sind angeschlossen Untersuchungen \u00fcber die Anzahlen der Modalit\u00e4ten in Systemen, die das vorstehende System umfassen.  Diese vorbildlich klare, ungew\u00f6hnlich gehaltreiche Arbeit ist ein wesentlicher Beitrag zur Syntax der Lewis-Kalk\u00fcle, nach meinem Urteil der wesentlichste neben den Arbeiten von \\textit{E. V. Huntington} (Proc. Amer. Acad. Arts Sci. 72 (1937), 1-44; F. d. M. \\(63_{\\text{II}}\\), 821), \\textit{C. West Churchman} (J. symbolic Logic 3 (1938), 77-82; F. d. M, \\(64_{\\text{I}}\\), 29) und \\textit{J. C. C. McKinsey} (J. symbolic Logic 5 (1940), 110-112; F. d. M. 66, 29). In den Untersuchungen \u00fcber die Modalit\u00e4ten-Anzahlen in umfassen\\-deren Systemen sind lehrreiche kritische Bemerkungen enthalten zu Arbeiten von \\textit{R. Feys} (Rev. n\u00e9oscolast. Philos., Louvain (2) 40 (1937), 517-553; (2) 41 (1938), 217-252; F. d. M. \\(63_{\\text{II}}\\), 826) und \\textit{O. Becker} (Jahrb. Philos. ph\u00e4nomenolog. Forschung 11 (1930), 497-548; F. d. M. \\(56_{\\text{I}}\\), 37).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2593906$EF196575-0401-46D3-AB4B-7866FA256F64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b176fd5aeb538c1ec1e4645947d1eda7e4c68642","datavalue":{"value":"2513125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593906$6FA8DE6B-8CAF-4432-AAE6-4B3EF4EAA5E8","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":"Q2593906$1AD0EB61-4EC1-445A-9A92-58E8CB6C9B96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24e7ee74884a6f48d89e4671667214e6a7e11fac","datavalue":{"value":"https://doi.org/10.2307/2268714","type":"string"},"datatype":"url"},"type":"statement","id":"Q2593906$10DC0E2A-DCB2-4A48-AF4F-47E2415D561E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6888fc0a7e43f19ce978b39f1b4bcd9f1ee26e1e","datavalue":{"value":"W2121820351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2593906$B3FE51FB-71C7-4489-8C1E-4E71DC2F44E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2593906$525EEDBD-022B-43FC-B704-382F167A9326","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modalities in the survey system of strict implication.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modalities_in_the_survey_system_of_strict_implication."}}}}}