Stav dette: La lógica simbólica