The Pirahã and the cognitive gap in Frege's theorem: Hume's principle without the #
Frege's theorem proves that Hume's principle, in second-order logic, yields all of arithmetic. Yet the Pirahã people show one-to-one correspondence (equinumerosity) only where pairing can be enacted, with its range extended under local training, and still have no counting or arithmetic. We argue this is not a paradox but a matter of precise localization. Hume's principle includes a cardinality operator # that names cardinals as objects (often modeled as equivalence classes of equinumerous concepts), and what the Pirahã lack is not the relation but this operator. We identify the number-word…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.05838
curl -X POST /api/v1/records/arxiv/2607.05838/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.05838/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'