{"entities":{"Q427227":{"pageid":428994,"ns":120,"title":"Item:Q427227","lastrevid":61797189,"modified":"2026-04-11T01:44:26Z","type":"item","id":"Q427227","labels":{"en":{"language":"en","value":"Strict finitism and the happy sorites"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046096"}},"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":"Q427227$35B6A5C8-8BA0-4797-B37C-3D4E590A4010","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dbeb35713add4af674ea5718415afbb03fb4b1e","datavalue":{"value":{"text":"Strict finitism and the happy sorites","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q427227$75ADCD22-94DE-4CC5-9157-DDB3C922F77A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa951000573d9bd565db1339b7a5d043ebf62b50","datavalue":{"value":"1253.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427227$35DFBDB5-DF04-461C-9E33-8FD9775CD1A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7647f54c04ba4ce6b3c573f1cc8cb232fd4405b","datavalue":{"value":{"entity-type":"item","numeric-id":427226,"id":"Q427226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$1C8E7942-E7C6-447F-B2C8-7D94C675EA21","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":"Q427227$D2194E75-1867-4DAF-B8ED-57FB0BA9EC16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b947ce7f91b8cd4bd8b2fce7e70b93d373e39b9","datavalue":{"value":{"time":"+2012-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q427227$DE77AD39-CDF7-48E4-A083-FDCA10206096","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a08d69b8b61f473c4cf77a273f389ca550fe24a","datavalue":{"value":"A sorites argument is happy just in case it has true premisses and a false conclusion. Philosophical treatments of sorites generally begin with examples of what appear to be happy sorites, but end by ruling them out. Strict finitism is the version of constructivism which requires that effecting a construction or surveying a proof be in practice within our capacity. (An intuitionist requires merely that it be in principle within our capacity, which may require inspecting more steps than would in fact be practical.) It appears to offer an opening for happy sorites. Nevertheless, careful thought is needed to assess whether strict finitism is committed to the existence of any happy sorites arguments, and under what conditions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q427227$E02A0C86-1196-4FCD-9153-0152C5FB21DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427227$A6305588-3A58-48A2-871F-2BE0B32ED8DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f3ce5936785be8e9894d204787f5a7a7aaa74c1e","datavalue":{"value":"6046096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427227$C6683F24-F018-47C5-BFD4-6DC92A662EA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acf8032166ad1389dd425fe72884b5da360912fd","datavalue":{"value":"vaguesness","type":"string"},"datatype":"string"},"type":"statement","id":"Q427227$6EADE87C-B013-438A-9763-C3F5A332E7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7694e02deff004a2dde9baf6bee06eeea2e885","datavalue":{"value":"happy sorites","type":"string"},"datatype":"string"},"type":"statement","id":"Q427227$A34D197F-E773-41F9-892C-AEE7957AA673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61373f5db7a73c884c57a0c95041d53fcd2d1431","datavalue":{"value":"sorites paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q427227$02B8244F-D0B6-4EBE-8AD0-D8DFDA1CE6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36210dc2eab2a57ab803d30bcaad72bde789b395","datavalue":{"value":"strict finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q427227$63B0C0D6-A033-4EBC-AA94-3BB6859AECBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7a416e0b794520b49bf582a85e2ef29f146f045","datavalue":{"value":"intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q427227$4DB7A7FB-134E-452B-8514-8629A30419F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51cbb56a576577859efdc725b8785988c0c562c9","datavalue":{"value":"constructivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q427227$A26A662A-ADBA-406F-A554-CE72B4DA1987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q427227$21414A87-0436-467F-851C-C881190F01D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q427227$E5D455D5-7BEE-482F-8070-C486EE0B7BE6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5e4a390b9b69e1baf3efd1df8ffc4e33c0c36022","datavalue":{"value":{"entity-type":"item","numeric-id":1234661,"id":"Q1234661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$0A1E2E09-DF17-4960-B3AF-7C7E7F73D3CC","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":"Q427227$352C943F-7834-4F2E-94C4-3C56304CF2A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f27fee721953c7ea4526dc651afa56a490df0d17","datavalue":{"value":"https://doi.org/10.1007/s10992-011-9180-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q427227$0DBB2153-07A2-4674-865A-A198DB04E8D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4648bc1750d734dba7468e6b21539436c3c0104d","datavalue":{"value":"W2022416907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427227$BE3A79C3-1384-49AE-A4B6-A3658E4D6CC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cd44858abd76ba6a4654ef8a7945fafeb171c3b","datavalue":{"value":{"entity-type":"item","numeric-id":1057847,"id":"Q1057847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$08114E42-48D7-4E0A-8B43-F7721C29BC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ea0932b68b7001efb4a302433a13fc2dbbe675","datavalue":{"value":{"entity-type":"item","numeric-id":4523478,"id":"Q4523478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$DF84CED1-E375-498B-88E7-1ACFECBCD6CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$80325B6B-BC5C-4EB9-969F-E27C5B5FC329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c967ae4b0fba59ac6a0c72fafaafab5e42d0c5f","datavalue":{"value":{"entity-type":"item","numeric-id":4215631,"id":"Q4215631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$90255C72-2214-4666-BF77-03CD9F64E99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f65e2c0e5569766f713b06731c3a4efec50e40","datavalue":{"value":{"entity-type":"item","numeric-id":5719494,"id":"Q5719494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$817E74B9-B985-4E7A-AF06-861F0782BF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"949bb879675a89c1b9aa86a3ed643b251ffeaf62","datavalue":{"value":{"entity-type":"item","numeric-id":1222153,"id":"Q1222153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$625E9A82-5FC9-478D-902D-452E3ABA52D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$E2DC21EC-3FE3-4E3B-9004-8F63172DBAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a99ec93e45f42a77588d167eafd60d3a3e678f6","datavalue":{"value":{"entity-type":"item","numeric-id":5736161,"id":"Q5736161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$6DBB4E22-5D08-4147-BF5E-78E3943579C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"635033911014f8fdaf6cfff24240e5cf6449e451","datavalue":{"value":{"entity-type":"item","numeric-id":4497488,"id":"Q4497488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$E18A8F24-1CB5-462C-B5C2-955879F31837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dced61c474d74b066ea6e7a2ea36e3a8679966b0","datavalue":{"value":{"entity-type":"item","numeric-id":4239945,"id":"Q4239945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$18664934-F3ED-472B-B6C8-546A1D75C0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a88cab690e6aee0b89cc4c5f026711bfe2327f8","datavalue":{"value":{"entity-type":"item","numeric-id":1170178,"id":"Q1170178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q427227$1057FB83-A4FD-4C3C-A8E3-034945A25623","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c643d6a2bd82c0f15e10624582de8b17ae9fac9a","datavalue":{"value":"10.1007/S10992-011-9180-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q427227$186D9F72-62F0-40CB-9DC4-D587D96001E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17245aa70237b6b203bc8f14308d12e9ff58ae7","datavalue":{"value":{"entity-type":"item","numeric-id":4577997,"id":"Q4577997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e323357639b50dd47c03cbf2b1a0ddf161a641e","datavalue":{"value":{"amount":"+0.92195433","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":"Q427227$7A861B1A-30D2-4279-8068-05F07D0EC72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc682be5fded9282afc1f1cf48d4144ec875fd7","datavalue":{"value":{"entity-type":"item","numeric-id":6064273,"id":"Q6064273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af19d7908ac46bdde2f10db18b87e04408bc7b6","datavalue":{"value":{"amount":"+0.8535912","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":"Q427227$19C52D81-0BFD-4495-AF78-21C4683CE9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e5c0238317d5c9b909205f0bc2060628f4b38fe","datavalue":{"value":{"entity-type":"item","numeric-id":1404042,"id":"Q1404042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eea61669d5665f8fc622d7356165a13029a8a85","datavalue":{"value":{"amount":"+0.8351623","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":"Q427227$EA80DDF0-87FC-408C-8AF6-88E2F6C6BF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d23bf58c85c8bd2d658f1ba7b6e64661bbde824","datavalue":{"value":{"entity-type":"item","numeric-id":4793041,"id":"Q4793041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"028e9a554417d064b33cf0e52e7ff5c5d0e5f4d1","datavalue":{"value":{"amount":"+0.8324832","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":"Q427227$CC8A05AC-1F6A-4F7C-A5D0-2F89C6E10236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b714741be98a7d39f7a5922d17cfa78593314a9f","datavalue":{"value":{"entity-type":"item","numeric-id":1583770,"id":"Q1583770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced95ef9ca3bd8e15be796fc3b5dba22674eed7c","datavalue":{"value":{"amount":"+0.8323071","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":"Q427227$CC9A359F-7BB0-4C1A-BF9D-13C59C99AC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"975a82b152eae1c1fd790eb9d3390eaef6dcc43b","datavalue":{"value":{"entity-type":"item","numeric-id":5140123,"id":"Q5140123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf59ed234d65c15185b8db9e55bc23bbaa8706e","datavalue":{"value":{"amount":"+0.827184","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":"Q427227$278D3A40-8DD8-43CA-8591-AD7228A17BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccb1cc521a8d5a18a383e2ff8247bec71d797481","datavalue":{"value":{"entity-type":"item","numeric-id":510710,"id":"Q510710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c410c4b1911b8bb4a4a8a86b43b23b1b28b7c7f","datavalue":{"value":{"amount":"+0.822608","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":"Q427227$6EB510CA-6B9E-4FC8-836E-6FF201CBCB9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35fdf05f2a57224275ff137dbf31f04536c1b33a","datavalue":{"value":{"entity-type":"item","numeric-id":4888325,"id":"Q4888325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb9facf417fcf67fe29af209847326514003655b","datavalue":{"value":{"amount":"+0.82059205","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":"Q427227$420D8553-60CB-4090-87B7-4A2CEAFB9899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c86d5ca6ceddd673a121fce66825200e518dd58","datavalue":{"value":{"entity-type":"item","numeric-id":3550708,"id":"Q3550708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff6cbc69f4806a6ab731dfca4f9217bf6999e78","datavalue":{"value":{"amount":"+0.81817317","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":"Q427227$B061110D-CD7C-4B7E-98D7-4C8A3BF33A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5a401adf0600a4a5d7272a1b0cf3403ba24663f","datavalue":{"value":{"entity-type":"item","numeric-id":381241,"id":"Q381241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f865f263543491ac84e6a7046ca855467b353b0","datavalue":{"value":{"amount":"+0.81744725","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":"Q427227$40D5A82A-F978-4B4B-8965-C75AA84EDDFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strict finitism and the happy sorites","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strict_finitism_and_the_happy_sorites"}}}}}