One point of confusion for me: You talk about axiomatic faith in logic (which is necessary in some form to bootstrap your introspective thinking process), but then abruptly switch to talking about “the last ten million times that first-order arithmetic has proven consistent”, a statement of observed prior evidence about learned arithmetic. Both points are valid, but it seemed a non sequiter to me to abruptly go from one to the other.
Oh well, off to cast half a vote in the Michigan Primary.
Another solid article.
One point of confusion for me: You talk about axiomatic faith in logic (which is necessary in some form to bootstrap your introspective thinking process), but then abruptly switch to talking about “the last ten million times that first-order arithmetic has proven consistent”, a statement of observed prior evidence about learned arithmetic. Both points are valid, but it seemed a non sequiter to me to abruptly go from one to the other.
Oh well, off to cast half a vote in the Michigan Primary.