Title: Lógica formal, lógica dialéctica