V. analyzes the notion of intension (as found in Montague's formal semantics) and the notion of procedure (as found in procedural semantics) in order to show that, though different in certain methodological aspects, they have elements in common and operate in similar ways.