解释
❶ 在语文学中指对人们不懂的字、词、句进行解说。
❷ 也叫“释义过程”。在词典学中对所立词目的含义进行解说。
❸ 在解释语义学中指通过符号与规则把大家都理解的句子的意义加以形式化的描写。
❶ 逻辑语义学的基本概念。给一个逻辑形式系统的符号或符号串作出解释，就是要在被解释形式系统的诸要素与另一个系统(现实世界各种系统或其他形式系统)的诸要素之间建立对应关系，或者说建立从形式系统到另一个系统的映射。这另一个系统可以叫做该形式系统的模型。模型就是满足一定对应关系或映射关系条件的结构。如逻辑演算的解释，就是规定逻辑演算中的符号与合式公式指称什么事物，或者规定它取什么值，值域如何。模型论就是关于逻辑演算的解释的理论。同一个形式语言，可以有实质上不同的解释。 |