9. Looking Back

Stefan Kober

How Formal Systems Reorganize Belief

This essay explored a series of formal systems in which mechanisms of conviction formation become particularly visible.

Conviction formation theory calls these mechanisms conviction patterns: recurring ways in which people become convinced in practice under certain conditions. The essay tried to make them visible in the context of formal systems by letting the reader observe them and experience their convincing force.

The domains examined in this essay illustrated several such patterns. In counting, pairing, and geometry conviction stabilized through simple, inspectable procedures that different observers can perform and verify. Measurement showed how conviction can remain stable even when exact agreement disappears, as long as comparisons remain repeatable. The discovery of incommensurability revealed another important feature: even successful frameworks of reasoning may turn out not to cover all the cases they had seemed able to contain. Logic and proof then demonstrated how reasoning itself can be turned into an inspectable procedure by constructing systems whose steps are explicit and publicly checkable. Probability and statistics showed how conviction can stabilize even when individual outcomes remain uncertain, as long as reliable patterns appear in repeated observations. Games finally revealed environments in which the formation and revision of conviction can be watched under repeated feedback.

These domains differ greatly in subject matter, yet they share a common feature. Each creates conditions in which certain conviction patterns become especially clear and reproducible. Taken together they suggest a recurring structure. Convictions tend to stabilize in these domains when procedures are explicit, objects are stable, steps are small enough to inspect, results can be repeated, and disagreements can be resolved by returning to the process itself.

Formal systems such as logic, probability, or statistics do not generate conviction out of nothing. Their convincing force depends on earlier patterns of conviction formation that people already experience as compelling. Any attempt to justify these systems beyond showing the convincing forces must rely on some of the very mechanisms it seeks to explain.

Conviction formation theory can thus only proceed from within these lived patterns of conviction, attempting to illuminate how they operate without grounding them in a more ultimate foundation.

The domains examined here were deliberately limited. This essay focused on a small range of formal systems in which conviction formation becomes especially visible. There is probably no complete list of such mechanisms. New environments may reveal additional patterns, while others may work only for certain individuals or in certain historical contexts. The absence of a single ultimate foundation, or of a final complete list, does not make convictions disappear or deprive them of force. It does so only if one already is convinced that all convictions must answer to such a foundation.

Conviction actually forms and stabilizes through multiple mechanisms. When these mechanisms point in different directions, there is no clear standpoint outside conviction from which they can be finally ranked. Their weighing is itself another play of conviction formation.

No one can avoid forming convictions. They arise as naturally as perception itself. We do not choose whether they appear, only how we respond to them. Conviction formation is a fact of life.

In perception it is widely accepted that what we see is not a simple copy of the world, but the result of active processes that organize incoming signals into a stable perspective. In conviction formation we are less willing to accept this. We tend to think of ourselves as the sovereign authors of our convictions, as if we could stand outside the processes that produce them and govern them from above. If the interpretation of the examples examined in this essay are convincing, that picture is difficult to sustain, and so is the idea that all of them must answer to one foundation.

In that sense conviction formation theory is less a final foundation than a map: an attempt to make visible the diverse ways in which convictions arise, stabilize, change, and fade.