{"entities":{"Q1366766":{"pageid":1377506,"ns":120,"title":"Item:Q1366766","lastrevid":67257078,"modified":"2026-04-12T16:25:13Z","type":"item","id":"Q1366766","labels":{"en":{"language":"en","value":"Strong Boethius' thesis and consequential implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1061905"}},"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":"Q1366766$D0D1A70A-A1C4-4300-9E16-C2DC17BC14A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7e25e00d7ceb6611f8d368fc8c37d38a2a72978","datavalue":{"value":{"text":"Strong Boethius' thesis and consequential implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1366766$5C53DDFC-CFAB-4A95-961E-DE3C23E5ADE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f0dd211e3ccb6587774569e56231d658b3e7004","datavalue":{"value":"0882.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366766$8F2DA759-D99A-4DE3-A927-7D130CDED0FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"447e341043637021a399e798be6913fc559d5746","datavalue":{"value":"10.1023/A:1004230028063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366766$342C44F1-FF8A-4B48-9EFC-DA54DC3CB480","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a210cca4b8c5b98a2c874a880d1665a0d297772a","datavalue":{"value":{"entity-type":"item","numeric-id":190261,"id":"Q190261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$31CDF31D-B6D1-46B2-9997-B992BDFFAB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dc4db0bc75be6e11f1bfd9cfb84eda0e22174eb","datavalue":{"value":{"entity-type":"item","numeric-id":1653646,"id":"Q1653646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$D5E15926-A595-4B5F-BEBB-14E2CB697B16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$3EB2E9BE-587D-4873-9333-30615CF9A804","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f90b4e4f8d3c91bc0cb00b95b47a240b3f524981","datavalue":{"value":{"time":"+1998-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1366766$6FF8D53A-205F-4026-A4D7-4AD1F78E1295","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb2b9f79a993c162d52d9b876f2eb90a15bb0f7f","datavalue":{"value":"Consequential implication, \\(p\\to q\\), is a form of implication that satisfies so-called Aristotle's Thesis, \\(\\neg(p\\to\\neg p)\\), and Weak Boethius's Thesis, \\((p\\to q)\\supset\\neg(p\\to\\neg q)\\). It can be formalized in its own right, or it can be defined in (weak) normal modal logics as \\(L(p\\supset q)\\and(Lp\\equiv Lq)\\and(Mp\\equiv Mq)\\); i.e., that \\(p\\) strictly implies \\(q\\) and they have the same modal status. (Alternatively, \\(Lp\\) can be defined in a logic of consequential implication as \\(\\top\\to p\\).) This paper investigates relations between systems of consequential implication and normal modal logics, and shows that there is a one-one correspondence between them. Most notably, the weakest system containing Weak Boethius corresponds to the system KD. Strong Boethius is the thesis \\((p\\to q)\\to\\neg(p\\to\\neg q)\\). In normal systems, in the presence of Weak Boethius, it generates a modal collapse; \\(p\\to q\\) becomes equivalent to \\(p\\equiv q\\). Nevertheless, Strong Boethius can be maintained non-trivially. The weakest system containing it corresponds to the normal modal logic \\(\\text{Kdf}\\) \\((=\\text{K}+ LM\\top+ LMp\\supset LLp)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366766$F44E3360-4A3B-4CC0-B6D3-99D59CF95B41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366766$325DEC1F-86FA-490B-9001-571D8B248E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366766$B29AB2AE-BDA9-40E8-A4A1-8100BF3C5A3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16cf42e317bca1fde1981de015df9acc162eae15","datavalue":{"value":"1061905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1366766$EA59B9B2-01B0-4A00-8A98-08CF5351877E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c833ee20e3f25cb5071e04453c316c7a780af6e0","datavalue":{"value":"connexive implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366766$52F2DB79-1D2F-4AF2-ABB1-06BD7F98F47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f883275accbfce1aa4fce7160df49b84a370781e","datavalue":{"value":"consequential implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366766$DABC62C0-0335-4949-A72F-D421E818EAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b48927d7c483573a1b821bf5488247970bad799c","datavalue":{"value":"Aristotle's Thesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366766$406E4CF2-8723-4E26-BEF6-80906A1CBDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c227e0ad9bdc52bcab485cbb4b15fe2d7df37f16","datavalue":{"value":"Weak Boethius","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366766$C3904A67-59B9-47A6-BCD5-CDD9316C4756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbf02195d7c3ea39d1ca241139afc48251cb25cb","datavalue":{"value":"normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366766$71FCB8C0-5D19-4B37-A847-4555118121C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc9baff846fe6214c6eb39b6e9e4ef35b1084dca","datavalue":{"value":"Strong Boethius","type":"string"},"datatype":"string"},"type":"statement","id":"Q1366766$7F8BF56F-DF48-48F6-B2CF-C1D85521029B","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":"Q1366766$4ECBFA9F-49D3-4BFF-A3CB-10BE1BE3173F","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":"Q1366766$4EFF826C-D75F-45A8-84FB-DDFCED04518C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$14C082C2-72EA-4C1A-A2E0-E4E5365314DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c41f7fc62160a4bb7ab64d6e9e384111c6c36bf","datavalue":{"value":{"entity-type":"item","numeric-id":3281052,"id":"Q3281052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$D498E24A-8638-43B7-98C7-FC7138DFCE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3133b3ad0812c3edbfe914a121a1c2c730b87ce4","datavalue":{"value":{"entity-type":"item","numeric-id":1242900,"id":"Q1242900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$21C8F984-ECD8-43C0-9277-E90303817FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba9efd1bacc8c1e6228cfa229cf796f530199136","datavalue":{"value":{"entity-type":"item","numeric-id":1182703,"id":"Q1182703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$F4BAA6D8-8BF7-4D28-9673-AEF09BDE79FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2205be8380cbd84271a99c19b73df19b0a764e4","datavalue":{"value":{"entity-type":"item","numeric-id":1317981,"id":"Q1317981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$F4A575A9-8FE1-45E6-91C5-34FAFEFDC15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0057dc778fb37f211a413b0182b31d074d03a6b8","datavalue":{"value":{"entity-type":"item","numeric-id":4896533,"id":"Q4896533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$82F39A4C-FC8F-415A-8A6A-7EF0EEF0B5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$428548B5-5C88-4E01-9EF9-032196E47260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"721a47d7f65cabb79be206f0cf7664f3c87a4648","datavalue":{"value":{"entity-type":"item","numeric-id":3665077,"id":"Q3665077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$99CE54FC-B07B-45EA-8D7B-6FED43D2F7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aaf4f4076f91fea9bc9aa513bf47a01a877de7e","datavalue":{"value":{"entity-type":"item","numeric-id":920076,"id":"Q920076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$AE7A03FD-9D43-48CF-98A2-1B8362EF6569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d070aa766f6d7e922513295256b5be75e6cbec2","datavalue":{"value":{"entity-type":"item","numeric-id":2560224,"id":"Q2560224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1366766$BCB4C1A0-597F-4F4D-9794-72054A6B9CC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9fb2b77d3cbb953cb68d325007796c3af71b865","datavalue":{"value":{"entity-type":"item","numeric-id":4896533,"id":"Q4896533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b35f49d787066ebb94c991e2f092d6340ec7ec","datavalue":{"value":{"amount":"+0.8880512118339539","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":"Q1366766$67A65FD3-86F9-4F35-865F-935CDA7D8A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885ebf5a44791a4883bf60f889c5eb50093b1332","datavalue":{"value":{"entity-type":"item","numeric-id":4835615,"id":"Q4835615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00244eecb700429793907e12d3c94e9ef129da61","datavalue":{"value":{"amount":"+0.8413075804710388","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":"Q1366766$9C127128-904B-4B21-AD88-4DD367882CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5606ba13ac51ffc9183972257cabf3a0ff82ce37","datavalue":{"value":{"entity-type":"item","numeric-id":4699349,"id":"Q4699349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865174f1d716e1e7ff1218811e26b9d4e2f632aa","datavalue":{"value":{"amount":"+0.8411380052566528","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":"Q1366766$E4650648-3479-4DA3-96D8-7DAD88E3A1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940ff7c62ca292ab53413245380193be550cfa57","datavalue":{"value":{"entity-type":"item","numeric-id":1653647,"id":"Q1653647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1663d40c5a04b25e8ffea1d5861f32afaef080","datavalue":{"value":{"amount":"+0.7954415678977966","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":"Q1366766$AA0761C7-74FF-4B3E-9C12-B4C0A4C0FBE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong Boethius' thesis and consequential implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_Boethius%27_thesis_and_consequential_implication"}}}}}