Philosophical problems concerning language are as old the philosophy itself. The works of Frege, Russell and Tarski brought closer to modern logic. Formal methods found in logic together with structural analysis natural languages we owe work Chomsky his school form backbone formal semantics, fertile discipline that has significantly improved our understanding mechanisms on which rest. We will d...