摘要：何謂"語(yǔ)言表達(dá)式的意義"是當(dāng)代西方哲學(xué),特別是語(yǔ)言哲學(xué)、邏輯哲學(xué)共同研究的重要課題。學(xué)界曾提出了不同理論來(lái)回答這一問(wèn)題,比如:"意義就是潛在的語(yǔ)境更新";"表達(dá)式的意義就是在給定的有窮模型中識(shí)別表達(dá)式的外延的算法"。本文從計(jì)算機(jī)科學(xué)的角度,著重研究了意義的算法理論。這一意義理論不僅與一些新的科學(xué)理論有關(guān),而且將改變我們對(duì)語(yǔ)義學(xué)的整體觀念。