{"entities":{"Q5950501":{"pageid":8127303,"ns":120,"title":"Item:Q5950501","lastrevid":47715331,"modified":"2026-01-02T12:33:51Z","type":"item","id":"Q5950501","labels":{"en":{"language":"en","value":"Why anti-realists and classical mathematicians cannot get along"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1683792"}},"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":"Q5950501$693176CE-F0F9-4DA6-98CA-444B7412AFE2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c65e0ae639b73676e403ad05865ea9d5c223d0e9","datavalue":{"value":{"text":"Why anti-realists and classical mathematicians cannot get along","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5950501$587171A5-B5BC-4BF4-8C44-D911686CBC5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d8568b564a7ab6fcf6850a2b1a2f6c87edf0ebf","datavalue":{"value":"0995.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950501$2E8626A1-5E77-4424-84F1-4A1D2DB1C436","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"babc618dbfed148b6fe2954ca733989c7d61a482","datavalue":{"value":"10.1023/A:1010656826667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950501$422C6728-0D0A-4148-9593-A14166AB7C82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9d4209135bf481b154ab5d0a5e11f6fc027d3b4","datavalue":{"value":{"entity-type":"item","numeric-id":218490,"id":"Q218490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950501$D3D08DEA-264C-47D8-AA04-561497392C05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bd05317874c93cb20da293114ffa998a3e7b1b1d","datavalue":{"value":{"entity-type":"item","numeric-id":218483,"id":"Q218483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950501$362476F6-61BF-4E11-90AE-7F4DDD492F2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c99628f8dc3436d8641aa0726a190a4fe0d0bda","datavalue":{"value":{"time":"+2002-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5950501$22095B0D-8CA5-4221-95F0-A3EE982FD409","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6dcdb156d45b542c3f293ad7d2e79583b4c997da","datavalue":{"value":"The author concludes: ``From Heyting semantics -- the natural outcome of Dummett's arguments for anti-realism -- we see that LEM [law of excluded middle] and optimism/immodesty are intimately bound together. So if the Dummettian anti-realist maintains Church's thesis, or its formal statement (CT) [see page 60], or some other semblance of modesty, she cannot have any truck with LEM or any metaphysical thesis that underwrites LEM. The anti-realist who endorses modesty has a principal reason to reject (the truth of some consequences of) LEM outright, not just demur from its assertion or its status as a logical truth.   [\\dots]. If one is determined to accept classical mathematics and still maintain a sense of modesty, then he must thereby reject the thesis that Heyting semantics provides the meaning of the logical operators of this classical mathematics. Consequently, he must reject Dummett's arguments leading to anti-realism, either out of hand or by finding some fault in the reasoning'' [p. 62].","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950501$F8719EC5-AACA-48E9-97FB-3151C9E617E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e78962330c89fc8a9d202a8b71a0ba142f6bc7db","datavalue":{"value":{"entity-type":"item","numeric-id":1072534,"id":"Q1072534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5950501$D5121B21-9B72-4C34-85BF-7CFF34428EB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950501$A0F96E69-EB17-46CB-8E3D-309D4BF57F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950501$D606354F-4A98-40EB-B203-7F593BAD5D91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0db2c566fd0a88d3d785bd723822276fec7381b","datavalue":{"value":"1683792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5950501$BB4F6347-08A1-4AA6-9DC7-A42129FF4A7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42905ee77046a7fe3c2ca86ac1f1080c08ddd1e3","datavalue":{"value":"Brouwer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950501$1D9CD4D4-D0DB-4723-98E4-95715BAA8C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778f744f9de1c19fd42b64a7ef8aaf69d65a6b0e","datavalue":{"value":"Dummett","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950501$DECFEEF4-E056-4377-8BC1-930A21BF6F22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdaf56b330aaf950309defdf43b756c5cbe11cd7","datavalue":{"value":"Tennant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950501$590AC39D-2C76-4F9D-AD27-2C6C3AD4D10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4282b5b6410186b7da0f96710e20658f12aa55f","datavalue":{"value":"G\u00f6del","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950501$7B6DDFE9-37E6-4132-806C-5D9DABC457A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1edcc7ebe3ce19e2fc21a4577990619d269a759f","datavalue":{"value":"meaning of logical operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950501$63CD0237-5EB0-414E-A52C-9CFFC71CA7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8847abd40e015112a77495b3b4a1ff409ebb3c99","datavalue":{"value":"law of excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950501$EECEFD1A-2A82-4C52-89D5-F032CA196F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e48c4098ff7659f6d7b9234656289fa5606aa4bd","datavalue":{"value":"Heyting semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950501$3D571A14-005D-4D43-864B-7BC291D84EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e2bb54bdc712d8c1a2a85b6f9553ed64596e339","datavalue":{"value":"modesty","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950501$8B3947F3-7399-49BC-9BA5-715CE12DCF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8abd9fddcdff1b5dd9f91ad4e9d14751d6407888","datavalue":{"value":"classical mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950501$AB31A07E-0B51-454A-8F73-0D8ABCB85CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae5cb589c1ace243c9b35c47023ffccf501d4473","datavalue":{"value":"anti-realism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5950501$76E4C1F4-D6D2-4606-BCAE-7C164AFE881D","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":"Q5950501$F163E5B6-CEDE-4614-919A-ADCEAB7CBAB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da340b84b4efe1e42339f36f4cf6d75cb3f71317","datavalue":{"value":{"entity-type":"item","numeric-id":2908767,"id":"Q2908767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b76743ddf8ad7a17a872a4491c2e029554e8662","datavalue":{"value":{"amount":"+0.7773029804229736","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":"Q5950501$23218160-05E6-4B96-9DEE-9A0114639C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9d82499273d0bd2d3fc3d1dec53fb441da907b2","datavalue":{"value":{"entity-type":"item","numeric-id":2707481,"id":"Q2707481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da589ec7c5c699c25135da04305692b5bef06641","datavalue":{"value":{"amount":"+0.7047110199928284","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":"Q5950501$AC7621E0-B130-4611-BBE7-EC770B7FDC55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e9983cde288176f42760a05b7a49c754e5379f","datavalue":{"value":{"entity-type":"item","numeric-id":4942682,"id":"Q4942682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20759f215a5f42d392911fc35e813230f1bf8ef4","datavalue":{"value":{"amount":"+0.7009283304214478","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":"Q5950501$975739AD-9BF2-42C1-83BB-3A04683A9D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4e76dbb3096f1e1bd33489147c0da34a7e6b30","datavalue":{"value":{"entity-type":"item","numeric-id":3616420,"id":"Q3616420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754ecdc24ac0a60b142eb76faeaed18d5a81a00a","datavalue":{"value":{"amount":"+0.7003796696662903","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":"Q5950501$9EDEF811-EC6B-4002-9FC0-218E9397970E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da9bdaf36c6b7b3ca2ec3a26f80a7adc6bb7ca7","datavalue":{"value":{"entity-type":"item","numeric-id":4224762,"id":"Q4224762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a752ffa3edca6b12232aa79d130e7f0afb24e3","datavalue":{"value":{"amount":"+0.6948811411857605","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":"Q5950501$EB5837C3-BA85-4E83-966D-CC5934D8085E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5950501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5950501"}}}}}