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