{"entities":{"Q2624147":{"pageid":2634890,"ns":120,"title":"Item:Q2624147","lastrevid":44513442,"modified":"2025-11-23T11:11:12Z","type":"item","id":"Q2624147","labels":{"en":{"language":"en","value":"Note on Leo Abraham's ``Transformations'' of strict implication."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2545678"}},"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":"Q2624147$F793DFDA-67D4-487C-ACB6-0F92C06B79ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd6667f6a73267be42655c29f5cbdb1ece714b4e","datavalue":{"value":{"text":"Note on Leo Abraham's ``Transformations'' of strict implication.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2624147$354C689C-8D13-42C9-8CFE-F1FFA640B386","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63464f4f8b124dd141f124c9d0ba7857ffae826b","datavalue":{"value":"59.0862.02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624147$EBB87891-24FE-4FBC-9277-158155B3BABF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"911a1ff1cb6015cb6365f2e80b18ea4a86257040","datavalue":{"value":{"entity-type":"item","numeric-id":2560221,"id":"Q2560221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2624147$A5C2F2F3-BCFB-48DE-BF66-6CB50D20E777","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5229eeedf2f969cf3cb5fc8ccac583c702705ed8","datavalue":{"value":{"time":"+1933-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":"Q2624147$50F054EE-849A-4A59-B27D-402F29D9E74A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d236235fa68718fcba424b32836761654a1e1fa6","datavalue":{"value":"In seinem Bestreben, die Bedeutung der materialen Implikation und ihre Sonderstellung unter den verschiedenen Implikationsbegriffen der Logik und Metalogik zu belegen, rennt \\textit{Abraham} zum Teil offene T\u00fcren ein, da sich seine Verteidigung weniger gegen Behauptungen von Logistikern als gegen solche von metaphysischen Au\u00dfenseitern richtet. Ein gro\u00dfer Teil der Arbeit ist der Implikationsbeziehung der \\textit{Lewis}schen Logik gewidmet. \\textit{Abraham} d\u00fcrfte der \\textit{Carnap}schen Auffassung zustimmen, da\u00df Begriffe wie ``Modalit\u00e4t'' und ``strikte Implikation'' der logischen Syntax angeh\u00f6ren. Man kann dann versuchen, ebenso wie etwa die Form der modus-ponens-Regel im Kalk\u00fcl durch die Tautologie ``\\(p\\cdot p\\supset q\\,\\cdot \\supset \\cdot \\, q\\)'' wiedergegeben werden kann, die Schlu\u00dfweise der strikten Implikation im \\textit{Russell}-Kalk\u00fcl nachzukonstruieren; die hier vom Verf. angegebene Deutung ist aber - wie \\textit{Fitch} in seiner Note feststellt - unrichtig, da sie nicht mit s\u00e4mtlichen Formehl des \\textit{Lewis}-Kalk\u00fcls im Einklang steht.  Formal interessant ist die Bemerkung, da\u00df es im \\textit{Lewis}-Kalk\u00fcl ein Analogen zum \\textit{Sheffer}schen Strich gibt, auf den sich die (relativ zum klassischen Kalk\u00fcl) zus\u00e4tzlichen Grundverkn\u00fcpfungen zur\u00fcckf\u00fchren lassen.  Die Behauptung auf S. 142, da\u00df sich die Formel ``\\((x)\\cdot \\varPhi x\\!:\\,\\supset \\varPhi y\\)'' auch in der Form ``\\((x,y,\\varPhi )\\!:\\varPhi x\\supset \\supset \\varPhi y\\)'' schreiben lasse, ist unzutreffend; durch eine Bindung der freien Variablen kann man vielmehr nur zu ``\\((y,\\varPhi )\\!:\\cdot \\,(x)\\cdot \\varPhi x\\!:\\,\\supset \\varPhi y\\)'' gelangen.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2624147$9B64A027-8A34-428E-ADB2-BD30291FB0DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97aab56cf994d4f33d604dd26d2e662ddfee99df","datavalue":{"value":"2545678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2624147$6E723410-46EB-4336-8455-66FAFFCC25EC","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":"Q2624147$692C240F-C911-4DBD-BB92-786FB165EB7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2624147","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2624147"}}}}}