Logique formelle et logique transcendantale