This is a formal and systematic study of the logical foundations of speech act theory.