Deakstadieđáhus: Formal and transcendental logic/