{"entities":{"Q1372939":{"pageid":1383679,"ns":120,"title":"Item:Q1372939","lastrevid":71538819,"modified":"2026-04-13T22:55:25Z","type":"item","id":"Q1372939","labels":{"en":{"language":"en","value":"Finitude and Hume's principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1083180"}},"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":"Q1372939$A1D39F26-9CA5-468E-9805-EA8CFBADF8BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"476936667b930bd3b73eb235e84df2da0dc3ddb5","datavalue":{"value":{"text":"Finitude and Hume's principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1372939$E7CD15D4-2BC2-490A-BC3B-509B2B49B2DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4229b60c10b42b7a67774371b6a7afe4f0919e4","datavalue":{"value":"0885.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372939$83B76B88-0B01-4358-BF71-65CD03EBEE26","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54046964cd1e8d483e9b331e6e147437166b6f32","datavalue":{"value":"10.1023/A:1004299720847","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372939$5C222148-A0C8-4460-B8F4-FAF893E768FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7235130cb1443153095b37a755cc0db3a4f8870","datavalue":{"value":{"entity-type":"item","numeric-id":766294,"id":"Q766294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372939$8F1D35DC-724D-4307-A1F3-97D6198C3A70","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":"Q1372939$BE56CCB6-2433-451F-9400-69937B34CBC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f32c4f84dfe8ec89b557af06d9f906ffb4a113a","datavalue":{"value":{"time":"+1998-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1372939$21C090D7-8A1A-48DC-BA89-F3D6C7BE6A13","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"13f6250c34bff8100ec96efd5c905ffad7883e27","datavalue":{"value":"Let FA be the extension of second-order logic with the so-called Hume's principle HP, i.e. the claim that the number of a concept \\(F\\) is equal to the number of a concept \\(G\\) iff \\(F\\) and \\(G\\) are equinumerous (i.e. there is a bijection between the collection of objects falling under \\(F\\) and those falling under \\(G\\)). Of course, HP requires that the usual second-order language is expanded by a second-order term forming operator \\(Nx:Fx\\), to be read as ``the number of \\(F\\)s''. ``Frege's theorem'' is the statement that the Dedekind-Peano axioms of second-order arithmetic are derivable in FA.    The main result of this paper is that Frege's theorem can actually be proved in a strictly weaker system FAF, where HP is restricted to \\textit{finite} concepts (`finite' being defined according to Frege). Actually, the author proves more: FAF is equivalent to the Dedekind-Peano system PAF, extended with the axiom ``the predecessor of a natural number is a natural number''.    The paper is relevant to the philosophical problem whether some form of logicism can be supported on the basis of HP. Against \\textit{C. Wright} [\\textit{Frege's conception of numbers as objects} (1983; Zbl 0524.03005)], the author argues that HP cannot be the `basic analytic law' underlying arithmetic; instead, he cautiously presents some reasons to believe that HPF could be a better candidate. The paper is well-written and informative, also as a tool for interpreting (parts of) Frege's \\textit{Grundgesetze der Arithmetk}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372939$323D7C7C-3BA0-4B2C-93C7-F83CB160BBAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372939$53704E0D-B455-4663-B8F5-7CEA7151763E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372939$7EBAD5D3-A73D-4203-8AC9-2F23BF75D143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372939$4490BB5A-1A71-47EB-9C57-1B8F67C801BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"badaab4890879d5e56533d675d4b3ceb68d0c9d3","datavalue":{"value":"1083180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372939$9A68BA39-A307-4F11-8AF7-DF63728BD63E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea811d864a984b410a67df5fbc1ccbc3b77db799","datavalue":{"value":"second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372939$B4A0E3EC-69F0-4E72-90C8-2D2C23C09932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"412978e917aa6faab6974f8754d702b872c51bd4","datavalue":{"value":"second order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372939$4D8262D2-88FA-4F66-99C0-394A001D9595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76883389c3b919787e7602aabb8db35fc6f819f6","datavalue":{"value":"Frege's philosophy of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372939$2EAA2352-5479-4794-B2D4-F0D107FDC4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6bcc4e7c3a196279bdd9a5522b6717c952fa3a","datavalue":{"value":"Hume's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372939$44648B88-BC0E-4251-8BAB-718BA2E6045E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bafac80c5e092020ca7be1dcb82ad0db22458e2","datavalue":{"value":"Dedekind-Peano axioms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372939$02D2B9B2-A05B-4DFC-A5AD-5D74C9B12010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1f7a073452ca9e015eb8e3001df43b03dd5df8","datavalue":{"value":"logicism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1372939$14E9ED23-03D7-47C1-97C1-18055FBD95D3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5634ed46a52c7680a2cf61c8cfb118a9c5e1d936","datavalue":{"value":{"entity-type":"item","numeric-id":588330,"id":"Q588330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1372939$21A4DB6E-6FFE-4BDB-A133-A930D1C3734F","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":"Q1372939$A6CE2980-2151-4C4F-A0FA-5349D3F4CB76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86ce26a3ac77a3beea352e15a707f5afde59fa07","datavalue":{"value":"https://doi.org/10.1023/a:1004299720847","type":"string"},"datatype":"url"},"type":"statement","id":"Q1372939$2888DD7C-B2F9-457B-849B-D5D4A182CC9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74b0fa232624ebf43467e17722baf7ecf417f550","datavalue":{"value":"W2109323615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1372939$0EC7593D-195F-4AC3-A59A-179EC7B2B648","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29f5a86dd7b89255a60d9d046b1483505df5b680","datavalue":{"value":{"entity-type":"item","numeric-id":2701944,"id":"Q2701944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dbc4aec685a302ad7fa335980c405d37bdd97bb","datavalue":{"value":{"amount":"+0.8490808","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":"Q1372939$A2F37751-CAE0-4A46-A577-8A3FA2D179E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daff3785ba441d2b5e7c422d020a9f3505a2c85c","datavalue":{"value":{"entity-type":"item","numeric-id":766295,"id":"Q766295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0edcd92b688e5c3158c4715fc4e6f5decd3669e5","datavalue":{"value":{"amount":"+0.8375699","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":"Q1372939$AC297D71-1EF9-46CE-88BC-750F35C250B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6959e15eb83576f950baa4a36f13da49555e6dbd","datavalue":{"value":{"entity-type":"item","numeric-id":5116956,"id":"Q5116956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b797f1a2585396881f0c1c05e1a3f3d3d326fd4","datavalue":{"value":{"amount":"+0.825293","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":"Q1372939$8B9CB885-BDBE-4F83-ABBA-8C78CA16CF31","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":"2ca5f88651e1bb7af5a866b75605834500699076","datavalue":{"value":{"amount":"+0.82300854","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":"Q1372939$8C7B8229-803D-4A1A-A114-D38E71CDD4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1e3bc8004b130c3d7d1ed554973c8c1a482629","datavalue":{"value":{"entity-type":"item","numeric-id":3138014,"id":"Q3138014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905bcbf9b6d3d4db59fcccaf1ad0c080477a5a5d","datavalue":{"value":{"amount":"+0.8211572","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":"Q1372939$B81BF7B0-6D2A-449E-8D13-65800CEDC805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766eec9dfd5e288a64709f33d8ed107cf09a33b8","datavalue":{"value":{"entity-type":"item","numeric-id":4528614,"id":"Q4528614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bcfd790a71bb7f21efe3716213400c6d34c78ea","datavalue":{"value":{"amount":"+0.808481","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":"Q1372939$80297013-E8FA-4C5E-B8BE-490975BD5CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459d948dd8d1ca47bd2bf06d50d6d4c3cc5c7a3c","datavalue":{"value":{"entity-type":"item","numeric-id":813411,"id":"Q813411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a2624a09e312e57ae92ce154e99d524de1ecc9","datavalue":{"value":{"amount":"+0.8022069","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":"Q1372939$DE84C85B-A5DA-48B6-9E09-5E03956884FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3066f81e77d6059e89cf44ec36d3bcfd75618aa2","datavalue":{"value":{"entity-type":"item","numeric-id":2500801,"id":"Q2500801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6260c3a21b9b6dc46518c4e04b3ad6ae0a77bf2b","datavalue":{"value":{"amount":"+0.7971914","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":"Q1372939$108504BB-5C1A-4935-907C-3C544FA42350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737d02cd216bfeeaf744dc8a6bc56e0ac9ee151b","datavalue":{"value":{"entity-type":"item","numeric-id":4252874,"id":"Q4252874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83b4ba507066d4cc56cc7a4a5c3f7f82133db9a5","datavalue":{"value":{"amount":"+0.7951064","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":"Q1372939$ACC72D27-A074-4B61-8736-15BD5E466D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba1073ba032e8c233ed654db948b3b26dadf9ba","datavalue":{"value":{"entity-type":"item","numeric-id":5871286,"id":"Q5871286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06ecf41a017a517afdbb8d9f4dcd677735b555d","datavalue":{"value":{"amount":"+0.7950022","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":"Q1372939$4729CE23-AD67-4745-A0FA-3E0E3CCB5724","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitude and Hume's principle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitude_and_Hume%27s_principle"}}}}}