“符号论理学”常见的英文表达是 “symbolic logic” 。
“symbolic”意为“符号的;象征的” ,“logic”意为“逻辑;逻辑学”,二者组合就准确表达了“符号论理学”这一概念,该学科侧重运用符号系统来研究逻辑推理和形式结构。