{"entities":{"Q631523":{"pageid":633371,"ns":120,"title":"Item:Q631523","lastrevid":63108351,"modified":"2026-04-11T10:38:01Z","type":"item","id":"Q631523","labels":{"en":{"language":"en","value":"First-order da Costa logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5865396"}},"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":"Q631523$8D590269-FCBB-49DF-9400-1A607D4BD374","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"149fc976d7329aa80b060e0303bc0732911281f7","datavalue":{"value":{"text":"First-order da Costa logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631523$78744E8F-24A7-4482-95E8-E3EB09A3EDF7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"faeb885cca42af1273d03a7744dda4da8f375975","datavalue":{"value":"1218.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631523$0030F778-0B00-4D54-A332-CECDAFADA5A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"091ee1214fd912ea59dcfc97044f853d8c5a2658","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631523$69247147-8625-4E23-A9C5-5BA5C9600C8B","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":"Q631523$F5DE7198-853D-4D77-B8A7-1C973FD0BE95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f05c15c599566c03aa1303bff626bf49bc05676","datavalue":{"value":{"time":"+2011-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631523$4CE876DD-F116-47E2-97E6-FD3A2FEFC1FF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a064e2b130be438be606032b43ccbeb7b1b3bc51","datavalue":{"value":"In an earlier paper, Priest altered the clause \\(v_w(\\lnot\\alpha) = 1\\) iff for all \\(w'\\) such that \\(wRw'\\), \\(v_{w'}(\\alpha) = 0\\), of the Kripke semantics for intuitionistic propositional logic, to \\(v_w(\\lnot\\alpha) = 1\\) iff for some \\(w'\\) such that \\(w'Rw\\), \\(v_{w'}(\\alpha) = 0\\). (Here \\(v_w\\) is an evaluation that, at a world \\(w\\), maps formulas into \\(\\{0,1\\}\\).) The result is the semantics of a paraconsistent propositional logic he calls da Costa logic, which is an extension of da Costa's logic \\(C_{\\omega}\\).  In this paper, the author extends this semantics to one for a first-order predicate logic, which he also presents as a tableau and a natural deduction system. He proves that the semantics is sound and complete. While the \\(\\to\\)-free fragment of propositional da Costa logic is the same as that of classical propositional logic, the paper produces the surprising result that not even the logical truths of the \\(\\forall\\)-\\(\\lor\\)-\\(\\land\\)-\\(\\lnot\\) or \\(\\exists\\)-\\(\\lor\\)-\\(\\land\\)-\\(\\lnot\\) fragments of predicate da Costa logic are identical to those of classical predicate logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q631523$920CD9B2-8D44-442B-AA80-EA51D78EDD11","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"376f136d3715d0668145bfef82b652dbeb24818d","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631523$6AF6AC3F-23F2-4192-A762-94A8C1439396","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631523$730F16DC-4951-4D36-8340-717AFE768F48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15f38e0d2fd3a92bfd8a5eb73ef853e6cfe8c5bd","datavalue":{"value":"5865396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631523$CD037204-8857-464C-ABA5-3F0BE9B4D277","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa0bb70fbb124f09c8ff34fbfa18767e7271a0b4","datavalue":{"value":"da Costa logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631523$9438836D-388D-4334-BA6F-38E248142A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"720c3de76408c0968fd3d796d839c3822d3c5e57","datavalue":{"value":"paraconsistent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631523$C3A09BE5-831E-4066-807B-64EA698C2C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q631523$B358B8C3-07CF-4814-A0BE-43870E9A8AC0","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":"Q631523$DDD733B1-69DF-4B46-B073-1E10BBF95A71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"181ad4909d1acaddd058f0a66a9ea863ae43b519","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9303-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q631523$2F87D6ED-0FCB-48D9-9BCA-A6497D1CED0E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"838ab78613284c9a45513a039a2bfd6f27c0d898","datavalue":{"value":"W2075998444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631523$48BE4C9D-856B-47F9-9919-8CD14094A623","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e3347753b0fc1a15905544eddbfdf2a1c01a4c","datavalue":{"value":{"entity-type":"item","numeric-id":1775870,"id":"Q1775870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631523$ED707481-30B0-4802-A180-CB211FDB8398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ebd3c1485bfb307534e31cfc4eea5466ee1888","datavalue":{"value":{"entity-type":"item","numeric-id":2552121,"id":"Q2552121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631523$108EC074-60AA-4CF0-879B-8D1A3D05F76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f1a66f163a52a95122573ca846cbcd3b5e707a","datavalue":{"value":{"entity-type":"item","numeric-id":3518425,"id":"Q3518425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631523$1820EDF6-83E1-4C59-B9AE-5BB708965A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4460bd75879dd9cb5c80fbd7b49d00914168c9a3","datavalue":{"value":{"entity-type":"item","numeric-id":1239313,"id":"Q1239313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631523$571273FD-69D9-4B6E-BE3F-375799632DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631523$88FAA9D3-6FA1-4CA3-85BA-10B5A5A3D5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40fc645ef6b13fa26298136aa38f0f9b6d1bbd7a","datavalue":{"value":{"entity-type":"item","numeric-id":1355125,"id":"Q1355125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631523$8468174A-5342-4E39-BF54-B3414CC5BDF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c8e48e3800a3a0a63570ca9e27c5334bced0104","datavalue":{"value":"10.1007/S11225-010-9303-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631523$0ADAF370-5A0B-495E-862B-FA5825F75CBB","rank":"normal"}],"P1643":[{"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":"23908a39e49f8e7e5d6edfa44b4e4197760c2abe","datavalue":{"value":{"amount":"+0.8429738879203796","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":"Q631523$CC963032-1E14-411F-8FC6-5262B1AB7EF4","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":"af3ef042026c2045296c17cc82e6fd271f6e942c","datavalue":{"value":{"amount":"+0.80827397108078","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":"Q631523$038826BA-81B8-498F-88C4-BAEF30696EF4","rank":"normal"},{"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":"22839ac211a7c7f145844bb98b9743acb474e4a2","datavalue":{"value":{"amount":"+0.8055946230888367","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":"Q631523$46CA73DE-9B4F-4E79-A01F-9696DDAFE825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3853c49711c78ff4e1a678af351e4e58378ac5e1","datavalue":{"value":{"entity-type":"item","numeric-id":3606211,"id":"Q3606211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8671a9ae062a76f5d85a1fda267d9de603efbaf1","datavalue":{"value":{"amount":"+0.8031203746795654","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":"Q631523$BB895C8F-C258-4A9B-BE6B-1288175112E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef6ed306055cc5e9a75f92c4ee083b6ee499583a","datavalue":{"value":{"entity-type":"item","numeric-id":4285924,"id":"Q4285924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a09ea875596fc89e763d5db9e9c000569eb5fc","datavalue":{"value":{"amount":"+0.7884559035301208","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":"Q631523$930559F5-896C-4402-B505-087363B1A1E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order da Costa logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/First-order_da_Costa_logic"}}}}}