arxiv: 2604.17296 · v1 · submitted 2026-04-19 · 🧮 math.LO

Recognition: unknown

Strict potentialism in modal mirrors

{\O}ystein Linnebo

Pith reviewed 2026-05-10 05:28 UTC · model grok-4.3

classification 🧮 math.LO

keywords potentialismbimodal logicmirroring theoremspredicative set theoryplural logicintuitionistic logicCantor's domain principlestrict potentialism

0 comments

The pith

Strict potentialism is formalized in a classical bimodal logic whose modalities can be disabled via mirroring theorems to obtain restricted plural or intuitionistic logics.

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

The paper develops an analysis of strict potentialism, the view that mathematical objects are generated successively in an incompletable process and that truths about them are determined only as that process unfolds. It introduces two modalities—one tracking object generation and one tracking truth determination—yielding a classical bimodal logic that keeps both aspects explicit. Mirroring theorems then allow the analyst to switch off one modality or both, trading classicality for simpler logics: a restricted plural logic when object generation is turned off, and an intuitionistic logic when truth determination is turned off. The same framework is applied to reconstruct a predicative set theory in the style of Weyl, to interpret Cantor's principle that the domain of sets is never completed, and to formulate strict potentialism limited to Cantorian sets.

Core claim

Strict potentialism can be analyzed using two modalities for object generation and truth determination, yielding a classical bimodal logic. Mirroring theorems then allow switching off one or both modalities to obtain simpler restricted plural or intuitionistic logics, illustrated by applications to Weyl-inspired predicative set theory, Cantor's domain principle, and strict potentialism about Cantorian sets.

What carries the argument

Two modalities—one for successive generation of objects and one for successive determination of truths—together with mirroring theorems that relate the bimodal theory to its modal restrictions.

Load-bearing premise

That disabling a modality through the mirroring theorems preserves the intended philosophical content of strict potentialism without introducing distortions in the applications to set theory and domain principles.

What would settle it

A concrete statement about the existence or truth of a set or domain that holds under the full bimodal analysis of strict potentialism but fails when the corresponding mirrored logic is used instead.

read the original abstract

Potentialism is the view that objects are successively generated in an incompletable process. A strict version of the view adds that truths are successively determined. Strict potentialism can be analyzed using two modalities: one for the generation of objects, another for truths becoming determined. The result is a classical bimodal logic. We obtain simpler and more user-friendly theories by invoking so-called mirroring theorems to ``switch off'' one or both modalities, in return for a less classical logic. When the modality of object generation is switched off, we obtain a restricted plural logic. When the modality of truth determination is switched off, the logic becomes intuitionistic. Finally, the value of this general approach to strict potentialism is illustrated by applications to a Weyl-inspired predicative set theory, Cantor's domain principle, and strict potentialism about Cantorian sets.

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.

Desk Editor's Note private letter to a colleague

Linnebo embeds strict potentialism in a bimodal classical logic and uses mirroring theorems to recover plural and intuitionistic fragments, but the preservation of the original philosophical content under those reductions needs checking.

read the letter

Linnebo's main move is to treat strict potentialism with two separate modalities—one for successive object generation, one for successive truth determination—yielding a classical bimodal system. Mirroring theorems then let you disable one or both modalities, landing in a restricted plural logic or an intuitionistic one. The abstract sketches applications to Weyl-style predicative sets, Cantor's domain principle, and strict potentialism over Cantorian sets. That combination looks like the actual novelty: prior potentialism work has used modal logic, but the explicit bimodal setup plus the mirroring reductions to simpler systems is not a direct restatement of earlier results I know. The framework is clean on paper and could help organize thinking about incompletable processes without forcing a completed totality. The derivations are not in the abstract, so I cannot yet verify whether the mirroring steps really carry the strictness over without distortion—especially whether the intuitionistic case still enforces that some truths remain undetermined in the right way. If the theorems are just syntactic translations that ignore the intended semantics of generation and determination, the philosophical applications would weaken. The citation pattern seems standard for the area and does not look like self-referential bootstrapping. This paper is for readers already working in modal logic and philosophy of mathematics who want a formal handle on potentialist views. It is not aimed at broader set theory or computer science. The central claim is coherent on its own terms and the logic appears formally grounded, so it deserves a serious referee even if the mirroring preservation needs tightening in revision.

