{"entities":{"Q920963":{"pageid":922811,"ns":120,"title":"Item:Q920963","lastrevid":65361189,"modified":"2026-04-12T02:03:52Z","type":"item","id":"Q920963","labels":{"en":{"language":"en","value":"Motivation and demotivation of a four-valued logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4164792"}},"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":"Q920963$FC0E5F95-010F-4C7E-8039-D094FB96C601","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d93bbe429c6d3ae2c7b11c9633859e9edce1248e","datavalue":{"value":{"text":"Motivation and demotivation of a four-valued logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q920963$332E26E3-B4C0-45A1-8A0C-D2938A3967B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0eeb0912c7277666fb64251749a2920c097698c2","datavalue":{"value":"0709.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920963$157792EB-5EEF-447A-AE4D-482FB2B51CA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d56612cb84f7069100c4cabafc4cc7f11973342","datavalue":{"value":{"entity-type":"item","numeric-id":914554,"id":"Q914554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q920963$15FA079C-2AD0-421E-9355-AAF59112126A","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":"Q920963$86078362-5B40-4CEE-849A-A8986E348CB0","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":"Q920963$39EFB05F-8B16-4E7C-8D50-E378E65BCAC1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2f6712607c7b5c1cf1f74bee5dc9cb9aae6345c6","datavalue":{"value":"The fragment of the Ackermann-Anderson-Belnap logic of entailment in whose theorems the principal connective is the conditional arrow flanked only by truth functions, is called the system of tautological entailment (TE). It can be axiomatized in various ways such that, if for all of them we add any of the so-called ``irrelevance axioms'' ((A\\(\\vee B)\\&\\sim A\\to B\\), \\(A\\to B\\vee \\sim B\\), and A\\&\\(\\sim A\\to B)\\), we obtain the system sometimes called that of tautological implication (TI), in which \\(A\\to B\\) captures exactly ``it is truth-functionally impossible that A\\&\\(\\sim B\\) is true''.    Smiley first discovered that it is characterized by special four-valued matrices. Belnap has interpreted the matrices in a way that he claims well motivates the system for some practical purposes. There are two interesting papers by Belnap about this question, offering two arguments for the usefulness of four-valued logic.    In this paper, after presenting in a simple way Belnap's arguments, the author argues that one of them, which rests on interpreting valuations as states of our information, when taken seriously, collapses into an argument for two-valued logic in which relevance is lost; and that the other argument, resting on a thesis called by Belnap Scott's thesis, is not an argument for its usefulness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q920963$D598A25D-14B5-4D9B-ACAE-041ADF3A1E4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920963$5F5D343E-D649-4368-B6A6-1FA23D65B35F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920963$C168D157-9497-4BBE-9731-DA955C09BCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920963$10C1A9CB-7845-45A9-8DE7-D4AECB9CC9F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb195189b4d7730869cfc90e413f70b5920f3b73","datavalue":{"value":"4164792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920963$CCA8E3BB-6DB5-44B3-B208-D2122BE66CC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ec0bc6059b09aecc3aea9c558f1fe14ab531ff","datavalue":{"value":"system of tautological implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q920963$185461D7-CEAE-4EDF-B1CD-77C48A146307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e47594b3862f88abb6f9794b5fe19ef05ee90c8f","datavalue":{"value":"strict implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q920963$B5034290-9B59-4F0A-8521-0C3EE7E71931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be459cc754a883783752613b44eb700eda3c0d2c","datavalue":{"value":"disjunctive syllogism","type":"string"},"datatype":"string"},"type":"statement","id":"Q920963$C1AE23DD-C0A6-4EF8-AD03-BE4FAB82F6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a97e58d8afae948d2ca4e8ae1f92f0028d37041","datavalue":{"value":"four-valued Smiley matrix","type":"string"},"datatype":"string"},"type":"statement","id":"Q920963$2E068E7F-6755-41C5-9CEC-19F22C8BEC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047d78205f313e629444fc5c254f472ba2f0dcd5","datavalue":{"value":"Belnap's interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q920963$1AD43BFB-5843-4527-A9F2-01C744D16358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"468ca8b645c915c4c2605fba5327159ac86b8b83","datavalue":{"value":"information states","type":"string"},"datatype":"string"},"type":"statement","id":"Q920963$EC7CBBA0-05F9-4863-BB16-C875CA30E8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd64ab693aec96fdc46365dac1429a72a6fc0aca","datavalue":{"value":"fragment of the Ackermann-Anderson-Belnap logic of entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q920963$6716990D-733C-4548-98EB-B67456D936DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6eae9ddc28a6069c8b34d6d457df1f6dd1bd24","datavalue":{"value":"system of tautological entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q920963$146DA958-653D-444B-8ED6-46DB1AFEC5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed98149e09fcb227a2507e4c376757d4ccf51b8","datavalue":{"value":"relevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q920963$F67E88F5-5C6D-4897-8DB5-C736568F729D","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":"Q920963$7C82D838-87E2-4B2D-BC7E-0A9314302518","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":"Q920963$CE56571D-D5EF-4560-B6AD-A1AAD6B2C161","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b49bd1924bb6f77f38a944efaf263387fd6d0350","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635334","type":"string"},"datatype":"url"},"type":"statement","id":"Q920963$5E6DF554-17A1-42F0-8267-BE4C36FA837A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e4602b2be29e2559fa5c826456ddf19492e5356","datavalue":{"value":"W2007707383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920963$19EBB070-8E38-4128-A6B1-74662E16508C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b437d16081389bdcbf20a1106911c493f12741ac","datavalue":{"value":"10.1305/NDJFL/1093635334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q920963$F789E879-2DEB-4318-8AB4-DEEC87D71084","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1242fa5f7f92682fec203e6670f6fcb4072b6c13","datavalue":{"value":{"entity-type":"item","numeric-id":1422105,"id":"Q1422105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53b4faaba74895239a7137cb63c3c98e0ff6fcf","datavalue":{"value":{"amount":"+0.8759267","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920963$58958786-EDCC-4F28-84D1-00BA9578484D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfef2d4b3a38528ae2893a2dd9fff499870a311e","datavalue":{"value":{"entity-type":"item","numeric-id":3018991,"id":"Q3018991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8350ace582eb05f7ff8739876452f993f0cf3d68","datavalue":{"value":{"amount":"+0.86982614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920963$25C16FFB-2AEA-4421-AA1F-FF8795789C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3379421ea6d2a162700d4a2c7087f24c00ba0b34","datavalue":{"value":{"entity-type":"item","numeric-id":1346215,"id":"Q1346215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd8ecaff4f4e43398f09c2bbcfbc2f2e827ae17","datavalue":{"value":{"amount":"+0.8626019","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920963$36877B1F-FCB3-4C70-A23E-E964F83AE48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59cd51421d5965693886603d846e86304d5b3273","datavalue":{"value":{"entity-type":"item","numeric-id":3567773,"id":"Q3567773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb5eb3b302788eee527e6b281a147fe6d6e554d","datavalue":{"value":{"amount":"+0.86252606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920963$550C4A30-BA7E-4D22-AC7C-6083E1C1D146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7edf5053d2f7086802f565a5c6f800e4362c9943","datavalue":{"value":{"entity-type":"item","numeric-id":5169613,"id":"Q5169613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8296c9f043dad63291d39803392203c1e0d3fce3","datavalue":{"value":{"amount":"+0.8596854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920963$9035F37C-9594-4408-BF5E-5E2B18F31A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abd82a7e2e4c6322f8f0d3df46004cbb4f2961b3","datavalue":{"value":{"entity-type":"item","numeric-id":5692876,"id":"Q5692876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ddbbf383d7481856030ccd8c3aed320bf9f7ff","datavalue":{"value":{"amount":"+0.85779035","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920963$32713179-5C6E-48C6-B195-8AE3330AA1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bfd002a75e3957d00a28fba0730e513b5d476b9","datavalue":{"value":{"entity-type":"item","numeric-id":2228448,"id":"Q2228448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ba85136bb7b701affdd6dcf38621c2556a97a9","datavalue":{"value":{"amount":"+0.85683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920963$223CA50A-F1AE-4B97-A289-A1E2905B72B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5e889bd2b80410876ae1e408f75ca48bb896f9","datavalue":{"value":{"entity-type":"item","numeric-id":2987046,"id":"Q2987046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b3b6f17c4e54880a450300621fce48b66d3dca","datavalue":{"value":{"amount":"+0.8558355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920963$3EADA5D5-2292-45CC-93D2-520028B6DB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbfa050b81bfdede510ba090c6b12982d19b29af","datavalue":{"value":{"entity-type":"item","numeric-id":3119289,"id":"Q3119289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f5cdf90f989c6e550225ca1b6f031900f98840","datavalue":{"value":{"amount":"+0.8546573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q920963$434B5984-1FC2-4260-A447-F81E115B31E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Motivation and demotivation of a four-valued logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Motivation_and_demotivation_of_a_four-valued_logic"}}}}}