pith. sign in

arxiv: 2605.20225 · v1 · pith:AKWZAB72new · submitted 2026-05-14 · 🧮 math.HO · math.LO· math.NT

Extensionalism without Logicism: Ambrose and Extensional Logic

Juan J. Colomina-Alminana This is my paper

Pith reviewed 2026-05-21 08:46 UTC · model grok-4.3

classification 🧮 math.HO math.LOmath.NT
keywords Alice Ambroseextensional logiclogicismmaterial infinityfinitist extensionalismintuitionismexistential claimsphilosophy of mathematics
0
0 comments X

The pith

Alice Ambrose maintains the rigor of extensional logic without adopting logicism's commitment to material infinity.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines Alice Ambrose's early writings from 1931 to 1934 to show she keeps the strictness of extensional logic while rejecting logicism. She does this because logicism requires material infinity, which she avoids by focusing only on classes, relations, and propositions through their members and truth values. Ambrose reformulates existential claims, such as those involving pi, as infinite disjunctions of concrete instances that gain meaning solely through a finite stopping rule yielding a witness. This places her as a transitional figure between Russell's formalism and Brouwer's intuitionism, offering a finitist extensionalism. A sympathetic reader cares because the approach allows mathematical claims to remain rigorous without infinite metaphysical commitments.

Core claim

Drawing primarily on her early work (1931-1934), 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), the paper demonstrates how Ambrose offers a practice oriented statement of finitist extensionalism. Employing only extensional methods, Ambrose reformulates an existential claim about pi as an explicit infinite disjunction of concrete instances insisting, against intensional

What carries the argument

the reformulation of existential claims about pi as an explicit infinite disjunction of concrete instances that requires a finite stopping rule to produce a witness

Load-bearing premise

Ambrose's 1931-1934 writings can be read as a coherent rejection of logicism specifically on grounds of material infinity and as a transitional position between Russell's formalism and Brouwer's intuitionism.

What would settle it

A close reading of Ambrose's texts showing that she permits existential claims about pi without requiring a finite stopping rule and witness would falsify the attributed finitist extensionalism.

Figures

Figures reproduced from arXiv: 2605.20225 by Juan J. Colomina-Alminana.

Figure 1
Figure 1. Figure 1 [PITH_FULL_IMAGE:figures/full_fig_p031_1.png] view at source ↗
read the original abstract

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, relations, and propositions by reference to their members and truth values instead of mental processes), Ambrose reformulates an existential claim about pi as an explicit infinite disjunction of concrete instances insisting, against intensional projects, that such claims gain meaning only through a finite stopping rule that produces a witness.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. Drawing primarily on Alice Ambrose's early work (1931-1934), the paper argues that she develops a philosophical project centered on preserving the rigor of extensional logic while rejecting logicism due to its commitment to material infinity. Ambrose is positioned as a transitional figure between Russell's formalism and Brouwer's intuitionism, offering a practice-oriented finitist extensionalism. Using only extensional methods (evaluating classes, relations, and propositions by members and truth values rather than mental processes), she reformulates existential claims about pi as explicit infinite disjunctions of concrete instances, insisting that such claims gain meaning only through a finite stopping rule that produces a witness.

Significance. If the interpretive claims are supported by detailed textual evidence, the paper would contribute to the historiography of early 20th-century philosophy of mathematics by identifying Ambrose as an overlooked transitional thinker who decouples extensional logic from logicist metaphysics. The emphasis on practice-oriented finitism provides a concrete framework for understanding the move toward constructivism, and the historical analysis of selected works offers a basis for re-evaluating the development of finitist ideas in this period.

major comments (1)
  1. The central interpretive claim (as summarized in the abstract) that Ambrose maintains pure extensionalism while reformulating existential claims about pi as infinite disjunctions whose meaning requires a finite stopping rule yielding a witness raises an internal consistency issue. An infinite disjunction is infinitary by construction, and mandating a finite witness/procedure imports a constructive verification step that, per the paper's own definition of extensional methods, is not required. Specific passages from the 1931-1934 texts must be supplied to demonstrate how this hybrid avoids undermining the extensionalist position and supports the transitional placement between Russell and Brouwer.
