“符号论理学”常见的英文表达是 "symbolic logic" 。
“symbolic”意为“符号的；象征的”，“logic”表示“逻辑；逻辑学” ，所以“symbolic logic”就是指用符号来研究逻辑关系和推理规则的学科，也就是符号论理学（也常译为符号逻辑）。