SMS: Formale und transzendentale Logik