History of Formal Semantics