Suppose you identify a single crux A. Now you need to convince them of A. But convincing them of A requires you to convince them of A.1, A.2, and A.3.
Ok, no problem. You get started trying to convince them of A.1. But then you realize that in order to convince them of A.1, you need to first convince them of A.1.1, A.1.2, and A.1.3.
I think this sort of thing is often the case, and is how large inferential distances are “shaped”.
Suppose you identify a single crux
A
. Now you need to convince them ofA
. But convincing them ofA
requires you to convince them ofA.1
,A.2
, andA.3
.Ok, no problem. You get started trying to convince them of
A.1
. But then you realize that in order to convince them ofA.1
, you need to first convince them ofA.1.1
,A.1.2
, andA.1.3
.I think this sort of thing is often the case, and is how large inferential distances are “shaped”.