Symbolic Knowledge from Leibniz to Husserl