摘要：何谓"语言表达式的意义"是当代西方哲学,特别是语言哲学、逻辑哲学共同研究的重要课题。学界曾提出了不同理论来回答这一问题,比如:"意义就是潜在的语境更新";"表达式的意义就是在给定的有穷模型中识别表达式的外延的算法"。本文从计算机科学的角度,着重研究了意义的算法理论。这一意义理论不仅与一些新的科学理论有关,而且将改变我们对语义学的整体观念。