1. Introduction

Stefan Kober

How Formal Systems Reorganize Belief

The Standpoint Of This Investigation

Convictions arise, some of them stabilize while others fracture, and coherence can exert a powerful pressure on belief. These are features of our intellectual life that we encounter constantly.

Conviction formation theory begins from these observations. It examines how convictions form, how they become stable, and under what conditions they begin to change. In that sense it can be understood as a branch of philosophy, located at the intersection of epistemology, logic, and several neighboring fields concerned with belief, reasoning, and judgment.

Conviction formation theory shifts the level at which these phenomena are addressed. Instead of treating them as symptoms of an underlying metaphysical order that must ultimately be secured, it treats them as structural features of finite orientation in the world. They are not puzzles to be solved by stepping outside conviction, but patterns to be understood from within it.

In doing so, the role of truth changes. Truth no longer functions as the final justification of conviction. Instead, it serves as the best available explanation for the remarkable coherence, stability, and practical success of our most disciplined practices of inquiry. Truth is not treated as a metaphysical foundation beneath conviction, but as a hypothesis that helps explain why certain convictions persist, converge, and prove resilient in practice.

Within this perspective the demand to justify convictions by appeal to ultimate foundations loses much of its force. Convictions can be held without pretending to final certainty. Action remains possible without metaphysical guarantees, and meaning does not depend on absolute foundations. Fallibility does not imply illegitimacy. One can be committed and still remain revisable.

Conviction formation theory also treats questioning as the active counterpart of conviction. Questions direct attention, probe assumptions, and open spaces where conviction has not yet stabilized.

In situations where feedback is slow, information incomplete, or consequences distant, conviction often cannot settle firmly. In such cases reasoning frequently takes the form of strategy: provisional orientations that guide action without requiring full conviction.

Conviction formation theory has a deliberately limited scope. It does not attempt to explain consciousness, which largely lies outside its reach. It has little to say about the nature of time or the ultimate structure of reality.

Compared to the vast landscape of philosophical questions, it is a narrowly focused theory. It attempts to illuminate only one aspect of our intellectual life: how convictions form, stabilize, and sometimes fracture.

Conviction formation theory consists of two closely connected parts. The first clarifies the concepts involved in conviction formation and the relations between them. The second examines the patterns through which convictions actually form, stabilize, and become shareable.

The conceptual framework was developed in the five foundational essays elsewhere on this page. The present essay pursues the second task.

The Structure Of This Investigation

Some of the structures that exert particularly strong pressure on conviction are formal systems. They often appear stable, transparent, and resistant to arbitrariness. In many cases, the force they exert rivals that of direct perception under clear conditions.

Understanding why this is so does not require stepping outside conviction. In this essay we will instead observe how conviction behaves when it is subjected to such strict constraints.

We will begin with small, elementary examples: counting, adding, applying numbers to concrete situations. If formal systems exert distinctive pressure on conviction, that pressure should already be visible in such simple cases.

The aim is not to show that these examples must convince everyone. Conviction does not operate uniformly across persons or contexts. The aim is more modest: to identify recurring stabilization patterns, to observe where conviction typically settles under formal constraint, and to examine what features make such stabilization likely.

Recurring stabilization patterns are the main object of applied conviction formation theory. What we are analyzing are the conditions under which conviction tends to become stable.

The investigation proceeds largely through concrete examples, presented in narrative form. These do not function as proofs. A single story cannot establish a general claim. But when many independent cases exhibit similar patterns of stabilization and fracture, they can gradually shift how a phenomenon is seen. In that sense, the present essay is itself an experiment in conviction formation: by observing a series of concrete situations, the reader may find their own convictions about conviction formation shifting.

The narrative form reflects a difficulty in the nature of this investigation. There is no established structure to follow yet. We are trying to create a map of the terrain, not present the finished map in a structured form.

The term formal systems is used in a broad sense. It includes not only symbolic calculi, but any constrained procedures and diagrammatic practices in which steps can be inspected and checked by others.