{"entities":{"Q866501":{"pageid":868349,"ns":120,"title":"Item:Q866501","lastrevid":64945884,"modified":"2026-04-11T23:17:09Z","type":"item","id":"Q866501","labels":{"en":{"language":"en","value":"Andersonian deontic logic, propositional quantification, and Mally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5129050"}},"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":"Q866501$84C8EF6B-F54B-40BB-935F-56017F6FABD7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3a1ebf96017c9ef7e81b93e6449937f90571de1","datavalue":{"value":{"text":"Andersonian deontic logic, propositional quantification, and Mally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q866501$A692F195-CDD4-4334-9B48-C9ADF9565B74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65d259cc24eccf0902ec15fe48999b00325c467a","datavalue":{"value":"1120.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866501$DA736BBB-311E-4147-B5DF-750871BB7BF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89a606e3ffaaabf9e5a293e201b52f211b9e316f","datavalue":{"value":{"entity-type":"item","numeric-id":190362,"id":"Q190362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866501$BB8D9DD0-3399-4EAA-95B5-2DB1F80F3743","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866501$75DC6B0B-46AE-4619-B23E-DB1A25CF423C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q866501$763731B9-9237-4C56-AA89-0AC2CE50A0F9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f24f85347c2029a448b94ce8e7342c422cbe7fed","datavalue":{"value":"http://resolver.tudelft.nl/uuid:7b47547e-9468-492c-928a-5354c18add70","type":"string"},"datatype":"url"},"type":"statement","id":"Q866501$3EB435A1-E53D-402C-BA96-0FD9EC16FC56","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c5a927e47fddcb47e519ed3e3e6ff86819642a3","datavalue":{"value":"An Andersonian system of deontic logic is one in which the deontic operator \\(O\\) (for obligation) is defined by putting \\(Oa\\) as an abbreviation of \\(e\\to a\\), where \\(e\\) is a fixed propositional constant and the arrow is a suitable implication connective. Originally, Anderson took the arrow to be strict implication in a modal logic, but later he suggested taking it as implication in a relevance logic.  The paper under review gives some new results on the latter construction. In particular, it simplifies Goble's axiomatization of the purely deontic part of the system, relates this part to the very early deontic system of Ernst Mally, and provides a definition of the constant \\(e\\) in an enriched language using quantification over propositions. Finally, it discusses the extent to which its results carry over when the arrow is taken to be strict relevant implication in a suitable modalized relevance logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q866501$30F005EE-E4F1-4A2D-A701-6D24564B2B30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866501$7E02DDD0-9038-488F-83E0-CB3CB96D95FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866501$2D871C69-0388-4116-B8A0-86F14BF33230","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4c4caaa08ab2ed5fa78dfd1886157ae6493bc85","datavalue":{"value":"5129050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866501$5A142388-EE3C-401F-BAD0-D6DE70AACCFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q866501$4FF3A2A6-E072-48CE-80F6-7D957A9ABD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q866501$FFFE6F26-0326-4FD4-81B4-8AA334C2C59B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e221a0164f502dd7b3593304ff005c15e95c5976","datavalue":{"value":{"entity-type":"item","numeric-id":185572,"id":"Q185572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q866501$76E5EA2A-E01B-48BC-A1DB-448603D75DB9","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":"Q866501$EF914C40-24A8-4B6A-B5D3-B65355CB8049","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f528200cf8e0d4a7a40fde20109a25666eb4882f","datavalue":{"value":"W2019610785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866501$F4B43648-D38F-46B9-8CD2-A98A1C8A2BFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08336f4f579b7720c9e4f85f8a502240158cf2ec","datavalue":{"value":"10.1305/NDJFL/1163775445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q866501$E1512768-A2D2-4C32-A2CC-8A331D0A6F6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4c6fdb926ecec6eb685bc1cb77fb06fedf0ce1a","datavalue":{"value":{"entity-type":"item","numeric-id":3167602,"id":"Q3167602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f377ae3f27fd5f65861ce0901839a0b1e4b92db","datavalue":{"value":{"amount":"+0.7959572076797485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866501$DC0E75AF-B3C1-449E-B2AB-B9258166724C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5be4b374daa28dfa0e77e667c006e4910d8b811","datavalue":{"value":{"entity-type":"item","numeric-id":4698672,"id":"Q4698672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2812c82647330b9db1fea5ddac83cc7bfded6c68","datavalue":{"value":{"amount":"+0.7884618639945984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866501$37EDA218-1753-43BA-B1B2-7FC42EDBC7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24dac0380ee52e92169004e299c130e77f0e3926","datavalue":{"value":{"entity-type":"item","numeric-id":1049751,"id":"Q1049751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"514505300b268a53250f653e2932f4f9a778143a","datavalue":{"value":{"amount":"+0.7865601778030396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866501$CB2B8D4C-DC0A-46AA-874B-33F01EA300D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470cdd1799aeb715a64f64de810fa665ccebbf64","datavalue":{"value":{"entity-type":"item","numeric-id":3529363,"id":"Q3529363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b6ca1d48f9eff5291cc6e8c7e798e2829e6314","datavalue":{"value":{"amount":"+0.7845873236656189","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866501$57624266-A750-4053-ABDC-2A51C82E1369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5991b6a6aa52f2ebfc2b53ce63f18d2cb676d2f","datavalue":{"value":{"entity-type":"item","numeric-id":484909,"id":"Q484909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9701fb995444598e5efdc848e0ef5d0b7afc5b86","datavalue":{"value":{"amount":"+0.7754684090614319","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q866501$82AA98BF-1637-4270-B055-C0149BADDD4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Andersonian deontic logic, propositional quantification, and Mally","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Andersonian_deontic_logic,_propositional_quantification,_and_Mally"}}}}}