An attempt to show that a unified theory of speech acts can be built in terms of formal semantics (in which model theory, the mathematical theory of possible worlds, plays a central role) and formal pragmatics (in which game theory, the mathematical theory of preference and decision, is central).