Stav dette: La estructura de una teoría semántica