If mathematical objects do not exist independently of articulation, it is not obvious what they are.
The familiar positions are no longer available.
They cannot be:
entities existing in a Platonic realm
mere marks or symbols on a page
mental constructions in a subject
Each of these attempts to secure mathematics by placing its objects somewhere.
But the problem remains:
what are mathematical objects, if they are nowhere?
1. The Failure of Platonism
Platonism asserts:
numbers, sets, and structures exist independently
mathematics discovers them
truth is correspondence to this domain
This fails for a familiar reason:
independent existence cannot be specified without articulation
To say what a number is:
already requires distinction
already requires structure
already requires meaning
So the supposed “independent object”:
depends on the articulation used to specify it.
Platonism does not secure mathematics.
It:
presupposes what it attempts to ground.
2. The Failure of Nominalism
Nominalism rejects independent objects and claims:
mathematics is just symbol manipulation
numbers are names
structures are formal systems
But this fails in the opposite direction.
Symbols alone do not explain:
stability
necessity
invariance
A string of marks:
can be rearranged arbitrarily
does not constrain its own interpretation
So nominalism loses:
the structure that makes mathematics mathematics.
3. What Must Be Preserved
Any account of mathematical objects must explain:
their apparent necessity
their stability across contexts
their independence from particular representations
their capacity for rigorous proof
Without appealing to:
independent existence
subjective construction
4. The Minimal Condition
We begin, as before, with distinction.
A mathematical object requires:
structured distinction.
Not:
an isolated mark
a single symbol
But:
a system of relations
governed by constraint
capable of articulation
A “number” is not a thing.
It is:
a position within a structured system of distinctions.
5. Objects as Positions in Structure
Consider a simple case.
The number “2” is not:
an entity located somewhere
a symbol “2” on a page
It is:
what is defined by its relations within a system
For example:
successor of 1
predecessor of 3
the result of 1 + 1
Remove the structure:
nothing remains to identify it
So the object is not prior to structure.
It is:
constituted by structure.
6. Constraint and Admissibility
Not every structure yields viable objects.
A mathematical system must:
maintain coherence
avoid contradiction
support stable articulation
Constraint determines:
which structures can hold.
Objects emerge only within:
admissible structures.
7. Independence Without Independence
Mathematical objects appear independent because:
they do not depend on particular instances
they remain stable across representations
they can be re-articulated without change
This is real.
But it is not independence in the classical sense.
It is:
invariance across admissible construals.
The object is not outside articulation.
It is:
what remains stable within it.
8. Objects as Stabilised Articulation
We can now state the position precisely.
Mathematical objects are not:
independently existing entities
mere symbols
mental contents
They are:
stabilised structures of distinction within constrained systems of articulation.
They:
persist through recurrence
hold under variation
integrate within larger structures
9. No Location, No Substance
Crucially:
mathematical objects are nowhere
they have no substance
they are not “made of” anything
They do not need:
a realm
a medium
a substrate
They are:
what holds structurally.
10. Why This Is Not Reduction
This account does not reduce mathematics to:
language alone
formal systems alone
human activity alone
Because:
structure is not arbitrary
constraint is not imposed externally
stability is not optional
Mathematics is not constructed freely.
It is:
discovered within the limits of what can stabilise.
11. The Reframed Answer
We can now answer clearly:
mathematical objects are not things
they are not located
they are not independent
They are:
positions within stabilised structures of constrained articulation.
12. The Short Answer
What are mathematical objects?
They are:
invariant structures of distinction that stabilise under constraint across admissible articulations.
Next
This leads directly to the central question:
if objects are structured this way, what makes mathematical statements necessary?
That will be the focus of Post 2.
No comments:
Post a Comment