Deakstadieđáhus: Lógica formal, lógica dialéctica