 Hobbes describes reasoning as computation, and offers sketches of the computation that he thinks is going on when we reason. This idea might appear to have significant connections to later views, both to some views of Leibniz’s and to more recent approaches that adopt a computational theory of mind. This section looks at Hobbes’s presentation of the idea, and then briefly at these two possible connections.