Describir: Formale und transzendentale Logik