Uncomputable Thought (excerpted from p. 481)

A

(P)

If the scientific study S of a's, guided by the maxim that a's are F's of type T, is not to be at best merely a bridge to future work which, unlike S, is veridical, then a's are F's of type T.

(2*)

AI is the scientific study of people from an information-processing perspective, and is guided by the maxim that people are computers of type 0 or less.

(4)

People aren't computers of type 0 or less.

(5)

AI is at best merely a bridge to future work which, unlike AI itself, is veridical.