Both Hilbert's axiomatics and Cassirer's philosophy of symbolic forms have their roots in Leibniz's idea of a 'universal characteristic,' and grow on Hertz's 'principles of mechanics,' and Dedekind's 'foundations of arithmetic'. As Cassirer recalls in the introduction to his Philosophy of Symbolic Forms, it was the discovery of the analysis of infinity that led Leibniz to focus on "the universal problem inherent in the function of symbolism, and to raise his 'universal characteristic' to a truly philosophical plane." In Leibniz's view, (...) the logic of 'things' cannot be separated from the logic of 'signs,' as "the sign is no mere accidental cloak of the idea, but its necessary and essential organ."Every 'law' of .. (shrink)