  Church simply(!) formalized something of how intensions behaved, without saying what they were. Rudolf Carnap took things further with his method of intension and extension, and provided a semantics in which quite specific model-theoretic entities are identified with intensions (Carnap 1947). Indeed, the goal was to supply intensions and extensions for every meaningful expression, and this was done in a way that has heavily influenced much subsequent work.