Zaslat SMS: Lógica formal, lógica dialéctica