Describir: Lógica formal, lógica dialéctica /