When Mathematics Became a Proposition: IV. When One Statement Became Many

We began with one equation:

x + 2 = 5

To solve it, we produced another:

x = 5 − 2

And then another:

x = 3

There are now three clauses.

But they do not constitute three independent statements.

They form one continuing mathematical act.

The first clause gives us the problem.

The second reorganises the relation.

The third gives us the solution.

Each new clause takes up what has already been established and makes a further claim about it.

This is why solving an equation is more than a sequence of calculations.

It is a clause complex.

The successive clauses are successive elaborations of the first. The second is acceptable because it follows validly from the first. The third is acceptable because it follows validly from the second.

The process therefore has a peculiar kind of continuity.

We are not changing the proposition arbitrarily.

We are continually restating the same mathematical relation in a new form.

The equation changes, but what it construes as mathematically equivalent is preserved.

And this is where the interpersonal dimension begins to become difficult to ignore.

Each clause is a proposition.

A proposition is something that can be stated.

But each new proposition also makes itself answerable to the one before it.

x + 2 = 5

x = 5 − 2

x = 3

The second statement implicitly says:

This follows from what we have just established.

The third says the same.

There is no need for another speaker to reply.

No one has taken a conversational turn.

The mathematician is still speaking in one continuous turn.

Yet the propositions are not simply sitting beside one another. Each one is constrained by the validity of the preceding one.

This is different from ordinary dialogue.

In conversation, one participant can make a statement and another can accept it, reject it, question it or respond to it in some other way.

In solving an equation, the successive statements are produced by the same participant.

There is no exchange of turns.

But there is still something that can be tested.

A transformation can be valid or invalid.

A step can follow from what has already been established—or fail to follow.

The mathematical discourse therefore carries its own requirement of validity from one clause to the next.

We do not need to call this an internal dialogue.

The more immediate fact is simpler.

One statement has become many, while remaining one continuing mathematical argument.

And that gives us a new question.

What exactly does it mean for one mathematical statement to be valid in relation to another?

Because once validity enters the picture, we are no longer dealing only with what a mathematical proposition means.

We are dealing with the status of that proposition in relation to other participants who may accept it, challenge it, or demand that it be demonstrated.

The equation has begun to talk back.

Not by taking another turn.

But by making every further turn answerable to what has already been said.