When Mathematics Became a Proposition: VII. When Mathematics Became a Conversation Without Taking Turns

We began with something that looked almost too simple to contain a grammar:

x = 3

But the equation turned out to have a textual organisation, an ideational organisation and an interpersonal one.

It could be a Theme and Rheme.

It could construe an identifying relation between Token and Value.

It could function as a proposition: something that could be stated.

Then we followed what happens when we solve an equation.

x + 2 = 5

x = 5 − 2

x = 3

One statement became many. Each new clause depended on the validity of what came before. The unknown was progressively brought into the position of the Identified, until its value could be stated.

And then another property appeared.

The propositions could be challenged.

A step could be valid or invalid. A conclusion could follow or fail to follow. A proof could establish a proposition, or a counterexample could defeat it.

Mathematics therefore has a peculiar kind of interpersonal organisation.

It does not need two people taking turns.

A proof can be written by one person, read by another, or simply worked through silently. Yet the propositions remain open to challenge. They carry a status that matters to the unfolding argument.

In this sense, mathematical reasoning begins to look rather like a conversation — but without conversational turns.

Each proposition responds to what has already been established. Each new proposition places something further into play. What comes next is constrained not only by what the symbols mean, but by what can legitimately be claimed.

The interpersonal dimension has therefore not arrived from outside mathematics.

It was there in the proposition.

Once a mathematical clause could function as something that might be accepted or challenged, mathematics was no longer merely construing relations between quantities. It was also construing relations between claims.

That may explain why mathematics can look so purely ideational while nevertheless supporting proof, argument, demonstration, objection and agreement.

Its symbols tell us what is being related.

Its propositions also tell us what may be claimed.

And once something can be claimed, it can be challenged.

Mathematics never needed to take turns.

It only needed propositions that could answer to one another.