Stav dette: Formal and transcendental logic/