Zaslat SMS: Formale und transzendentale Logik