Semantics and Logic