Pātuhitia tēnei: Formal and transcendental logic/