Stav dette: Formale und Transzendentale Logik.