Logik, Mathesis universalis und allgemeine Wissenschaft : Leibniz und die Wiederentdeckung der formalen Logik im 19. Jahrhundert