minor comments (2)
  1. The abstract would benefit from an explicit statement of the paper's main thesis in the first sentence for improved clarity.
  2. Ensure that all references to Ambrose's works include precise publication details and page numbers for the cited passages.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thoughtful and detailed report. The concern about internal consistency in our interpretation of Ambrose's finitist extensionalism is well-taken, and we will revise the manuscript to supply additional direct textual evidence from the 1931-1934 works while clarifying how the finite stopping rule functions within an extensional framework.

read point-by-point responses

  1. Referee: The central interpretive claim (as summarized in the abstract) that Ambrose maintains pure extensionalism while reformulating existential claims about pi as infinite disjunctions whose meaning requires a finite stopping rule yielding a witness raises an internal consistency issue. An infinite disjunction is infinitary by construction, and mandating a finite witness/procedure imports a constructive verification step that, per the paper's own definition of extensional methods, is not required. Specific passages from the 1931-1934 texts must be supplied to demonstrate how this hybrid avoids undermining the extensionalist position and supports the transitional placement between Russell and Brouwer.

    Authors: We agree that the manuscript would benefit from more explicit textual support on this point. Ambrose's reformulation treats the infinite disjunction as a collection of concrete, evaluable propositions whose truth values are determined extensionally by reference to their instances, without appeal to mental processes or intensional content. The finite stopping rule is presented not as an imported constructive act but as the extensional criterion that renders the disjunction meaningful in practice—i.e., the claim is significant only when a finite procedure can identify a verifying member. This remains consistent with her rejection of material infinity while preserving extensional evaluation of classes and relations. In the revision we will insert direct quotations from Ambrose's 1931–1934 papers (particularly her discussions of existential statements and the logic of classes) to show how she articulates this position. These additions will also sharpen the contrast with Russell's acceptance of actual infinities and with Brouwer's reliance on mental constructions, thereby reinforcing the transitional placement. revision: yes

Circularity Check

0 steps flagged

No significant circularity in historical-philosophical interpretation

full rationale

The paper advances an interpretive thesis about Alice Ambrose's early writings by drawing on primary historical sources (1931-1934 texts) and standard philosophical distinctions between extensional and intensional logic. No equations, fitted parameters, or self-referential definitions appear; the central positioning of Ambrose as transitional between Russell and Brouwer rests on textual exegesis rather than any reduction of a derived claim to its own inputs by construction. Self-citations, if present, are not load-bearing for the core argument, which remains externally anchored in cited Ambrose material and conventional logic distinctions. This is the normal, non-circular outcome for a self-contained historical analysis.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

This is a historical and philosophical analysis paper. No free parameters, mathematical axioms, or invented entities are introduced in the technical sense used by the scoring system.

pith-pipeline@v0.9.0 · 5667 in / 1126 out tokens · 49607 ms · 2026-05-21T08:46:55.630583+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages

  1. [1]

    Proceedings of the Tenth International Congress of Philosophy, (Amsterdam, 1948), V ol

    “Consciousness, Philosophy and Mathematics. Proceedings of the Tenth International Congress of Philosophy, (Amsterdam, 1948), V ol. III, 1235–1249. Reprinted in L. E. J. Brouwer, Collected Works, V ol. 1: Philosophy and Foundations of Mathematics, 482–493. (A. Heyting, Ed., E. Beth, Trans.) Amsterdam: North-Holland,

    work page 1948

  2. [2]

    Radio Address at the Society of German Natural Scientists and Physicians ,

    “Radio Address at the Society of German Natural Scientists and Physicians ,” September 8, translated to English by J.T. Smith, Convergence 11(2014): 1-3. 30 Jourdain, P. E. B

    work page 2014

  3. [3]

    Alice Ambrose and Women’s Work in the Foundations Debate at the University of Cambridge, 1932 –1937

    “ Alice Ambrose and Women’s Work in the Foundations Debate at the University of Cambridge, 1932 –1937.” In Landon D. C. Elkind and Alexander Mugar Klein (Eds.), Bertrand Russell, Feminism, and Women Philosophers in his Circle (pp. 115- 160). Cham: Springer Verlag. Ramsey, F. P

    work page 1932