{"entities":{"Q1841003":{"pageid":1851745,"ns":120,"title":"Item:Q1841003","lastrevid":69048288,"modified":"2026-04-13T04:04:23Z","type":"item","id":"Q1841003","labels":{"en":{"language":"en","value":"Proof-theoretic reduction as a philosopher's tool"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1568536"}},"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":"Q1841003$2E3D8F71-4184-4EFF-9B2E-4A02DD8CABCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a48e25b4c727226a9d1517867ab06f8fd081ac7d","datavalue":{"value":{"text":"Proof-theoretic reduction as a philosopher's tool","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1841003$D985F316-5F1B-4357-8DF1-12A237E335A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a4401919b0f17a1ab4d9b18863f29d3c3dbe462","datavalue":{"value":"0970.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841003$8B035FB3-8E92-49A4-9B6D-AC0EEB09360D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"244bf89d2057d20c042eafd2caf80e754360a3d3","datavalue":{"value":"10.1023/A:1005670319780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841003$981D9349-96B3-4C14-8453-B707E9C2CAD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea57f95b02e7422ec5faf008123b3854f9812c36","datavalue":{"value":{"entity-type":"item","numeric-id":306828,"id":"Q306828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841003$C6AF9B8F-5927-424E-92C5-8C3FDFEA51BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f250921565a0fac08712ded5da7371b9cfcccefe","datavalue":{"value":{"entity-type":"item","numeric-id":175260,"id":"Q175260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841003$4C0E08C9-0F31-4111-AED3-607375FF27A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7df3ee5354331b1055750b0a28c9c18e2e08982c","datavalue":{"value":{"time":"+2001-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":"Q1841003$67EC739B-CA3D-4462-9119-B7AC1361261A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"353eb4638bc39902e35a67c2807f6283358e38a8","datavalue":{"value":"The philosophical significance of proof-theoretic reductions in the sense of \\textit{S. Feferman} [J. Symb. Logic 53, 364-384 (1988; Zbl 0656.03002)] is discussed. According to the author, these reductions are usable neither as theory reduction nor as ontological reductions. Proof-theoretic reductions, however, have their uses for refuting indispensability arguments, because they may show that certain mathematical theories are dispensable; they provide also foundational reductions, as pointed out by Feferman (loc. cit.) and relative consistency proofs. The latter are especially important if some theory is assumed to be primary and true, to which then others can be reduced. The author takes arithmetic as such a base theory and endorses an instrumentalist view to mathematical theories that can be reduced to arithmetic. How proof-theoretic reductions might be useful in a general instrumentalist account of large portions of mathematics is only outlined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841003$038A1489-E743-42FC-AA13-6442E1F22C5C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0a71a0b701b83e2fb6a5abddcef45416fab46202","datavalue":{"value":{"entity-type":"item","numeric-id":175245,"id":"Q175245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1841003$CF7BB9DA-E11E-43A6-8847-032CF3DA1BA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841003$0FE48738-082E-44CF-A8E7-E32C98B370F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841003$7D58B34D-DF65-44F4-8271-4D4C021C9C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841003$4FDFE000-C311-4C9D-BFA4-BEE2F657977E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b18dca68077db8ac8797571dda6c3f30c2393a86","datavalue":{"value":"1568536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841003$11B502B0-9B1E-475C-91EA-1197BF8A47CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fb225fcfff70f7fd4ab3836a5487dd987662795","datavalue":{"value":"proof-theoretic reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841003$E045F831-8E20-49AE-8F80-6A837C6F28EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7b2e6fb6151d846dc564872a12086ce7c14f221","datavalue":{"value":"indispensability arguments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841003$94C082D9-56DB-4117-9A50-AFF88A6E4713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d14b71467c00a06557487af752468da3fceb41","datavalue":{"value":"foundational reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841003$91090CF6-5D50-4AFC-B158-2F70E821C682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb555ad50daa2f2442c3374413a67b79e38b5020","datavalue":{"value":"relative consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841003$00D39BD8-F363-49D6-B693-2803BB334D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1841003$FA692B10-2348-4720-81D2-11C2CAB90FC3","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":"Q1841003$0C16838C-E458-4834-A97B-E84B841A4955","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"87877438c530b3dcaf5c24e6d3bb52e8b73e5bd6","datavalue":{"value":"https://doi.org/10.1023/a:1005670319780","type":"string"},"datatype":"url"},"type":"statement","id":"Q1841003$0D5AFBBE-6695-407C-B77B-59DC9E2D8126","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b19cc268b0b64630bd4f04ff51b15d6febc5bad9","datavalue":{"value":"W1589780159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1841003$ECDD93E0-16DD-41D4-B357-D13FDA33ED98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42c21a0437bf7b39e102388ebbd0b82d161f84a3","datavalue":{"value":{"entity-type":"item","numeric-id":3305638,"id":"Q3305638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f05783e8d4a0124619b63b4273a39b0cb8e718fd","datavalue":{"value":{"amount":"+0.90201944","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":"Q1841003$88602950-17BE-4A05-ABC9-68D89031A36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b9d54880e7118b1519232491a471eb43c1cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":685391,"id":"Q685391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45d4afd5485d1a940894f366d302c926f3750504","datavalue":{"value":{"amount":"+0.8828999","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":"Q1841003$09C3FAAF-E282-4151-BC7D-0DC0550C39CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9acf76d4282f666f48eda47b30cbeb51aa60e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4809790,"id":"Q4809790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d00459bf9ce868672a7ffb5f646bfbd23aed758","datavalue":{"value":{"amount":"+0.88024753","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":"Q1841003$7D574CB2-4277-41D8-8E48-C48A2FE0CEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f181de62ffe21989862d5d9dff0cc0bef86f2ea7","datavalue":{"value":{"entity-type":"item","numeric-id":1840998,"id":"Q1840998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f813cf798e737ed1fce7457371028697d98539d","datavalue":{"value":{"amount":"+0.8788854","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":"Q1841003$729CDC28-E7F6-4420-93AA-AF3E7FB1F6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81aca38709b78489bda3bf6c74cca69f198df488","datavalue":{"value":{"entity-type":"item","numeric-id":4644602,"id":"Q4644602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b599126263442b698a440012d3832bf709fce3fb","datavalue":{"value":{"amount":"+0.8778224","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":"Q1841003$386EAEB6-B25D-4445-8F0D-C5128E7B28CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0634602489ef699a910fdd6e87b1a8ada0da63e9","datavalue":{"value":{"entity-type":"item","numeric-id":4413066,"id":"Q4413066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"887748755edfc117291563e5dfc22f859c405a6e","datavalue":{"value":{"amount":"+0.8696471","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":"Q1841003$3D4A497D-EEEE-48B0-9FA0-9104557CD99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2343c23b1a1e7991af077d6ab1097f7e7cde0ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2529960,"id":"Q2529960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4b5bd2457ae359491ef17ee3977885a9a2ea45","datavalue":{"value":{"amount":"+0.86900514","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":"Q1841003$3B635DCC-152C-407D-B568-30965C55C97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c668584ad06cf69a53e8c08a408adc123b270777","datavalue":{"value":{"entity-type":"item","numeric-id":1005958,"id":"Q1005958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13bf4263d828464b078659b34edb363f904bb8c7","datavalue":{"value":{"amount":"+0.86791086","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":"Q1841003$DE14876F-457E-45B4-94A6-DC2CFAE15330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020bcfc3fbd1129bc1dd32f1007f4fbdc388c622","datavalue":{"value":{"entity-type":"item","numeric-id":3830972,"id":"Q3830972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca9d2eedd0d2fdf5e0068cdcd31246b4adb6fd04","datavalue":{"value":{"amount":"+0.86733615","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":"Q1841003$2AA1D70E-1B32-4578-8063-AEB799F0E02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cc887c3bd14f28fa90bc31fec8da5b095636da","datavalue":{"value":{"entity-type":"item","numeric-id":1841000,"id":"Q1841000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffc80ef4cf9cb73f51856f41b671a71a5fe1ba2d","datavalue":{"value":{"amount":"+0.8650934","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":"Q1841003$BD353733-EDFF-4F3B-BCCB-7067413B35C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic reduction as a philosopher's tool","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_reduction_as_a_philosopher%27s_tool"}}}}}