{"entities":{"Q1079561":{"pageid":1090313,"ns":120,"title":"Item:Q1079561","lastrevid":66260505,"modified":"2026-04-12T08:36:22Z","type":"item","id":"Q1079561","labels":{"en":{"language":"en","value":"Aristotle's thesis in consistent and inconsistent logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963802"}},"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":"Q1079561$D56C7B0A-ADFD-4312-A214-E1D19DA15C8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56fab0d1996aa8f66a3d3a4a17ec6af8b8d7a460","datavalue":{"value":{"text":"Aristotle's thesis in consistent and inconsistent logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1079561$1E1AF247-3C7E-4022-97D9-A4A7934A891D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f8e6e050ce310ad0eac9ae9a23420b091a5df46","datavalue":{"value":"0598.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079561$EF9050C8-87D5-40D2-8ACE-461E44258995","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b50a9e6dc0e036b0007c77e8246d836572caf13","datavalue":{"value":"10.1007/BF00935744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079561$D5CD956A-737C-43DD-958F-D8DDA4BF69FE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e392e30d114c0989c34c8a2c8926aafc630b08f","datavalue":{"value":{"entity-type":"item","numeric-id":585188,"id":"Q585188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079561$B59EE80D-D3C8-4D7C-8257-B52A0CC42E28","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":"Q1079561$2A9097A0-2486-41CC-AF1E-258C71F8A6F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1079561$6E00AB10-9804-4ECE-925D-7B26F6930383","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3f51725ee3a6441406dabaa38a39d848443ebcd7","datavalue":{"value":"A typical theorem of connexive logics is Aristotle's thesis \\({\\mathcal A}:\\) \\(\\sim (A\\to \\sim A)\\). \\({\\mathcal A}\\) cannot be added to classical logic without producing a trivial post-inconsistent logic. This paper gives sufficient conditions for a logic containing \\({\\mathcal A}\\) to be inconsistent and then shows that there is a class of inconsistent nontrivial logics all containing \\({\\mathcal A}\\); a semantical modelling for \\({\\mathcal A}\\) in such logics is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079561$22EC5101-99AD-460D-8C7A-B1CB2FBD3574","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079561$9B55FC10-6840-4BC5-B188-A563BD13CE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079561$4BE8B97E-8721-4F9A-8300-831CC175E46C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebb7e11b32c0059ffe61be1fd1c078389bc12f7b","datavalue":{"value":"3963802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079561$8262A3CD-232A-498C-9FE6-CB477FAE0299","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03ce38650b5f5b9d7e4918f047ba842000fcbb8a","datavalue":{"value":"connexive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1079561$36678B70-5B00-430B-9C6F-46EB15D9F764","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":"Q1079561$3AF5F891-B18C-4ADE-A2F6-17468DE95E3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7a032271e3fb319dd940bf1010af3fe80451330","datavalue":{"value":{"entity-type":"item","numeric-id":5731766,"id":"Q5731766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079561$B4559745-46B8-4418-878B-6A99AC305AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18bd0c5b86b80994533fe181244fe3712b0f17c5","datavalue":{"value":{"entity-type":"item","numeric-id":5545509,"id":"Q5545509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079561$2A565975-3EC3-4384-B3EA-A1F5B9FF1988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e5448c3ca2324b816326d6e04dcf40c49e3174","datavalue":{"value":{"entity-type":"item","numeric-id":4156764,"id":"Q4156764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079561$8F378BE3-E811-4CF8-84E6-B1B104D852B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cdffc481bcbf0e406fcbcc24660cba585a173ae","datavalue":{"value":{"entity-type":"item","numeric-id":1257011,"id":"Q1257011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079561$3361C92C-1215-4B8B-AAB1-31701C7EFE52","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":"Q1079561$AF9EAFBD-0AB5-49B1-A141-41CE0DF40790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233b5e6c63e2873e8201228976aba38a8217636e","datavalue":{"value":{"entity-type":"item","numeric-id":5551414,"id":"Q5551414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1079561$66ADFE6E-BDCB-452B-88A2-71CEE4E9EE27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4560c1794bb782fad8b21f5966e4530d39566ab","datavalue":{"value":"https://doi.org/10.1007/bf00935744","type":"string"},"datatype":"url"},"type":"statement","id":"Q1079561$8DA99E1B-CAD2-4696-904D-4CC61C465AF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"136e9935062a7cc2630e1df8d2ad90d0ee100af4","datavalue":{"value":"W2093231916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1079561$21B1958A-1C5C-4237-89C7-97C90C8CBFEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4decfe1836b574b829278695feb42fb177a672","datavalue":{"value":{"entity-type":"item","numeric-id":1263574,"id":"Q1263574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7409e6678d44b816f895166dde0a92199c439fa3","datavalue":{"value":{"amount":"+0.8510888814926147","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":"Q1079561$782C98BD-F4E6-45A8-AE4D-AAB6BB0139C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7236331412ffeb8693a19fe0f45cce32f24c39d","datavalue":{"value":{"entity-type":"item","numeric-id":1775867,"id":"Q1775867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83fc182cd24f5f818a88898c56c08ab57df546b3","datavalue":{"value":{"amount":"+0.8152875304222107","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":"Q1079561$FF6F3AB2-9CF1-48FE-96AC-5D91D3408678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"612d42b24e2845dd7ecbe6942776159f423faef5","datavalue":{"value":{"entity-type":"item","numeric-id":5039109,"id":"Q5039109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f3a96559bec63d9aef057f06ddf0b21493c58b7","datavalue":{"value":{"amount":"+0.8004303574562073","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":"Q1079561$060EEB2C-24D7-4972-BD4A-E011F212B907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66c39a1eb44aed9f5a3410e49a1d3896a6be836c","datavalue":{"value":{"entity-type":"item","numeric-id":5483018,"id":"Q5483018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f16ebf8918e4c5d578a40f4b7f077894bb467e","datavalue":{"value":{"amount":"+0.79524165391922","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":"Q1079561$AE4B9209-4211-4ED8-8A30-8145C964DEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4c60c11793131459eecc0171d2e37b1ddd93c1","datavalue":{"value":{"entity-type":"item","numeric-id":4942674,"id":"Q4942674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1349c2dd46d3d55dc294aa4071c74cf8bde35bbe","datavalue":{"value":{"amount":"+0.7706595659255981","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":"Q1079561$DE2318FB-032D-4B4E-97C7-53A3933E0287","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Aristotle's thesis in consistent and inconsistent logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Aristotle%27s_thesis_in_consistent_and_inconsistent_logics"}}}}}