Stav dette: Lógica formal, lógica dialéctica