“符号逻辑”的英语表达是 "symbolic logic" 。它也被称为“数理逻辑”(mathematical logic),不过“symbolic logic”更侧重于强调使用符号来表示逻辑关系和推理过程这一特点。