Title: Formal and Transcendental Logic