 Lewis’s major contribution to formal semantics was his theory of counterfactual conditionals. But there were several other contributions that he made, both on specific topics in formal semantics, and on the role of semantic theory.