Referee Report

2 major / 2 minor

Summary. The paper claims that strict potentialism—objects successively generated in an incompletable process, with truths also successively determined—can be analyzed via a classical bimodal logic using separate modalities for object generation and truth determination. Mirroring theorems then allow disabling one or both modalities to recover a restricted plural logic (when object generation is off) or an intuitionistic logic (when truth determination is off), with the framework applied to a Weyl-inspired predicative set theory, Cantor's domain principle, and strict potentialism about Cantorian sets.

Significance. If the mirroring theorems are shown to preserve the successive and incompletable character of generation and determination without distortion, the work offers a technically unified modal framework for strict potentialism that reduces to more familiar non-classical logics for philosophical applications. This could clarify connections between potentialist metaphysics and logics used in predicative mathematics and set theory, providing a systematic way to explore restricted plural and intuitionistic variants.

major comments (2)

[Mirroring theorems section] The central claim relies on mirroring theorems preserving the essential content of strict potentialism (successive generation and undetermined truths) when modalities are disabled. The manuscript must explicitly verify that the intuitionistic logic obtained by switching off the truth-determination modality still enforces the intended incompletable determination of truths, without introducing distortions that alter the philosophical commitments (cf. the weakest assumption in the stress-test note).
[Applications section] In the applications to Weyl-inspired predicative set theory and Cantor's domain principle, the paper needs to demonstrate concretely (with specific translations or embeddings) that the reduced logics retain the strict potentialist features of successive object generation and truth determination, rather than merely recovering syntactic fragments.

minor comments (2)

The abstract is concise and clear, but the full manuscript should include an early section defining the bimodal language, accessibility relations, and semantics to support the classical bimodal logic claim.
Ensure that any formal statements of the mirroring theorems include explicit conditions under which they hold, to allow readers to assess preservation of content.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful and constructive report. The comments identify opportunities to make the preservation of strict potentialist commitments more explicit in both the mirroring theorems and the applications. We address each major comment below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Mirroring theorems section] The central claim relies on mirroring theorems preserving the essential content of strict potentialism (successive generation and undetermined truths) when modalities are disabled. The manuscript must explicitly verify that the intuitionistic logic obtained by switching off the truth-determination modality still enforces the intended incompletable determination of truths, without introducing distortions that alter the philosophical commitments (cf. the weakest assumption in the stress-test note).

Authors: The mirroring theorems are formulated so that disabling the truth-determination modality produces an intuitionistic logic in which propositions remain open precisely when they have not yet been determined, thereby preserving the incompletable character of truth determination. This correspondence is built into the translation and is consistent with the weakest assumption noted in the stress-test (persistence of potentiality across extensions). We agree that an explicit verification paragraph would strengthen the presentation. We will add a short dedicated discussion immediately following the statement of the relevant mirroring theorem that checks the preservation of incompletable determination against the stress-test assumptions and confirms the absence of distorting side-effects. revision: yes
Referee: [Applications section] In the applications to Weyl-inspired predicative set theory and Cantor's domain principle, the paper needs to demonstrate concretely (with specific translations or embeddings) that the reduced logics retain the strict potentialist features of successive object generation and truth determination, rather than merely recovering syntactic fragments.

Authors: The applications are intended to show that the reduced logics inherit the strict potentialist features via the mirroring construction rather than functioning as bare syntactic restrictions. For the Weyl-inspired predicative theory the restricted plural logic encodes successive generation through stage-indexed plural quantifiers; for Cantor's domain principle the same logic encodes the incompletable extension of the domain. We acknowledge that the current text could be more explicit on this point. We will revise the Applications section to include one or two concrete translation schemas (or embedding maps) for each of the two examples, making the retention of successive generation and truth determination fully visible. revision: yes

