Formal logic is the same thing as symbolic logic ... The field gets its name because, unlike informal logic, symbolic logic uses symbols in place of English words. When the logician translates English ...