关于语言特别是形式化语言的符号的研究。起源于20世纪30年代中逻辑实证论哲学的一种观点，即认为许多理论问题可以通过对表达问题时所使用的语言进行分析研究而得到解决或说明。美国莫理斯(Charles Morris, 1901—1979)在《符号理论基础》（1938年）一书中提出符号学有语法学、语义学、语形学三个部分。不少数理逻辑著作都沿用这些名称。