认知相符理论 cognitive consistence theory

符理策 Richard Foo

真理的符合论 correspondence theory of truth

符号逻辑（数理逻辑） symbolic logic

符号处理 symbolic processing ; Symbol Manipulation

物理符号系统 [自] [计] Physical Symbol System

字符串处理 string manipulation ; [计] string handling ; String Processing ; Character string handling

积算符理论 product operator formalism

字符外理 character manipulation

真理符合论 correspondence theory of truth