Stav dette: Del empirismo lógico a la semántica