Transcendental logic