符號(hào)學(xué)
關(guān)于語(yǔ)言特別是形式化語(yǔ)言的符號(hào)的研究。起源于20世紀(jì)30年代中邏輯實(shí)證論哲學(xué)的一種觀點(diǎn),即認(rèn)為許多理論問(wèn)題可以通過(guò)對(duì)表達(dá)問(wèn)題時(shí)所使用的語(yǔ)言進(jìn)行分析研究而得到解決或說(shuō)明。美國(guó)莫理斯(Charles Morris, 1901—1979)在《符號(hào)理論基礎(chǔ)》(1938年)一書中提出符號(hào)學(xué)有語(yǔ)法學(xué)、語(yǔ)義學(xué)、語(yǔ)形學(xué)三個(gè)部分。不少數(shù)理邏輯著作都沿用這些名稱。