Formal logic is the same thing as symbolic logic. The techniques of symbolic logic provide the paradigm method of precisely displaying knowledge (about anything) and of precisely drawing only ...