Introduction: History and Philosophy of Logical Notation