SMS dit: Del empirismo lógico a la semántica