Stav dette: Abreviatura de investigaciones lógicas