{"entities":{"Q1568382":{"pageid":1579122,"ns":120,"title":"Item:Q1568382","lastrevid":47478910,"modified":"2026-01-01T20:45:52Z","type":"item","id":"Q1568382","labels":{"en":{"language":"en","value":"Consistent fragments of \\textit{Grundgesetze} and the existence of non-logical objects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1462663"}},"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":"Q1568382$71251BE1-9FC0-4ADA-9FF7-D99B5C880A94","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fd48cdb9461a9d1baa56ee9f90eef36e5013390","datavalue":{"value":{"text":"Consistent fragments of \\textit{Grundgesetze} and the existence of non-logical objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1568382$44173953-CC4A-4A70-A537-88B7EB8CB468","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d293c86e20fc8fa38aefc0827bcc8988a22981b","datavalue":{"value":"0952.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568382$B80406D1-46E6-4243-8F8C-F0A010438A8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"818391770ae9f7fcb720713970fb11ca3b92325d","datavalue":{"value":"10.1023/A:1005203526185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568382$B99A273E-4596-4D0C-9910-F555E79E49B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568382$867542CA-CE55-477C-970A-14ED284D514A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ea05691e11843c13987b595e855d39808a5e3be","datavalue":{"value":{"time":"+2001-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1568382$C6B99EBE-0FD1-4CE0-8823-D7A17B7E5AC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ecd08d78b4b0047230520c0e32a744d7f71a72cd","datavalue":{"value":"The author considers two consistent subsystems of \\textit{Frege}'s ``Grundgesetze der Arithmetik'', \\textit{Richard Heck}'s predicative fragment H [cf. Hist. Philos. Log. 17, No. 4, 209-220 (1996; Zbl 0876.03032); Notre Dame J. Formal Log. 38, No. 3, 437-474 (1997; Zbl 0915.03005)] containing Frege's \\textit{scheme} V and predicative second-order comprehension, and the system T\\(_\\Delta\\) with \\textit{axiom} V and \\(\\Delta^{1}_{1}\\)-comprehension. He shows that the existence of infinitely many non-value-ranges can be proved in H. T\\(_\\Delta\\), proved to be consistent, goes beyond. Not only can the existence of non-logical objects be proved in it, but also the existence of the concept of being a value-range can be refuted. In consequence the author regards it as convincing to understand these results as a \\textit{reductio ad absurdum} of the logicist program, at least with respect to these subsystems of arithmetic (p. 326). He furthermore affirms Cantor's theorem concerning the non-existence of a bijection between the individuals and the second order entities of a given domain.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568382$C6618188-B1A9-4AED-8060-841D8575B461","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568382$269C1761-627A-443B-AF36-9F6977A45D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568382$C45206E2-E4AF-4744-91B6-C17B7FA05B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568382$28E1D5C1-C66E-4614-A9D0-4823FB16DB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568382$964BFBA3-700A-4597-9DAD-5751576B2A2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a598d588736669edb1c0162b0e88ca68066a72c","datavalue":{"value":"1462663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1568382$763604A0-70BB-4C5C-89AD-C125DFDAC3CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffaed6865f4000c155846fc8b019ac65a2774ccd","datavalue":{"value":"fragments of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568382$E6D4CEC9-E8D9-4664-8C12-CD27E727C599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1f7a073452ca9e015eb8e3001df43b03dd5df8","datavalue":{"value":"logicism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568382$44BA3476-33C0-4EED-ABC8-7176A5DA693E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3e621e000a5c3d196dbbd9db63c4eb08ebee0f","datavalue":{"value":"comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568382$24EBFAA5-6421-48D2-9063-26B006D6F9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7afb6bc9e5cc9306cddb38e12b4825874ad0d3c3","datavalue":{"value":"value-ranges","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568382$0FDEF971-CB41-4BB3-9241-F69B2EE4EEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5aa476dcc154422bd3456d5f387f60ec4ffc1e4","datavalue":{"value":"non-logical objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568382$41FACE6F-038A-4886-A598-4E28398A5DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"424819c01caf3d8690aa1270bf5137ac6a101f07","datavalue":{"value":"referentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568382$AD3840B8-FEC8-41A6-B4A2-88692E25F426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fd1c79a080386cbbfbc19d24d04f364ade741a","datavalue":{"value":"Cantor's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1568382$90A093EC-DF7C-4208-A239-E75AF5DD06DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6874d9554109ddfa631a3bcceed3f011aa3addc3","datavalue":{"value":{"entity-type":"item","numeric-id":704040,"id":"Q704040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568382$E89C760B-F078-4C08-88B2-55A1EDAFFC44","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2fcd128e93a2aa08500ec4fffea2aa55eff2c136","datavalue":{"value":{"entity-type":"item","numeric-id":587369,"id":"Q587369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1568382$F42336D8-D477-4EDF-A739-FE4F02F4A61B","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":"Q1568382$22BA8EC2-77D1-4FB6-A317-56D0B1713F3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bf8589b0de53ef93a9e29031c81f06029483c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4344728,"id":"Q4344728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc860ff614632572803b28d3701869e559ca5b1","datavalue":{"value":{"amount":"+0.8125904202461243","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":"Q1568382$E30F4055-9521-46BC-8722-5137C2EAC860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea37c4532a6ca2b06c3490d09a899e41fbedf761","datavalue":{"value":{"entity-type":"item","numeric-id":4663840,"id":"Q4663840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc860ff614632572803b28d3701869e559ca5b1","datavalue":{"value":{"amount":"+0.8125904202461243","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":"Q1568382$D4FA7892-C115-453F-A4F7-12545E2EB950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f5839b859b0d1a840617179fd00c17802941e11","datavalue":{"value":{"entity-type":"item","numeric-id":1857358,"id":"Q1857358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a65f4c740f19869c412f342912e09ac2d1fbfda","datavalue":{"value":{"amount":"+0.8041785359382629","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":"Q1568382$E93A7890-E175-4A0E-8FEA-F5CB8A6D8C0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cb78a511a312d5166005d28c84591e2165a1528","datavalue":{"value":{"entity-type":"item","numeric-id":5937820,"id":"Q5937820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd05ca43e7080269adabb4b195b207376ebdee9","datavalue":{"value":{"amount":"+0.7954785227775574","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":"Q1568382$8C35A21A-C617-463F-A5AC-10D7E0E1E564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1946ce132b581b96d20a4bc1c51a5c08e71218c2","datavalue":{"value":{"entity-type":"item","numeric-id":3143381,"id":"Q3143381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd05ca43e7080269adabb4b195b207376ebdee9","datavalue":{"value":{"amount":"+0.7954785227775574","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":"Q1568382$DFD87ECB-220A-4B90-86B3-4732D8CE9C76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1568382","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1568382"}}}}}