Despite his new eyes, man was still rooted in matter, his soul spun into it and subordinated to its blind laws. And yet he could see matter as a stranger, compare himself to all phenomena, see through and locate his vital processes. He comes to nature as an unbidden guest, in vain extending his arms to beg conciliation with his maker: Nature answers no more, it performed a miracle with man, but later did not know him. He has lost his right of residence in the universe, has eaten from the Tree of Knowledge and been expelled from Paradise. He is mighty in the near world, but curses his might as purchased with his harmony of soul, his innocence, his inner peace in life’s embrace.
— Peter Wessel Zapffe, The Last Messiah
The evolutionary debunking argument states that the project of moral philosophy relies on reflective equilibrium, which depends on our intuitions. But there’s little reason to believe that these intuitions map to objective moral truths: they emerged from psychological dispositions shaped by evolutionary pressures. Thus, moral theories built on reflective equilibrium (which includes all serious theories, according to Rawls) can’t claim to be objective.
This reasoning holds, but it applies equally to math: a discipline widely considered the paragon of objective a priori knowledge.
Reflective equilibrium involves adjusting our general principles (or theories) to better fit our considered judgments (specific beliefs about particular cases), and vice versa. This iterative process is not merely an exercise in empirical analysis or logical deduction; it requires engaging with metaphysical modalities - the understanding of possibilities, necessities, and impossibilities beyond the actual world.
First, considering metaphysical modalities allows us to expand the scope of our reflection beyond immediate and empirical realities. When forming general principles, philosophers often ask questions like "Could there be a world where X is true?" or "Is it necessarily the case that Y follows from Z?". These questions prompt us to consider not just what is, but what could be, leading to a more robust and comprehensive set of principles.
Second, in evaluating specific judgments, reasoning about metaphysical modalities helps to test the limits and applicability of our beliefs. For example, when we consider a moral dilemma, we don't just think about what is morally right in this particular case; we also consider whether our judgment would hold in all possible worlds where the circumstances are slightly altered. This thought experiment ensures that our judgments are not merely reactive to specific situations but are grounded in principles that hold across various possible scenarios.
Put formally, a methodology central to reflective equilibrium takes this form:
Propose a universal claim: ◻∀x. P(x) → Q(x)
Consider a case where judgement leads to a different conclusion: ◇∃x. P(x) ∧ ¬Q(x)
Either reject the universal claim, or shift your case judgement to accept the conclusion.
In moral philosophy, even the most systematic analyses find that there are multiple conflicting intuitions at the foundation of ethics that can't be resolved internally.
In his Method of Ethics, Henry Sidgwick argues for utilitarianism by starting with a small set of principles known through intuition and reasons to arrive at utilitarianism. In fact, Sidgwick claims that Intuitionism is required to provide a rational basis for Utilitarianism by noting that certain moral maxims, such as the maxim of universal benevolence and the principle of rational prudence, are based on certain principles that are known through intuition.
However, Sidgwick importantly realized that two contradictory, yet equally rational, intuitive principles underpinned ethics: egoism and rational benevolence. To Sidgwick, this "dualism of practical reason" is unavoidable because utilitarianism and egoism are equally rational because both are based on irrefutable self-evident intuitions.
Mathematics, widely considered the most objective a priori discipline, also uses reflective equilibrium at its most fundamental levels when considering what axiomatic system to use.
For example, the axiom system of Frege's Logicism consisted of an intuitive set of axioms that seemingly provide a logical foundation for all of the mathematics based on the principles of set theory, faced disapproval on the grounds of intuitive judgments even before Russell's paradox exposed a blatant contradiction in it. For example, it implied the existence of sets of all conceivable kinds, including those that could contain themselves or sets of all sets, which did not align with the traditional mathematical intuition of what a set should be.
More recently, The Banach-Tarski Paradox, a result in set-theoretic geometry derived within the framework of Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC), has been a source of contention. This paradox states that a solid ball in 3-dimensional space can be divided into a finite number of disjoint subsets, which can then be reassembled in a way to yield two identical copies of the original ball. While mathematically sound within ZFC, this conclusion defies conventional spatial and physical intuition, which can lead one to question aspects of ZFC, particularly the Axiom of Choice. Critics of ZFC argue that the ability to derive such counterintuitive outcomes challenges the philosophical and practical foundations of this axiom system, contending that an axiom system that allows for such paradoxical results might be too disconnected from the intuitive notions of space and volume, leading some to reject ZFC and propose alternative axiom systems, in the same way that a moral philosopher considering the repugnant conclusion may reject hedonistic utilitarianism or modify its core principles.
Both moral philosophy and meta-mathematics are guilty of reflective equilibrium. We encounter cases where fundamental intuitions conflict, leading to different axiom systems in mathematics or different ethical frameworks in philosophy. Yet we typically don't conclude that mathematical truth is merely relative.
← back