{"entities":{"Q1005939":{"pageid":1007787,"ns":120,"title":"Item:Q1005939","lastrevid":66565968,"modified":"2026-04-12T10:59:01Z","type":"item","id":"Q1005939","labels":{"en":{"language":"en","value":"Dynamic deontic logic and its paradoxes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529388"}},"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":"Q1005939$B04E0215-E9E7-40CF-8257-EB86E1220599","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"421b3994938e0ded8f202cc277373cbd1038b3be","datavalue":{"value":{"text":"Dynamic deontic logic and its paradoxes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005939$91FFDDA9-BAB5-4E27-BA97-A14851F3A4C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb3cd1d42c1f842e3657ce8ad4e47e340629def3","datavalue":{"value":"1169.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005939$918A2BFD-B2D5-404D-A717-12046830E1D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c94c7ae6816d48d1caf3b5bda88f17df2358d68","datavalue":{"value":{"entity-type":"item","numeric-id":497421,"id":"Q497421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005939$DAE836FF-F719-4D10-8638-02BDD039047E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005939$5911DC1F-9991-4FEE-95D2-C4BFDDAB57F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005939$BBBCE9A3-C3B0-4CA8-93CA-489B806B85B7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b5a8a66c4434d72ac7b627e73024e821be9acd02","datavalue":{"value":"\\textit{J.-J. Ch. Meyer} [Notre Dame J. Formal Logic 29, No.~1, 109--136 (1988; Zbl 0695.03009)] showed that the best parts of standard deontic logic could be recovered from propositional dynamic logic supplemented with a constant \\(V\\) to represent a `violation' state and \\(O\\alpha\\) defined as \\([\\alpha]V\\). With initial optimism it was thought the resulting logic would be free of familiar deontic paradoxes. This brief, but elegant, paper shows that not to be so; serious paradox remains for Meyer's logic. For one thing, the logic, with its underlying algebra of actions, contains the thesis \\(F\\alpha\\to[\\alpha]F\\beta\\), that if an action is forbidden, then every execution of that action results in a state in which every action is forbidden. This leads in turn to \\(F\\alpha\\to [\\alpha]O(\\beta\\,\\&\\,\\overline\\beta)\\). That, coupled with the standard deontic postulate \\(O\\alpha\\to P\\alpha\\), or \\({\\sim} O(\\alpha\\, \\&\\,\\overline\\alpha)\\), which could be added to the logic, yields \\(F\\alpha\\to [\\alpha]^\\perp\\), that only impossible actions are forbidden, or that no possible action is ever forbidden! These results are particularly hard to explain away given the requisite interpretation of the underlying dynamic logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005939$C50FC095-7B0F-4401-BF9C-BBDA01BFE441","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005939$2C2A859E-E283-4788-805F-5BD7193F3E53","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005939$46618A16-2958-4247-A264-E9D230BE364B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005939$778EC82C-83BC-4556-A33E-BEFED055C15D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb5dd1bfbcdd5b5a218a4b5c90072dd017e0a29c","datavalue":{"value":"5529388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005939$8501D8B4-A216-433F-A9C1-B240747095B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccfb3d8e11672392331bf6609458dce259bba836","datavalue":{"value":"dynamic deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005939$2EEDE358-11E7-41B4-8D4B-818E0B0E9753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e74baeea5a2042a2da11d84ce63303ae2365927","datavalue":{"value":"deontic paradoxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005939$47A72CF4-1DAB-4C00-956F-07EBEDE9BF1F","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":"Q1005939$FA0541F3-F3B1-4A77-ABA5-42894A050CA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96202bf90fe9b1bb05fa5e18291d25f23f711470","datavalue":{"value":"https://doi.org/10.1007/s11225-008-9135-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005939$40178372-376B-4D42-9F7D-59149B6824C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e91bc3fc590169aedac5b040630118068b7e5f0","datavalue":{"value":"W2087613263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005939$4536F4F6-00AF-412E-9BB8-99293499C05E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbcc765f9f07c024e67ad9893db7a89641bee96","datavalue":{"value":{"entity-type":"item","numeric-id":5465435,"id":"Q5465435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005939$EE76C2FE-1682-48FD-9357-034EDDA9FBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"762373560241d51ab0e810bced62ea9e737106e3","datavalue":{"value":{"entity-type":"item","numeric-id":4885627,"id":"Q4885627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005939$59EFCACF-E114-486E-A67F-F7B42B51F05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e362df0b4114d3ec09c21e53c2af6171d233d1b","datavalue":{"value":{"entity-type":"item","numeric-id":3783262,"id":"Q3783262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005939$93871375-18BB-4F09-A684-45E8DD6A2A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc04b441aa9601b246021f0a8e69e8277ce6359","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005939$A964AACE-F505-48DA-AC7A-B5A53A7B554C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a873271033ee39fbda06611040ff1f301f21452","datavalue":{"value":"10.1007/S11225-008-9135-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005939$49284702-0938-4A3E-A99D-8CB912E28424","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f1b3d2be8b0e95147b6b7b1aad5594fb329cdc4","datavalue":{"value":{"entity-type":"item","numeric-id":909653,"id":"Q909653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5c213f00ab82d724d5e4637ff6640c70109581","datavalue":{"value":{"amount":"+0.84757745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005939$E7456190-6D2F-4E57-A027-E36C7B6C660F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be922454da5c97b1d08d916f46fd087d4d9eb620","datavalue":{"value":{"entity-type":"item","numeric-id":3028978,"id":"Q3028978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8dea08f4c90fa339c89fa3f14a4bf70dfecd8d8","datavalue":{"value":{"amount":"+0.8187511","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005939$01FB899E-D218-471A-9E32-CA949CE6D6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229f4effbb5c2328e115d28d01ab44b0b81bb3a7","datavalue":{"value":{"entity-type":"item","numeric-id":935022,"id":"Q935022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474bc1071b8eed91f8e8af78a7244b37171a3f4c","datavalue":{"value":{"amount":"+0.81195897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005939$C1E32ADE-F142-4315-9999-6EAB83098E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22b73a8bb3a6ce445af461172d0fbc433622b38","datavalue":{"value":{"entity-type":"item","numeric-id":5224801,"id":"Q5224801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e3ae608df5c6dde5fc9d1811b64210b99fa735","datavalue":{"value":{"amount":"+0.8112215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005939$FF099C58-1F22-4490-8A4D-AC71DE442775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9bacac19885a1d18f87827556eb5c4024138a00","datavalue":{"value":{"entity-type":"item","numeric-id":3081995,"id":"Q3081995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7fd1dbf542dabb0009cf280a73de6c4b69f3da","datavalue":{"value":{"amount":"+0.8055902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005939$CD249072-9C3F-46EF-B58D-6E897C3D7A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9866e5f81b77302390285f13e7db3060fb638bd2","datavalue":{"value":{"entity-type":"item","numeric-id":375303,"id":"Q375303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b31f0236aedc99620631cba4a33a4bbf1638c14a","datavalue":{"value":{"amount":"+0.8029965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005939$1E06FA54-CB00-4862-8D39-0BC2249E0B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64da23291cb008768877e0345632e32e1f3d584f","datavalue":{"value":{"entity-type":"item","numeric-id":598547,"id":"Q598547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1b058c13debaad8e8cb560d59c89cefa4981fdb","datavalue":{"value":{"amount":"+0.80010796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005939$B747E135-507D-475E-A43F-24E783A711BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8243daaf224305affe4fd079a3cabfb22bddc874","datavalue":{"value":{"entity-type":"item","numeric-id":5222680,"id":"Q5222680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3dff982cbf00170b8d80e3917ac4c7307c4f97","datavalue":{"value":{"amount":"+0.7974685","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005939$710B01C1-6588-401D-A5EA-AD5FD2211DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75d91fd504f0acd54c82fa310c94e6a173603ee8","datavalue":{"value":{"entity-type":"item","numeric-id":4982654,"id":"Q4982654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c4e4eae116e439d251f4fbb4e20015f0b60a450","datavalue":{"value":{"amount":"+0.7928231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005939$21B5D5F6-E8A1-4C8A-AD3A-5EAA40784EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a89da14475f953f73ee71eef3298aaad3dca8ea0","datavalue":{"value":{"entity-type":"item","numeric-id":4885627,"id":"Q4885627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb44b4c84b404c30b62c0702d064d3df96c3cc1","datavalue":{"value":{"amount":"+0.79226774","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1005939$2CAB4CE7-8000-41E3-B1C7-10B73046172E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic deontic logic and its paradoxes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_deontic_logic_and_its_paradoxes"}}}}}