arxiv: 2604.04647 · v1 · submitted 2026-04-06 · 💻 cs.LO · cs.CL· cs.SC

Recognition: 2 theorem links

· Lean Theorem

On Ambiguity: The case of fraction, its meanings and roles

Jan A Bergstra , John V Tucker

Authors on Pith no claims yet

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

classification 💻 cs.LO cs.CLcs.SC

keywords ambiguityfractioncategorymathematical discoursearithmetical conceptsnumber systemsstructuralismsemantic resolution

0 comments

The pith

The term 'fraction' is ambiguous in arithmetic and functions as a category collecting several distinct concepts rather than a single mathematical idea.

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

The paper examines ambiguity in mathematical language and proposes a general method for resolving it through semantic distinctions. It focuses on 'fraction,' which the authors find ill-defined across elementary arithmetic texts, and introduces precise alternatives: fracterm for structural forms, fracvalue for numerical values, and fracsign along with fracsign occurrence for textual aspects. These distinctions allow clearer analysis in specific discourse fragments. The central proposal is that fraction operates as a collective category rather than a unified concept, which then informs a way to specify number systems and compare the approach to structuralism.

Core claim

Fraction does not qualify as a mathematical concept but that the term functions as a collective for several concepts, which we simply call a `category'. To clarify the use of `fraction' we introduce several new terms to designate some of its possible meanings. For example, to distinguish structural aspects we use `fracterm', to distinguish purely numerical aspects `fracvalue' and, to distinguish purely textual aspects `fracsign' and `fracsign occurence'. These interpretations can resolve ambiguity, and we discuss the resolution by using such precise notions in fragments of arithmetical discourse. This analysis of fraction leads us to consider the notion of number in relation to fracvalue. We

What carries the argument

The category framing of fraction, carried by the distinctions between fracterm (structural), fracvalue (numerical), and fracsign/fracsign occurrence (textual) to resolve semantic ambiguity in arithmetic discourse.

Load-bearing premise

The distinctions via new terms like fracterm, fracvalue, and fracsign plus the category framing resolve ambiguity in fraction usage across all contexts without overlooking additional meanings or introducing new complexities.

What would settle it

A concrete passage from an elementary arithmetic text in which the meaning of 'fraction' stays unclear even after replacing it with the proposed terms fracterm, fracvalue, and fracsign.

read the original abstract

