Indexing the Preface Paradox

The paradox of the preface is all about rationality, simultaneously troubling and interesting.

You’ve got a set of propositions and respective evidence. An inconsistent superset is always possible at the same fallible degree of justification. These supersets are only an inference away from a contradiction. Yet simple inferences can transform between sets.

A series of rational steps leading to an irrational belief. Inconceivable!

Everyone should agree that, after the paradox is structured, belief revision is necessary. Consistency must be restored so that contradictions cannot be rationally deduced. Collecting more evidence, weakening or strenghtening justification. This is the way out. If conflicting evidence remains equally strong that’s a texbook case for belief suspension.

But the paradox is neither about justification nor probabilities. That comes afterwards, and preempting these evaluations does not help. How did we get in this situation in the first place?

What situation? You can say that irrational beliefs are okay, or that we got nowhere anyway, since rationally justified beliefs are skeptically unobtainable. Both views do ‘solve’ the paradox. Both views are also uninteresting, because that’s not what we are looking for, is it? But not irrelevant, they are telling rationality may be too vague. There is something wrong here, we just don’t know what.

The paradox is classically stated with propositions P = {p1,…,pN} supported by evidence E = {e1,…,eN}, plus the proposition P’, that “P is not entirely correct”, supported by equally strong E’. Individually, this is perfectly rational. The whole however, is inconsistent, and we are one inference away from explicit contradictions.

Naturally this partitions things into before/after incoherence. And the closure discussion is framed this way. Over what kinds of sets does rationality closure holds, where can rational inferences be made?

It may be, however, that the most productive questions are about which inferences are rational, and which are not. In cases where multiple inferences are needed in the paradox structure, it becomes clearer that irrationality is not introduced until partial inferences are made, regardless of the initial set consistency condition. It could be the deciding factor is not a property of the set, but the inference content. Rather, the lack of content in the inference. A natural consequence of this would be that partial inferences may be irrational.

But regardless of the particular results of the paradox, it is still of further interest. Rational disagreement occurs between two agents, A1 and A2, with equally strong justification. The interplay between the knowledge of an opposing epistemic peer and the sustainability of one’s initial justification is still controversial, mostly in how it relates which kinds of evidence to what precedence of justification.

However, to identify the paradox as a special case of rational disagreement, where A1 and A2 just happen to be the same agent, may be helpul. Firstly, it dispels any lingering doubts about conceptual disclosure. A1 and A2, being the same, share all evidence, all interpretation of such evidence, and all modes and contexts of inference. Yet they can still reach either opposable result. The idea that, given all these favorable conditions, there can be no disagreement, is moot.

Secondly, it means that a general solution to disagreements must handle this particular case as well. Blanket solutions like Steadfastness go further and faster into dogmatism, and the Conciliatory view falls dangerously closer to skepticism.

And thirdly, but still importantly, it may signal that a solution to disagreement problems rests less on evidence and simmetric evaluation, as currently debated, and more on rationality itself, as the paradox suggests.