{"entities":{"Q2715525":{"pageid":2726264,"ns":120,"title":"Item:Q2715525","lastrevid":82923452,"modified":"2026-05-06T22:25:34Z","type":"item","id":"Q2715525","labels":{"en":{"language":"en","value":"Negation as falsity: A reply to Tennant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1607956"}},"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":"Q2715525$6A547649-1F75-481E-8B21-23E2C9C87DF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9de5908392a6f7892de70304ee6b56ad0c060df","datavalue":{"value":"0981.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715525$0C47B216-796B-48CB-AACD-0B27686A1A7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"858bb220443cbe848419646c0bc40cd0c281b808","datavalue":{"value":{"entity-type":"item","numeric-id":496328,"id":"Q496328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715525$A2DFA631-4CFC-41EF-AB81-1AB45E197AF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eda994ce54674f95a066f6d30cc466b0f4ae3187","datavalue":{"value":{"time":"+2002-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2715525$9FC49610-AD15-4AB3-9154-52EDD01D8DC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715525$18995662-BFB0-4680-9A7A-1D7257A1312F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715525$391BED45-A4B7-4323-B4D4-A27635573627","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39c602ad0be29280c95a708fd021b7ce5830180f","datavalue":{"value":"1607956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715525$E2E0C4DD-4D6D-44A5-B8ED-832B0103F850","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715525$DDD32D0E-0EA8-45F8-A11B-7B75A2D82048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4556cb0c6cd89796b63154cb415ac17d26692847","datavalue":{"value":"negation as falsity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715525$233678FA-4F58-409E-AB73-C8899A6DFDDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d722c1558ffdc46226eb94fdc06d73b1f9c281c0","datavalue":{"value":"disproof","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715525$40C13CBA-0B35-4624-8330-E4C52F1ABDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9170346c6552c0e708bbcf2672a7eefe43771cc8","datavalue":{"value":"intuitionistic relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715525$20AE905F-07B8-4AC1-921A-606F0A86D077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08a522dc898884c9b02e58acb7bfcb7ad3306cfb","datavalue":{"value":"syntactical inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715525$5892FCD2-C6A8-4F1D-BF3E-772CB8DC0164","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":"Q2715525$1AFB31B0-A27B-4E25-8477-F9C4352C26F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e46ef1c056885a681e8c712025bd9a73158b7f2","datavalue":{"value":{"text":"Negation as falsity: A reply to Tennant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2715525$FA54CD73-11C7-470F-A7ED-0F0E3748B456","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f049539a3e7a56dde4ab247724d9592ae972b150","datavalue":{"value":"The author develops the notion of `negation as falsity', essentially based on the concept of disproof, against the background of N. Tennant's argument in favour of negation in intuitionistic relevant logic [see \\textit{N. Tennant}, ``Negation, absurdity and contrariety'', in: D. M. Gabbay (ed.) et al., What is negation? Kluwer Acad. Publ., Dordrecht, Appl. Log. Ser. 13, 199-222 (1999; Zbl 0981.03007), reviewed above, ``Natural deduction and sequent calculus for intuitionistic relevant logic'', J. Symb. Logic 52, 665-680 (1987; Zbl 0652.03010)]. It is shown that negation in intuitionistic relevant logic is a negation as syntactical inconsistency and that every such negation as inconsistency is a negation as falsity, while the converse is not true.NEWLINENEWLINEFor the entire collection see [Zbl 0957.00012].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715525$D2BE144E-7749-4E16-8C02-8A7BE1703BB2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715525$DD97A7FB-6F5B-479D-88C2-BD7AEAA34A9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae896f3d68fe7dd2bf89adc2d41e51d450ff5357","datavalue":{"value":{"entity-type":"item","numeric-id":2715524,"id":"Q2715524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b247010c6ffe2b88da05cf0fcc7e6a84bd30c2","datavalue":{"value":{"amount":"+0.8133941292762756","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":"Q2715525$69592AE9-1ADB-4104-A0E3-2C4FF067FFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642af5239d22e3add2058fe2b674d5f5f52809bd","datavalue":{"value":{"entity-type":"item","numeric-id":3647286,"id":"Q3647286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b247010c6ffe2b88da05cf0fcc7e6a84bd30c2","datavalue":{"value":{"amount":"+0.8133941292762756","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":"Q2715525$9E681501-2AD2-495D-9BE3-00798480BB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92421c9fa68dfa0e56c32b9ea0e00eaa80c75d33","datavalue":{"value":{"entity-type":"item","numeric-id":4903945,"id":"Q4903945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301b88937a78186f3174b7b0f8316fb5076ae959","datavalue":{"value":{"amount":"+0.7986024618148804","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":"Q2715525$C9E56CA4-10EE-4EE9-8C71-E920163FA5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611668d1f47a45deb042a9074adae630e84de23a","datavalue":{"value":{"entity-type":"item","numeric-id":3400792,"id":"Q3400792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1033e0931b19a0ca27ab71b7e9ba61ad2d97cde","datavalue":{"value":{"amount":"+0.7959294319152832","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":"Q2715525$415CECAB-6B24-4341-9CED-68E5F7A2A2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e2ae510b773750b4e718d093fea4211ff07a68c","datavalue":{"value":{"entity-type":"item","numeric-id":2534157,"id":"Q2534157"},"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":"Q2715525$B1670FD0-F92D-448B-8C61-E562B6FD429B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Negation as falsity: A reply to Tennant","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Negation_as_falsity:_A_reply_to_Tennant"}}}}}