 Much more recently, some philosophers discussing the computational theory of mind have also seen connections to Hobbes’s idea. The central idea of a modern computational theory of mind is that the mind is a sort of computer. More precisely and technically, “the immediately implementing mechanisms for intentional laws are computational … [Computations] viewed in intension, are mappings from symbols under syntactic description to symbols under syntactic description” (Fodor 1994, 8). And very roughly, we might see Hobbes as saying the same thing. There are various mental processes (compounding ideas, forming propositions, reasoning syllogistically) that we can describe without knowing that reasoning is computation. But the underlying process that’s making this all work is computation, namely, addition and subtraction. The connections seem to amount to no more than that though, so it’s at least rather over-dramatic to say that Hobbes was “prophetically launching Artificial Intelligence” (Haugeland 1985, 23).