Circularity Check

0 steps flagged

No circularity: bimodal modal analysis and mirroring theorems are independently defined

full rationale

The paper introduces two distinct modalities (object generation and truth determination) to formalize strict potentialism, yielding a classical bimodal logic by definition. Mirroring theorems are invoked to disable modalities and obtain restricted plural or intuitionistic logics; these are presented as general logical constructions rather than fitted to or defined in terms of the target applications (Weyl set theory, Cantor's principle, Cantorian sets). No equation or step reduces a claimed result to its own inputs by construction, and no load-bearing premise rests solely on an unverified self-citation chain. The derivation remains self-contained against external modal logic and potentialism literature.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract; the central claims rest on standard modal logic background plus the philosophical assumption of strict potentialism and the applicability of mirroring theorems.

axioms (2)

domain assumption Objects and truths are generated successively in an incompletable process (strict potentialism).
Core view being formalized; invoked throughout the abstract.
ad hoc to paper Mirroring theorems can switch off one or both modalities while preserving adequacy for the applications.
Central technical move described in the abstract; no independent justification given here.

pith-pipeline@v0.9.0 · 5427 in / 1366 out tokens · 36737 ms · 2026-05-10T05:28:40.337825+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

300 extracted references · 13 canonical work pages

[1]

1988 , number =

Peter Aczel , title =. 1988 , number =

1988
[2]

Adams , title =

Robert M. Adams , title =. Journal of Philosophy , year =
[3]

1986 , address =

Henry Allison , TITLE =. 1986 , address =

1986
[4]

2019 , volume =

Philosophy and Phenomenological Research , title =. 2019 , volume =. doi:10.1111/phpr.12499 , pages =

work page doi:10.1111/phpr.12499 2019
[5]

Foundations of Physics , number =

David Atkinson and Porter Johnson , volume =. Foundations of Physics , number =. 2010 , doi =

2010
[6]

A New Approach to Predicative Set Theory , booktitle =

Arnon Avron , editor =. A New Approach to Predicative Set Theory , booktitle =. 2010 , lastchecked =. doi:doi:10.1515/9783110324907.31 , isbn =

work page doi:10.1515/9783110324907.31 2010
[7]

Poincar\'e-

Arnon Avron , doi =. Poincar\'e-. Bulletin of Symbolic Logic , number =
[8]

2014 , author =

Philosophia Mathematica , title =. 2014 , author =

2014
[9]

Mind and Language , YEAR =

Michael Ayers , TITLE =. Mind and Language , YEAR =
[10]

Pacific Philosophical Quarterly , YEAR =

Jody Azzouni , TITLE =. Pacific Philosophical Quarterly , YEAR =
[11]

2004 , address =

Jody Azzouni , TITLE =. 2004 , address =

2004
[12]

2016 , volume =

Andrew Bacon and John Hawthorne and Gabriel Uzquiano , journal =. 2016 , volume =

2016
[13]

Mind , title =

Alan Baker , volume =. Mind , title =
[14]

The Stanford Encyclopedia of Philosophy , editor =

Baker, Alan , title =. The Stanford Encyclopedia of Philosophy , editor =. 2015 , edition =

2015
[15]

1998 , address =

Mark Balaguer , TITLE =. 1998 , address =

1998
[16]

Journal of Semantics , year =

Chris Barker , title =. Journal of Semantics , year =
[17]

Barrow , TITLE =

J.D. Barrow , TITLE =. Seeing Further: The Story of Science and the Royal Society , PUBLISHER =. 2010 , editor =

2010
[18]

1997 , address =

Michael Beaney , TITLE =. 1997 , address =

1997
[19]

Mathematische Annalen

Heinrich Behmann. Mathematische Annalen. 1922

1922
[20]

Analysis , year =

Nuel Belnap , title =. Analysis , year =
[21]

1962 , journal =

Tasks, Super-Tasks, and the Modern Eleatics , pages =. 1962 , journal =

1962
[22]

Philosophical Review , YEAR =

Paul Benacerraf , TITLE =. Philosophical Review , YEAR =
[23]

Journal of Philosophy , YEAR =

Paul Benacerraf , TITLE =. Journal of Philosophy , YEAR =
[24]

Midwest Studies in Philosophy , year =

Paul Benacerraf , title =. Midwest Studies in Philosophy , year =
[25]

Benacerraf and His Critics , PUBLISHER =

Paul Benacerraf , TITLE =. Benacerraf and His Critics , PUBLISHER =. 1996 , editor =

1996
[26]

1935", note =

Paul Bernays. On Platonism in Mathematics , YEAR = "1935", note = "Reprinted in

1935
[27]

Set and Classes: On the Work of Paul Bernays , YEAR =

Paul Bernays , TITLE =. Set and Classes: On the Work of Paul Bernays , YEAR =
[28]

2018 , pages =

Sharon Berry , journal =. 2018 , pages =

2018
[29]

A Logical Foundation for Potentialist Set Theory , year =

Sharon Berry , editor =. A Logical Foundation for Potentialist Set Theory , year =
[30]

1988 , address =

John Bigelow , TITLE =. 1988 , address =

1988
[31]

Algorithmic Accountability and Public Reason , number =

Reuben Binns , pages =. Algorithmic Accountability and Public Reason , number =. Philosophy and Technology , year =. doi:10.1007/s13347-017-0263-5 , volume =

work page doi:10.1007/s13347-017-0263-5
[32]

Mind , year =

Max Black , title =. Mind , year =
[33]

Blanchette , title =

Patricia A. Blanchette , title =
[34]

Philosophy of Quantum Information and Entanglement , YEAR =
[35]

Studia Logica , year =

Francesca Boccuni , title =. Studia Logica , year =
[36]

Paul Artin Boghossian , title =. No\^u. 1996 , pages =

1996
[37]

Journal of Philosophy , YEAR =

George Boolos , TITLE =. Journal of Philosophy , YEAR =
[38]

Journal of Philosophy

George Boolos. Journal of Philosophy. 1984

1984
[39]

Philosophical Review

George Boolos. Nominalist Platonism , JOURNAL = "Philosophical Review", YEAR = "1985", volume = "94", number = "3", pages = "327-344", note = "Reprinted in

1985
[40]

Mind , number =

Reading the. Mind , number =. 1985 , volume =

1985
[41]

Procedings of the Aristotelian Society

George Boolos. Procedings of the Aristotelian Society. 1986/87

1986
[42]

On Beings and Sayings: Essays in Honor of Richard Cartwright

George Boolos. On Beings and Sayings: Essays in Honor of Richard Cartwright. 1987

1987
[43]

Philosophical Topics , YEAR =

George Boolos , TITLE =. Philosophical Topics , YEAR =
[44]

Meaning and Method: Essays in Honor of Hilary Putnam

George Boolos. The Standard of Equality of Numbers , BOOKTITLE = "Meaning and Method: Essays in Honor of Hilary Putnam", PUBLISHER = "Harvard University Press", pages =. 1990

1990
[45]

Proceedings of the Aristotelian Society , YEAR =

George Boolos , TITLE =. Proceedings of the Aristotelian Society , YEAR =
[46]

Bulletin of Symbolic Logic , year =

Frege's Theorem and the Peano Postulates , author =. Bulletin of Symbolic Logic , year =. doi:10.2307/421158 , volume =

work page doi:10.2307/421158
[47]

George Boolos. Is. Logic, Language, and Thought. 1997

1997
[48]

Logic, Logic, and Logic

George Boolos. Logic, Logic, and Logic. 1998

1998
[49]

Logic, Logic, and Logic , PUBLISHER =

George Boolos , TITLE =. Logic, Logic, and Logic , PUBLISHER =. 1998 , address =

1998
[50]

George Boolos and John Burgess and Richard P. and C. Jeffrey , title =
[51]

From Kant to Hilbert: A Source Book in the Foundations of Mathematics , PUBLISHER =

Nicolaus Bourbaki , TITLE =. From Kant to Hilbert: A Source Book in the Foundations of Mathematics , PUBLISHER =. 1996 , editor =

1996
[52]

1996 , journal =

Robert Brandom , title =. 1996 , journal =

1996
[53]

2020 , type =

Ethan Brauer , title =. 2020 , type =

2020
[54]

2022 , author =

Divergent Potentialism:. 2022 , author =. doi:10.1093/philmat/nkab031 , journal =

work page doi:10.1093/philmat/nkab031 2022
[55]

A Classical Modal Theory of Lawless Sequences , journal =

Ethan Brauer , doi =. A Classical Modal Theory of Lawless Sequences , journal =
[56]

Brouwer , TITLE =

L.E.J. Brouwer , TITLE =. Bulletin of the American Mathematical Society , YEAR =
[57]

Brouwer , title =

L.E.J. Brouwer , title =
[58]

Wilson , doi =

David Builes and Jessica M. Wilson , doi =. In Defense of Countabilism , volume =. Philosophical Studies , number =
[59]

Burgess , title =

John P. Burgess , title =. 2015 , publisher =

2015
[60]

Philosophia Mathematica , title =

Stefan Buijsman , pages =. Philosophia Mathematica , title =. doi:10.1093/philmat/nkab001 , year =

work page doi:10.1093/philmat/nkab001
[61]

Mind , year =

Tyler Burge , title =. Mind , year =
[62]

Tyler Burge , title =
[63]

Origins of Objectivity , year =

Tyler Burge , publisher =. Origins of Objectivity , year =
[64]

Burgess , TITLE =

John P. Burgess , TITLE =. Philosophical Review. 1984

1984
[65]

Journal of Philosophical Logic , number =

Synthetic Mechanics , year =. Journal of Philosophical Logic , number =
[66]

John P. Burgess. Frege's Philosophy of Mathematics. 1995

1995
[67]

Burgess , TITLE =

John P. Burgess , TITLE =. Notre Dame Journal of Formal Logic , YEAR =
[68]

Burgess , TITLE =

John P. Burgess , TITLE =. Philosophia Mathematica , YEAR =
[69]

Burgess , TITLE =

John P. Burgess , TITLE =. Bulletin of Symbolic Logic , YEAR =
[70]

Burgess , title =

John P. Burgess , title =. Philosophia Mathematica , year =
[71]

John P. Burgess. Fixing Frege. 2005

2005
[72]

Burgess and A.P

John P. Burgess and A.P. Hazen , TITLE =. Notre Dame Journal of Formal Logic , YEAR =
[73]

Burgess and Gideon Rosen , TITLE =

John P. Burgess and Gideon Rosen , TITLE =. 1997 , address =

1997
[74]

Studies in History and Philosophy of Science , YEAR =

Jeremy Butterfield , TITLE =. Studies in History and Philosophy of Science , YEAR =
[75]

Level Theory, Part 2: Axiomatizing the Bare Idea of a Potential Hierarchy , volume =

Tim Button , doi =. Level Theory, Part 2: Axiomatizing the Bare Idea of a Potential Hierarchy , volume =. Bulletin of Symbolic Logic , number =
[76]

1883 , address =

Georg Cantor , TITLE =. 1883 , address =
[77]

Deutscher Literaturzeitung , YEAR =

Georg Cantor , TITLE =. Deutscher Literaturzeitung , YEAR =
[78]

Zeitschrift f\"

Georg Cantor , title =. Zeitschrift f\". 1887 , volume =
[79]

Mathematische Annalen , year =

Georg Cantor , title =. Mathematische Annalen , year =
[80]

Georg Cantor and Richard Dedekind and Ernst Zermelo and Abraham Adolf Fraenkel , year =

Showing first 80 references.