Invia SMS: Formale und transzendentale Logik