Historical Linguistics and Formal Semantics