This paper analyses the relationship between Hobbes's theory of language and his theory of science and method. It is shown that Hobbes, at least in his Computatio sive Logica (1655), deviates in some measure from the traditional (Aristotelian) model of language. In this model speech is considered to be a fairly unproblematic expression of thought, which itself is independent of language. Basing himself on a nominalist account of universals, Hobbes states that the demonstration or assertion of universal propositions presupposes speech (...) (more especially, the use of names as marks). This insight turns out to be essential for Hobbes's (rationalist) view of scientific method. (shrink)