Stav dette: Lógica para lingüistas