{"entities":{"Q809995":{"pageid":811843,"ns":120,"title":"Item:Q809995","lastrevid":49533880,"modified":"2026-01-07T13:26:07Z","type":"item","id":"Q809995","labels":{"en":{"language":"en","value":"Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \\(C_{\\omega}\\) and \\(CC_{\\omega}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4212011"}},"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":"Q809995$CCCF86EC-68A5-4674-AC8E-753B624A4120","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1050ba869cce3583a626e5dcd20cd4a0a46beb9d","datavalue":{"value":{"text":"Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \\(C_{\\omega}\\) and \\(CC_{\\omega}\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q809995$ABAC03B8-DF05-4EAC-9C20-5A19C8F0E349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbbe7326eadf70ec76ca0254558b2e2217939f0c","datavalue":{"value":"0733.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809995$D7953F43-D676-4097-BF56-AC335573C236","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21653e5ec321c001a539886d5c3ae1a0c68dba83","datavalue":{"value":"10.1007/BF00401553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809995$E3841684-358E-4C50-A441-2175B884022A","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":"Q809995$16F94618-C630-45D5-B0A8-A0DA84BE4F32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q809995$5143D83B-C5BE-4E73-A5B5-ED403B1B7920","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4a0c10308d2a93bb0f37eef175f2ae1968e4b4f8","datavalue":{"value":"Da Costa's hierarchy of paraconsistent systems \\(C_ n\\), \\(1\\leq n\\leq \\omega\\), is presented and some of its main characteristics are discussed. The author argues that, in spite of their importance and strength, for some purposes the C systems have serious philosophical and technical drawbacks (like, for instance, their failing to guarantee intersubstitutivity of equivalents - SE).    The aim of this paper is to introduce some variations of da Costa's systems, in an attempt to surmount those limitations considered. The systems \\(CC_ n\\), \\(1\\leq n\\leq \\omega\\), are introduced; and as a natural consequence of their definition, it is proved that all the \\(CC_ n\\), \\(1\\leq n<\\omega\\), collapse to classical logic, what is avoided in \\(CC_{\\omega}\\). The main system \\(CC_{\\omega}\\), which in fact fails to meet one of da Costa's paraconsistent requirements of adequacy (non- contradiction \\(\\neg (A\\&\\neg A)\\) is a theorem of \\(CC_{\\omega})\\), is then investigated in some detail, ``dual-intuitionistic'' semantical analyses being developed for it and several surrounding systems. These semantics are then adapted, in two different ways, to the original C systems, in the second way through the introduction of impossible situations where \\textit{and} and \\textit{or} change their roles. Finally, the author presents other attempts to break out of impasses for the original and expanded C systems and proves that there is no extension of a \\(C_ n\\) system, \\(1\\leq n<\\omega\\), conforming to SE, weaker than classical logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q809995$60880BF9-E2D2-4AA2-8C52-B3AF884571EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809995$27ADF631-158B-48CA-BDA3-016683BD873D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93bd72d8ae9405124d0bf77c219ff54ef6abe46d","datavalue":{"value":"4212011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q809995$BB018867-2E1D-4161-8519-78A85074F740","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f10bcbd1cf85e947d4c77598b1b5a7eedf6bc3c","datavalue":{"value":"da Costa C systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q809995$E557FAD9-A996-440F-B5AD-32384E0CD472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf50e81767295ee9013bf102588a950860da455a","datavalue":{"value":"paraconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q809995$636CF1A9-1AC7-408D-B3E2-E9616179F893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05532252bc3036fe2b7817b303cffc1e5142a9f8","datavalue":{"value":"paracompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q809995$5938734F-5660-4507-851B-19AD04D9F44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c030b315f59881aabfc3ec2aef0d1200414141f","datavalue":{"value":"non-contradiction","type":"string"},"datatype":"string"},"type":"statement","id":"Q809995$01B3A257-97B3-47FB-A5FB-F5A8E5B75127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21fe6b97cbec19e5bf9d947d44b311803886f7c5","datavalue":{"value":"intersubstitutivity of equivalents","type":"string"},"datatype":"string"},"type":"statement","id":"Q809995$899A442E-2E59-4212-A005-2179EAB5B593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1ddea0c73045246bbbdae651c85c6ef6e556da2","datavalue":{"value":"variations of da Costa's systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q809995$36786DAA-EC2F-49A3-8E9A-D1796A22FC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07494b98b2fceb96b2946fa9c4e62544202cf81","datavalue":{"value":"collapse","type":"string"},"datatype":"string"},"type":"statement","id":"Q809995$AD087E36-4E73-4D82-AD6A-DCE285D556D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q809995$5DBEA8F3-AFC5-4921-89D3-F2830F6A4AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"537aa69158b2defa1751a380a993360377077585","datavalue":{"value":"impossible situations","type":"string"},"datatype":"string"},"type":"statement","id":"Q809995$19DFFC16-401E-487E-B86E-8338DC9CF100","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85c02984f13d523beca110bdc30d80a54e30bf71","datavalue":{"value":{"entity-type":"item","numeric-id":987459,"id":"Q987459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$9876D751-237B-4889-9FEF-25D99C3004B1","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"83755d166aef300f07ff69a195f94374a7c2c7fe","datavalue":{"value":{"entity-type":"item","numeric-id":186038,"id":"Q186038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$664CFD01-A353-4A65-9EF0-C4B0204BDC0E","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":"Q809995$979E932F-719B-4195-A3E0-2A362102F25A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81a88c766dc84a89767412cacfc9661742381f53","datavalue":{"value":{"entity-type":"item","numeric-id":4120567,"id":"Q4120567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$28B971D7-DECA-4A53-ACC9-AF8FA301A685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32331d054e29631acb5d82079c0154719c221f20","datavalue":{"value":{"entity-type":"item","numeric-id":2523722,"id":"Q2523722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$828925D9-5485-41FB-9F3E-31137C6070C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$E19E4245-D075-40D0-8C1B-D9C25D3D2C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1d56696a1dca32fcd7f37864238e95839012d6","datavalue":{"value":{"entity-type":"item","numeric-id":3890668,"id":"Q3890668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$969BFFE3-0625-4E5F-B5C8-05FC84120518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5ef10c8fdd327d54fd8f6ca892717073d58647d","datavalue":{"value":{"entity-type":"item","numeric-id":1234675,"id":"Q1234675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$378ECC4F-094E-45B1-BA66-A5E2304598FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a743014b0165eb29a77845763cbb981c6672a1","datavalue":{"value":{"entity-type":"item","numeric-id":4722032,"id":"Q4722032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$197BC49C-2260-4534-A8D1-09E2630499F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$C03476D9-0CC9-4210-B92B-9ED45A4FDE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$C5711B4E-9005-4034-B520-C22A32B0415D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$1B0C515A-5B97-4960-B1B1-C2A0DC2A4DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16238b7b305e47995299b7fa143b7b717b5deffc","datavalue":{"value":{"entity-type":"item","numeric-id":4692665,"id":"Q4692665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$869CAC7D-869A-40DA-969F-5F2A4CBC1C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fae066ab52947e678be762a4f273865d1c4958d","datavalue":{"value":{"entity-type":"item","numeric-id":1237778,"id":"Q1237778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q809995$E0FDA51F-3A34-4BFC-BB6D-A9C37DF4FE9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fd1364ad12e3d028e90fa9031a99398eb2582b2","datavalue":{"value":{"entity-type":"item","numeric-id":1264139,"id":"Q1264139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b620f6c20b3737e3f94913694f40b505ca80ecf6","datavalue":{"value":{"amount":"+0.8778553605079651","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":"Q809995$4D9AD1AC-05B2-4F5E-81A1-CCE3C8AD4942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177374dfffcb5c500e6b1643c9d28cb62e37ff99","datavalue":{"value":{"entity-type":"item","numeric-id":301378,"id":"Q301378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7109e4be2cd9d97b1ffee775ee22454ac278db7e","datavalue":{"value":{"amount":"+0.8175280094146729","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":"Q809995$23809ABD-151A-4E0D-A12F-2EC4995190A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"222d972864bf5235a0f11116b09f6047dbab4ba6","datavalue":{"value":{"entity-type":"item","numeric-id":4287778,"id":"Q4287778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95d06f3aeff59fd74f7dcf1aa362f93e08aa11a6","datavalue":{"value":{"amount":"+0.7978295683860779","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":"Q809995$79CA8477-18C4-4FAF-A767-BC535F16BAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb56fb1bc3c17f46bbdb165d16025a828c03df48","datavalue":{"value":{"entity-type":"item","numeric-id":3348893,"id":"Q3348893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6779dc5c1779c152d2a0bf5e5efa5ca10f994cd1","datavalue":{"value":{"amount":"+0.797652542591095","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":"Q809995$98A52B39-DA2C-414A-99AE-96815B84913F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd128d210c7b357c3add39f3d381fa6184f5b032","datavalue":{"value":{"entity-type":"item","numeric-id":3472081,"id":"Q3472081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577d9cbae5c9d6de17d1ae233822c3605f2f3135","datavalue":{"value":{"amount":"+0.7967498302459717","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":"Q809995$E7C9C77A-EF0A-4EF6-8C26-984A0E52DE08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:809995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:809995"}}}}}