Epistemic Morality

The distinction between truth and error is the sole objective foundation of morality.

Morality is objective and all persons are fallible. If morality must apply universally to all fallible agents, it must be grounded in a condition they all necessarily share.

Definitions

Truth: Correspondence between a claim and reality.

Error: Acting on or adopting a claim that fails to correspond to reality.

Theorem

Premises:

1. All persons are fallible (Universal Fallibility).
2. Morality is objective: it applies universally, independent of preference.
3. An objective morality must be grounded in a condition shared by all fallible agents.
4. The distinction between truth and error is the only condition that all fallible agents necessarily share.

Therefore, the distinction between truth and error is the only possible objective foundation for morality.

Necessity

Some candidates for a universal moral foundation are contingent: they depend on circumstances that could be otherwise. Pleasure, suffering, desire, and authority vary between agents and across conditions. None is entailed by fallibility. Any moral foundation grounded in contingent conditions fails the requirement of objectivity.

Other structural features are entailed by fallibility: finitude, the capacity for conjecture, the capacity for error correction. These are shared by all fallible agents but cannot ground morality because they provide no direction for action. Finitude is a descriptive fact. The capacity for conjecture is an ability. The capacity for error correction is a mechanism that presupposes the truth/error distinction: you cannot correct errors without a distinction between truth and error.

The truth/error distinction is both structural and directional. If you can be wrong, you necessarily face the possibility of error. This follows from the definition of fallibility, not from circumstance. And it prescribes a direction: toward truth, away from error.

Since morality reduces to truth and error, a moral foundation must be evaluable for truth. Claims grounded in uncriticizable authority are arbitrary, have no epistemic standing, and therefore cannot ground morality.

Prescriptive Force

The Is-Ought Problem establishes that prescriptive claims cannot be derived from descriptive claims. This argument does not violate that constraint.

It does not derive "ought" from any description of the world. It identifies what morality must be about, given two prior conclusions: that morality is objective and that all agents are fallible. The prescriptive force comes from the structure of these commitments, not from contingent facts.

Corollary

To act morally is to reduce error and preserve openness to truth.

To act immorally is to entrench error or suppress correction.

2025-10-01 Aaron Brinton
2026-02-10 restructured; grounded in published articles
2026-02-11 added definitions; strengthened Necessity section