{"entities":{"Q914657":{"pageid":916505,"ns":120,"title":"Item:Q914657","lastrevid":65379072,"modified":"2026-04-12T02:11:23Z","type":"item","id":"Q914657","labels":{"en":{"language":"en","value":"The diagonal argument and the Liar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150114"}},"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":"Q914657$9A2B42F7-613B-4CD5-8C0D-4C6FE4B23157","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5026082416be7fdcc0be4ae302a22fba90ae589f","datavalue":{"value":{"text":"The diagonal argument and the Liar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914657$C79468EC-B178-4AAE-8ADF-65C6112D7D41","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8bfd5fcb423d055afd1d7fe71b8e4c2c7dd61a9d","datavalue":{"value":"0702.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914657$2F6BAB11-2C1B-4AB1-99C1-CC52FD974002","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a1102c1d5b1f4cf8c2bb0da5fba1fc0d5ef2160","datavalue":{"value":"10.1007/BF00556637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914657$D85D14FC-2AF8-4D4C-B113-6F884B1D2F29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"204921e8469c287785f22dbe33f2959647f05c77","datavalue":{"value":{"entity-type":"item","numeric-id":914656,"id":"Q914656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914657$08386477-44EF-4A10-80E1-C509AE78232E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914657$9A8742E4-1B6A-48F2-8C69-75B8A05F9B4B","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":"Q914657$7E013617-0ABB-4DDA-8138-516D6CBA69B4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"090037427dafef40de88b0cb7dfc87efb37ee110","datavalue":{"value":"The paper gives the following as the abstract structure of a diagonal argument, which is first-order valid. Let \\(M=(m_{ij}\\); \\(i\\in I\\), \\(j\\in J)\\) be a matrix (possibly infinite); let F be a bijection from I to J; then if H is any sequence \\((h_ i\\); \\(i\\in I)\\) such that \\(h_ i\\neq m_{iF(i)}\\) (i\\(\\in I)\\) then H is not a row of M. A good diagonal argument is one in which we have reason to suppose two of the following: M exists; F exists; and there is an H which is a row of M. The negation of the third can then be inferred. A diagonal paradox occurs when we have reason to believe all three. The paper then shows that a number of traditional diagonal arguments (e.g., Cantor's Theorem, the Halting Theorem) are good diagonal arguments in this sense; and that a number of paradoxes of self-reference (e.g., Russell's, the Liar) are diagonal paradoxes. (It does not observe, though it is perhaps worth noting, that not all such paradoxes are diagonal paradoxes, e.g., Berry's.) Using this characterisation, the paper then demonstrates that a number of modern theories proposing solutions to the Liar Paradox fail by being insufficiently general: even if they give reason to suppose that some of the relevant M, F and H's do not exist, there are others whose existence is untouched by these theories. Typically, they are those to be found in ``extended'' or ``strengthened'' paradoxes. See the reviewer: ``Semantic closure'' [Stud. Logica 43, 117-129 (1984; Zbl 0575.03002)] and Ch. 1 of: In contradiction (1987; Zbl 0682.03002)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q914657$84AD24E3-FF24-447B-9ED5-AE8F004D252B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914657$CC013D0B-3F88-4C14-9CA7-762469B1E818","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b27e04c14d9002b49dbb0b4ad107a9fbfeae3b8","datavalue":{"value":"4150114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914657$29F94F9C-15A5-4944-A51C-C937EDAC4E56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59daaf545a83f9bebd8db40209fb55b2dc0dbdce","datavalue":{"value":"diagonal argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q914657$0BEC6E32-3969-40FE-9501-3D39FBA9C752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4efbe21cababbd3f08626ee6c949b790e7174eca","datavalue":{"value":"diagonal paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q914657$D6C4DE48-7987-4D46-8B58-CC9A18BF04C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dcd0fc124a47c7335f39fc124263f8b99dbf17a","datavalue":{"value":"Cantor's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q914657$DB92C1CD-0F41-4028-881E-EBF9C450E7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eaad11657bd10244bee60468f0b2a620b7f00ae","datavalue":{"value":"Halting Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q914657$38489A3D-218D-4D92-A744-69C6DEB235BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74579c4c63439c0b7982feacc8ce6064e52b8c73","datavalue":{"value":"paradoxes of self-reference","type":"string"},"datatype":"string"},"type":"statement","id":"Q914657$FEC4D3BA-E647-4A5B-BD8E-57A28DDA7496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"885f6b294f1563b0b9e6057536bb4e9183aa0183","datavalue":{"value":"Liar Paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q914657$6624A5EB-9E4F-4267-8648-E6ECBF812DFC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914657$EA498155-7BF8-4328-9603-B86E11D08743","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":"Q914657$5756E49F-2AD9-42D1-A442-FA22BBAFD929","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4648aa2d4372ab3aa67d75fc5bd0cac4a3be642a","datavalue":{"value":{"entity-type":"item","numeric-id":1063583,"id":"Q1063583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644b3e8fa4587281d4dacad4e5dd6148b4bd1c33","datavalue":{"value":{"amount":"+0.8011441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914657$678E13EA-04F5-444C-BD57-B2934400D997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72cdaaf7824cbe751155c88ddfdbd5301e8cd2b","datavalue":{"value":{"entity-type":"item","numeric-id":795814,"id":"Q795814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687d0fb0cccd9e789dff6cbc4142e13d054aadb6","datavalue":{"value":{"amount":"+0.80008","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914657$412CA299-A29A-46E9-9CB0-0108FA6930DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f614baf74283570e51d15ae86df521c356eec304","datavalue":{"value":{"entity-type":"item","numeric-id":885005,"id":"Q885005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b13bcfeab9a6d891cf012a814eddc557e4d46c","datavalue":{"value":{"amount":"+0.7970812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914657$154BA5EF-2FA5-4BCE-A9E4-BEE1E913E87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff444dcb2d57ec6081ad93bfce038157cc118b0","datavalue":{"value":{"entity-type":"item","numeric-id":4650304,"id":"Q4650304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f797650a91c27b2d744a74c372b9758a11e3f0c","datavalue":{"value":{"amount":"+0.7966713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914657$C99AE344-FEB9-4F59-BC2F-5353254CDABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"461a0141633052a2f0c78b4de7e961c1c09c6a1f","datavalue":{"value":{"entity-type":"item","numeric-id":4432541,"id":"Q4432541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b9f719d2aa53aaf59f24add06fe0d39e71e9697","datavalue":{"value":{"amount":"+0.7819178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914657$BC896201-35E0-4727-A991-F42DCD718691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac28a639d3ef87fdc4222d67ece0f4c27c825a76","datavalue":{"value":{"entity-type":"item","numeric-id":3993251,"id":"Q3993251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b6bd4f7adda2750142defa6c58194f609426fae","datavalue":{"value":{"amount":"+0.7789849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914657$F9A915DA-60B6-426F-AF28-476869320F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5831d750c7da8a726bce43d382ab0d7d07b194f","datavalue":{"value":{"entity-type":"item","numeric-id":4821860,"id":"Q4821860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478ffcd961cd2f91931680f94bbfbfc8b42646b4","datavalue":{"value":{"amount":"+0.77330106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914657$8C16387F-13D5-438B-AE4A-BF47D84E7590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d0cf674341635fc9db7e2888df161af7e54d92e","datavalue":{"value":{"entity-type":"item","numeric-id":4817173,"id":"Q4817173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75cd9f76814b68e8ef04e477cc5f143a9c5edb1","datavalue":{"value":{"amount":"+0.77294636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914657$F764D6F5-F91C-4604-9605-EF0BD12EA764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f4c31fbbe98642b4c716a1f9c5b97593d62140","datavalue":{"value":{"entity-type":"item","numeric-id":4278644,"id":"Q4278644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d6ae985ed6bb88c9b401ac685a2481205755a5","datavalue":{"value":{"amount":"+0.7718326","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914657$25AD5434-0DB2-4D73-8770-5F9A586E47A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24bf5a61b239abf4c457565e2eff9cb165473fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3604282,"id":"Q3604282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83bb84322114cd49fb47961c5348a3ee8ec8a15","datavalue":{"value":{"amount":"+0.768609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q914657$92C6985D-FA79-42FF-A20B-893A00D21B21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The diagonal argument and the Liar","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_diagonal_argument_and_the_Liar"}}}}}