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 stat