ABSTRACT
Can computer programs or procedures be said to embody the meaning of an utterance? This article reviews and critiques the chronic debate over this question, and provides additional refinements of the arguments. The discussion contrasts the procedural view of meaning with truth-conditional semantics, meaning-as-use theory, and speech-act theory. The views of Johnson-Laird, Fodor, Woods, Longuet-Higgins, and others are discussed.
