It is essential to recognize what Searle has done here, and why and how he has done it. ... Imagine that Searle had been slightly more explicit in his argument and had expressed it as: DEFINITION: A digital computer is a machine without the possibility of semantics, capable of executing purely syntactic formal programs.
