{"entities":{"Q2534157":{"pageid":2544900,"ns":120,"title":"Item:Q2534157","lastrevid":48647488,"modified":"2026-01-05T12:00:50Z","type":"item","id":"Q2534157","labels":{"en":{"language":"en","value":"Intuitionistic negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3282579"}},"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":"Q2534157$BC007759-D44A-4885-B4FB-631CEE74F699","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a5eacad7957738631777a2cf7f1c0b9742dc5f2","datavalue":{"value":{"text":"Intuitionistic negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2534157$3EDFF0A1-7A5C-4E8A-B0F4-994AA61E6DBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94b1866800da688e01c9cfe5ec2e70a0adebd62a","datavalue":{"value":"0177.00801","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534157$B07B122D-EDCA-4E15-AD56-21412A6713E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d7b313d71e4d4e76933b8638253d11c2f536d83","datavalue":{"value":{"entity-type":"item","numeric-id":2531267,"id":"Q2531267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2534157$76741CE0-5C0D-42C8-B5FD-66907E54E4EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2534157$E81906E7-3DAE-4C1B-914B-B444A7A67F36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q2534157$D2C7C172-686F-48AE-9380-F707658544E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e99129aef6231593bacd55d27a8bcc5d3bb2c5be","datavalue":{"value":"\\textit{A. Heyting} [Intuitionism. An introduction. Amsterdam: North-Holland (1956; Zbl 0070.00801)], uses two distinct types of negation. Suppose \\(p\\) is a proposition and \\(F\\) is any contradiction. First, the negation of \\(p\\) has been proved, \\(\\vdash\\,\\sim p\\), if it has been shown that the supposition of \\(p\\) leads to a contradiction, \\(\\vdash\\,p\\to F\\). Heyting calls this ``de jure'' falsity. Secondly, \\(\\vdash\\,\\sim p\\) if it is certain that \\(p\\) can never be proved. I have called this ``in absentia'' falsity. In this paper I argue that ``de jure'' falsity and ``in absentia'' falsity are incompatible in intuitionistic mathematics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2534157$9551C27E-E6AC-4FE0-97DA-6427ABBADA6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534157$8FBC37CA-F617-46A1-8EB8-9E60B7E68CE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ff3c893bcda090f8c2c46d1f62b06b5d58656dc","datavalue":{"value":"3282579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534157$7E688BCA-095F-4F29-8CC8-1C2DCD6521C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92e1d9823d09a894aa2bed57767ff970ec74a909","datavalue":{"value":"de jure falsity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2534157$ED2F383A-2865-4C9F-AD66-BC481F6B50E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558929400184d80d16495fdbc13d44a9303e0a36","datavalue":{"value":"in absentia falsity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2534157$7912BD56-788B-4C09-B33E-D21B32B20674","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":"Q2534157$76429D37-25DD-4C64-98B1-059ADC88264E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb6e82652dedf8642a284636426331d48432582d","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093894217","type":"string"},"datatype":"url"},"type":"statement","id":"Q2534157$CAFA794B-7544-487F-8A72-2A059E0CC481","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7cece0b5a50c138553dd0f18038668b771c28585","datavalue":{"value":"W4234226730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534157$B9FC5CC0-751A-4CDE-9EA6-5EF4BB543293","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7242ead2bf4a21f58d63efc1bd6be811de06f73f","datavalue":{"value":"10.1305/NDJFL/1093894217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2534157$1E581127-116F-44B0-B384-6C2C9497387E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b7e8ce83f4b66673fcbecff91e41fbfe2985f50","datavalue":{"value":{"entity-type":"item","numeric-id":3984061,"id":"Q3984061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65cabea3e28ffdee0fee51a68a075797efba8cb1","datavalue":{"value":{"amount":"+0.7994208931922913","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":"Q2534157$3C6090DB-AA81-4D3A-8259-73ED1A06C3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a455511d49677dc782565dda4a9adda3fff2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2715525,"id":"Q2715525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d78c1baa0dbcda0dc1c61606e781b6e98bc4166","datavalue":{"value":{"amount":"+0.7947949171066284","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":"Q2534157$4EBD3A53-EC5C-47EE-8CA0-62393D0FFCDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0307dafef4ca83ee2cf9b9364602bbb273780ae6","datavalue":{"value":{"entity-type":"item","numeric-id":3795646,"id":"Q3795646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e11e8a57cee07fb2d4e941ee5858069ba2fe718","datavalue":{"value":{"amount":"+0.7947946190834045","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":"Q2534157$F6224DE3-D911-4688-B62D-C7086169AA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b3b4967d98d6e41f2123b37d13b994115d219cd","datavalue":{"value":{"entity-type":"item","numeric-id":4229797,"id":"Q4229797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93978cb83c42d124d8c39428d79ff67bb6a53b25","datavalue":{"value":{"amount":"+0.7767202854156494","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":"Q2534157$18E57FFA-6F7E-48D5-9642-FB8D7D3A326F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b51fc2d844068e034eaf018070a296fd5daa4401","datavalue":{"value":{"entity-type":"item","numeric-id":5687862,"id":"Q5687862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b472c68a9147e6231ffd36591c06a549dc5110","datavalue":{"value":{"amount":"+0.7761808037757874","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":"Q2534157$91E0C878-40EB-4373-9A76-F428BA39C2FD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2534157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2534157"}}}}}