We contemplate the notion of ambiguity in mathematical discourse. We consider a general method of resolving ambiguity and semantic options for sustaining a resolution. The general discussion is applied to the case of `fraction' which is ill-defined and ambiguous in the literature of elementary arithmetic. In order to clarify the use of `fraction' we introduce several new terms to designate some of its possible meanings. For example, to distinguish structural aspects we use `fracterm', to distinguish purely numerical aspects `fracvalue' and, to distinguish purely textual aspects `fracsign' and `fracsign occurence'. These interpretations can resolve ambiguity, and we discuss the resolution by using such precise notions in fragments of arithmetical discourse. We propose that fraction does not qualify as a mathematical concept but that the term functions as a collective for several concepts, which we simply call a `category'. This analysis of fraction leads us to consider the notion of number in relation to fracvalue. We introduce a way of specifying number systems, and compare the analytical concepts with those of structuralism.

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

The paper carves out new terms like fracterm and fracvalue to split up 'fraction' but stays at the level of suggestion without showing the distinctions actually reduce confusion.

read the letter

The paper's main takeaway is a proposal to split 'fraction' into more precise pieces using terms like fracterm, fracvalue, fracsign, and fracsign occurrence, plus the idea that the original word works as a category covering several related concepts rather than standing as one mathematical notion on its own. It handles the general issue of ambiguity in math talk first, then applies it specifically to fractions with examples from arithmetic discourse. That part feels practical and shows how the new labels might reduce confusion in explanations or textbooks. The authors also sketch a way to specify number systems and draw a comparison to structuralism, which adds some context without forcing a big theory. The work stays honest about its scope and doesn't claim to fix everything. It focuses on elementary arithmetic, which keeps the discussion grounded. Where it falls short is in the evidence for the proposal's effectiveness. The resolutions are illustrated but not tested against a range of cases, so it's hard to know if the distinctions hold up or if they just shift the ambiguity elsewhere. The category framing is introduced without much follow-through on what that means for how we teach or use numbers. Since there's no data or formal check, the central claim rests on the authors' analysis alone. This is the sort of piece that would interest specialists in math education philosophy or those who study how language affects learning arithmetic. It won't appeal much to people doing technical logic or formal verification. The authors engage the literature thoughtfully on their terms, so the paper deserves a serious referee to assess the novelty of the terms and the strength of the examples. I would send it out for peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript examines ambiguity in mathematical discourse with a focus on the term 'fraction' in elementary arithmetic literature. It introduces new terminology—fracterm for structural aspects, fracvalue for numerical aspects, and fracsign/fracsign occurrence for textual aspects—to resolve semantic options. The central proposal is that 'fraction' does not qualify as a single mathematical concept but functions as a 'category' collecting multiple concepts; the analysis extends to specifying number systems and comparing the approach to structuralism.

Significance. If the distinctions can be applied consistently to clarify discourse without new ambiguities, the framework could aid precision in mathematical education and logical analysis of language. The paper provides credit for its coherent terminological proposal and illustrative application to discourse fragments, along with the link to structuralism for philosophical context. However, as a primarily definitional contribution without formal derivations or empirical tests, its broader impact depends on adoption in practice.

major comments (2)

[Abstract and central proposal section] The claim that 'fraction' is a category rather than a mathematical concept (stated in the abstract and developed in the main proposal) lacks an explicit criterion distinguishing a 'mathematical concept' from a 'category'; without this, the reframing risks being circular and does not clearly demonstrate resolution of the ambiguity.
[Sections on discourse resolution and new terms] In the discussion of resolution using the new terms in arithmetical discourse fragments, the examples do not systematically test coverage against a range of literature usages or show that fracterm/fracvalue/fracsign distinctions avoid overlooking additional meanings or adding interpretive complexity, undermining the sufficiency claim.

minor comments (2)

[Abstract] The abstract would benefit from a brief upfront statement of the general method for resolving ambiguity before specializing to the fraction case.
[Final comparison section] The comparison to structuralism would be strengthened by explicit citations to key structuralist references or works.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their constructive comments, which help us clarify the presentation of our ideas on resolving ambiguity in mathematical discourse, particularly regarding the term 'fraction'. We address each major comment below.

read point-by-point responses

Referee: [Abstract and central proposal section] The claim that 'fraction' is a category rather than a mathematical concept (stated in the abstract and developed in the main proposal) lacks an explicit criterion distinguishing a 'mathematical concept' from a 'category'; without this, the reframing risks being circular and does not clearly demonstrate resolution of the ambiguity.

Authors: We acknowledge that the distinction between a mathematical concept and a category requires explicit criteria to avoid circularity. In the revised version, we will introduce a clear criterion: a mathematical concept is a term with a single, precisely defined referent in a formal system, whereas a category is a term that encompasses multiple distinct concepts sharing a common linguistic label but differing in their semantic roles (e.g., structural, numerical, or textual). This will be added to the central proposal section, demonstrating how it resolves the ambiguity by allowing precise reference to each aspect. revision: yes
Referee: [Sections on discourse resolution and new terms] In the discussion of resolution using the new terms in arithmetical discourse fragments, the examples do not systematically test coverage against a range of literature usages or show that fracterm/fracvalue/fracsign distinctions avoid overlooking additional meanings or adding interpretive complexity, undermining the sufficiency claim.

Authors: The examples in the manuscript are illustrative of how the new terminology resolves ambiguity in typical discourse fragments. We agree that a more systematic approach would strengthen the claim. In revision, we will include a broader selection of examples drawn from multiple elementary arithmetic textbooks and discuss potential additional meanings, showing that the distinctions do not add complexity but rather reduce it by disambiguating. However, a fully exhaustive survey of all literature is beyond the scope of this primarily conceptual paper. revision: partial

Circularity Check

0 steps flagged

No significant circularity: purely terminological proposal

full rationale

The paper advances a definitional and philosophical analysis of ambiguity in the term 'fraction' by introducing new labels (fracterm, fracvalue, fracsign, fracsign occurrence) and framing 'fraction' as a category rather than a single mathematical concept. No equations, derivations, fitted parameters, or predictions are present. The central claim is a terminological proposal supported by illustrative discourse fragments and comparison to structuralism; it does not reduce to any self-citation chain, self-definition, or input-by-construction. The work is self-contained as a conceptual clarification exercise with no load-bearing technical steps that could exhibit circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 5 invented entities

The paper rests on domain assumptions about language ambiguity in math and the ill-defined status of 'fraction'. It introduces multiple invented entities as new terms without independent evidence or falsifiable handles outside the proposal. No free parameters appear as the work is non-quantitative.

axioms (2)

domain assumption Mathematical terms can have multiple distinct meanings that require separation for clarity in discourse.
Invoked in the general method of resolving ambiguity.
domain assumption The term 'fraction' is ill-defined and ambiguous in elementary arithmetic literature.
Stated directly as the motivation for the case study.

invented entities (5)

fracterm no independent evidence
purpose: To designate structural aspects of fraction.
New term introduced to distinguish form from other meanings.
fracvalue no independent evidence
purpose: To designate purely numerical aspects of fraction.
New term introduced to distinguish value from structure or text.
fracsign no independent evidence
purpose: To designate purely textual aspects of fraction.
New term introduced for the written representation.
fracsign occurrence no independent evidence
purpose: To distinguish specific textual instances of fracsign.
New term introduced for occurrences in discourse.
category no independent evidence
purpose: To describe 'fraction' as a collective for several concepts rather than a single mathematical concept.
Proposed reframing of the term's status.

pith-pipeline@v0.9.0 · 5480 in / 1722 out tokens · 85389 ms · 2026-05-10T19:34:53.926156+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery theorem unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We propose that fraction does not qualify as a mathematical concept but that the term functions as a collective for several concepts, which we simply call a 'category'.
IndisputableMonolith/Foundation/ArithmeticOf.lean canonical arithmetic object unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We introduce a way of specifying number systems, and compare the analytical concepts with those of structuralism.

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

44 extracted references · 14 canonical work pages

[1]

A. Avron. What numbers really cannot be and what they plausibly are, Philosophia Mathematica, 2025.https://doi.org/10.1093/philmat/ nkaf014

work page doi:10.1093/philmat/ 2025
[2]

Anderson and J.A

J.A. Anderson and J.A. Bergstra. Review of Suppes 1957 proposals for division by zero.Transmathematica.2021.https://doi.org/10. 36285/tm.53

1957
[3]

Benacerraf

P. Benacerraf. What numbers could not be.The Philosophical Review, 74 (1), 47-73, (1965)

1965
[4]

Bergstra

J.A. Bergstra. Adams conditioning and likelihood ratio transfer me- diated inference.Scientific Annals of Computer Science, 29 (1), 1–58, (2019)

2019
[5]

Bergstra

J.A. Bergstra. Arithmetical datatypes, fracterms, and the fraction definition problem.Transmathematica, 2020.https://doi.org/10. 36285/tm.33

2020
[6]

Bergstra

J.A. Bergstra. Sumterms, summands, sumtuples, and sums and the meta-arithmetic of summation.Scientific Annals of Computer Science, 30 (2), 167-203, (2020),https://doi.org/10.7561/SACS.2020.2.167

work page doi:10.7561/sacs.2020.2.167 2020
[7]

J. A. Bergstra. Prospective, retrospective, and formal division: a contribution to philosophical arithmetic.Transmathematica, 2022. https://doi.org/10.36285/tm.71

work page doi:10.36285/tm.71 2022
[8]

Bergstra, I

J.A. Bergstra, I. Bethke. Note on paraconsistency and reasoning about fractions.Journal of Applied Non-Classical Logics, 25 (2), 120-124, (2015)https://doi.org/10.1080/11663081.2015.1047232

work page doi:10.1080/11663081.2015.1047232 2015
[9]

Bergstra and A

J.A. Bergstra and A. Ponse. Fracpairs and fractions over a reduced commutative ring.Indigationes Mathematicae27, 727- 748, (2016).http://dx.doi.org/10.1016/j.indag.2016.01.007. (See alsohttps://arxiv.org/abs/1411.4410)

work page doi:10.1016/j.indag.2016.01.007 2016
[10]

Bergstra and A

J.A. Bergstra and A. Ponse. Arithmetical datatypes with true frac- tions.Acta Informatica57, 385-402, (2020).https://doi.org/10. 1007/s00236-019-00352-8

2020
[11]

Bergstra and J.V

J.A. Bergstra and J.V. Tucker. The rational numbers as an abstract data type.Journal of the ACM, 54 (2), Article 7, (2007). 39

2007
[12]

Bergstra and J.V

J.A. Bergstra and J.V. Tucker. Which arithmetical data types admit fracterm flattening?Scientific Annals of Computer Science, 32 (1), 87–107, (2022)

2022
[13]

Bergstra and J.V

J.A. Bergstra and J.V. Tucker. Naive Fracterm Calculus,Journal of Universal Computer Science, 29 (9), 961-987. (2023)https://doi. org/10.3897/jucs.87563

work page doi:10.3897/jucs.87563 2023
[14]

Bergstra and J.V

J.A. Bergstra and J.V. Tucker. Synthetic Fracterm Calculus,Journal of Universal Computer Science, 30 (3), 289-307. (2024)https://doi. org/10.3897/jucs.107082

work page doi:10.3897/jucs.107082 2024
[15]

Bergstra and J.V

J.A. Bergstra and J.V. Tucker. Logical models of mathematical texts: the case of conventions for division by zero,Journal of Logic, Language and Information, 33, 277-298. (2024)https://doi.org/10. 1007/s10849-024-09420-w

2024
[16]

Bergstra and J.V

J.A. Bergstra and J.V. Tucker. A complete finite axiomatisation of the equational theory of common meadows,ACM-Transactions on Computational Logic, 26 (1), Article 1, (2025).https://doi.org/10. 1145/3689211

2025
[17]

https://doi.org/10.1016/j.tcs.2025.115124

J A Bergstra and J V Tucker, For rational numbers with Suppes-Ono equality, diophantine unsolvability is one-one equivalent with equa- tional validity.Theoretical Computer Science, 1034, 115124, (2025). https://doi.org/10.1016/j.tcs.2025.115124

work page doi:10.1016/j.tcs.2025.115124 2025
[18]

Bergstra and J.V

J.A. Bergstra and J.V. Tucker. Rings with common division, common meadows and their equational theories.Journal of Symbolic Logic. Published online 2024:1-27.https://doi.org/10.1017/jsl.2024.88

work page doi:10.1017/jsl.2024.88 2024
[19]

J A Bergstra and J V Tucker, Logical Models of Mathematical Texts II: Legality conventions for division by zero in inconsistent contexts, Journal of Logic, Language and Information, 2025.https://doi.org/ 10.1007/s10849-025-09438-8

work page doi:10.1007/s10849-025-09438-8 2025
[20]

Rogers Brubaker. 2025. Gender Identity: The Career of a Category. Theory and Social Inquiry1(1) (2025), 1-50.https://doi.org/10. 16995/tsi.18211

2025
[21]

Dedekind

R. Dedekind. 1887.Essays on the Theory of NumbersOpen Court Publishing Company, 1901. Also: Dover Publications Inc, 1963

1901
[22]

Dias and B

J. Dias and B. Dinis. Strolling through common meadows.Commu- nications in Algebra(2024), 1–28, DOI, URL

2024
[23]

Dias and B

J. Dias and B. Dinis. Towards an Enumeration of finite common meadows.International Journal of Algebra and Computation.(2024), DOI, URL

2024
[24]

Mathematics and conceptual analysis.Synthese161 (1) (2008) 67-88

Antony Eagle. Mathematics and conceptual analysis.Synthese161 (1) (2008) 67-88

2008
[25]

Ehrich, M

H-D. Ehrich, M. Wolf, and J. Loeckx. 1997.Specification of Abstract Data Types.Vieweg Teubner, 1997

1997
[26]

Martha E. F. Fandino Pinilla. Fractions: conceptual and didactic aspects.Acta Didactica Universitatis Comenianae, 7: 82–115 (2007). 40

2007
[27]

E Grosholz.Representation and Productive Ambiguity in Mathemat- ics and the SciencesOxford University Press, 2007

2007
[28]

Vorlesungen ¨ uber Die Complexen Zahlen Und Ihre Functionen

Hermann Hankel. Vorlesungen ¨ uber Die Complexen Zahlen Und Ihre Functionen. Leipzig: Leopold Voss (1867)
[29]

A generalized patchwork approach to scientific con- cepts.The British Journal for the Philosophy of Science

Philipp Haueis. A generalized patchwork approach to scientific con- cepts.The British Journal for the Philosophy of Science. 75 (3). https://doi.org/10.1086/716179

work page doi:10.1086/716179
[30]

(1998).From metaphysics to ethics: A defence of con- ceptual analysis.Oxford University Press

Jackson, F. (1998).From metaphysics to ethics: A defence of con- ceptual analysis.Oxford University Press

1998
[31]

A Kajander and T Boland.Mathematical Models for Teaching: Rea- soning without MemorizationCanadian Scholars Press, 2014

2014
[32]

It does not exist: infinity and division by zero in the Ontario mathematics curriculum.Canadian Journal of Mathematical Education, 18 (2018) 154-163

A Kajander and M Lovric. It does not exist: infinity and division by zero in the Ontario mathematics curriculum.Canadian Journal of Mathematical Education, 18 (2018) 154-163

2018
[33]

Frege, Hankel, and Formalism in the Foundations

Richard Lawrence. Frege, Hankel, and Formalism in the Foundations. Journal for the History of Analytical Philosophyvol. 9 no 11. (2021). DOI

2021
[34]

Lewis, D. (1970). How to define theoretical terms.Journal of Phi- losophy, 67,427-446

1970
[35]

Volume I: Mathematical Structures, Oxford University Press, 1992, 189-411

K Meinke and J V Tucker, Universal algebra, in S Abramsky, D Gab- bay and T Maibaum (eds.)Handbook of Logic in Computer Science. Volume I: Mathematical Structures, Oxford University Press, 1992, 189-411

1992
[36]

Productive ambiguity in mathematics.Logic & Philosophy of Science9 (2011): 159-164, (2011)

Gianluigi Oliveri. Productive ambiguity in mathematics.Logic & Philosophy of Science9 (2011): 159-164, (2011)

2011
[37]

H. Ono. Equational theories and universal theories of fields.Journal of the Mathematical Society of Japan, 35(2), 289-306, (1983)

1983
[38]

Catapang Podosky, P. M. (2026). Canberra Didn’t Plan for Gender. Philosophical Exchange, 1-9.https://doi.org/10.1080/29960126. 2025.2587347

work page doi:10.1080/29960126 2026
[39]

Troubles with the Canberra Plan.Synthese199 (2021), 4039-4060.https://doi.org/10.1007/s11229-020-02968-7

Raatikainen, P. Troubles with the Canberra Plan.Synthese199 (2021), 4039-4060.https://doi.org/10.1007/s11229-020-02968-7

work page doi:10.1007/s11229-020-02968-7 2021
[40]

E. H. Reck. Dedekind’s structuralism: An interpretation and partial defense.Synthese,137, pp. 369-419 (2003)

2003
[41]

Public policy and superintelligent AI: A vector field approach

Erich H. Reck and Georg Schiemer (editors).The Prehistory of Mathematical StructuralismOxford University Press (2020). 10.1093/oso/9780190641221.003.0001

work page doi:10.1093/oso/9780190641221.003.0001 2020
[42]

Reck and Georg Schiemer

Erich H. Reck and Georg Schiemer. Introduction and overview. in: [41] (2020)

2020
[43]

Suppes.Introduction to Logic

P. Suppes.Introduction to Logic. Van Nostrand Reinhold Company (1957)

1957
[44]

B. L. van der Waerden.Modern Algebra. Volume 1. Frederick Ungar Publishing Company, 1970. 41

1970