Extensionalism without Logicism: Ambrose and Extensional Logic
Drawing primarily on her early work (1931-1934), I argue that Alice Ambrose develops a philosophical project centered on preserving the rigor of extensional logic while rejecting the metaphysical and epistemological endorsements of logicism because of its commitment to the notion of material infinity. Positioning Ambrose as a transitional figure between formalism (Russell) and the constructivist turn represented by intuitionism (Brouwer), I demonstrate how Ambrose offers a practice oriented statement of finitist extensionalism. Employing only extensional methods (considering classes,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2605.20225
curl -X POST /api/v1/records/arxiv/2605.20225/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2605.20225/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'