网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的百科知识:

 

标题 解释
类别 哲学
释义 解释     interpretation

亦称“结构”。与形式语言中初始符号对应的,满足一定条件的对象的集合。一阶语言(陈述谓词演算)的初始符号表达式一般有三类:指词符号如个体常元、个体变元、函数、谓词符号;逻辑符号如联结词、量词;括号。对一阶语言的解释就是要确定指词和对应的对象之间的联系,所取对象的不同,语言的解释也不同,逻辑符号和括号的意义不变。亦即给出语言的一个解释,就是给出语言中指词符号所指称的对象。表达式所指称的对象是表达式的外延,所以解释就是给出语言中指词符号的外延。具体地说,一阶语言中的个体符号指称某个体,谓词符号指称集合,一元谓词指称个体组成的集合,二元谓词指称由个体的有序对组成的集合,…,n元谓词指称由个体的n元有序组构成的集合。函数是一种特殊的关系,它也指称集合,根据变元数的不同,指称不同的集合。一旦这样的指称确定,解释也就确定。解释可以给出一般的定义如下:一阶语言L的一个解释I是由一个非空集合DI,一组特指元素(ā1,ā2,…),一组定义在DI上的函数(ni,i>0,n>0),一组定义在DI上的关系(ni,i>0,n>0)共同组成。一般用符号I=〈DInini,āi〉表示。其中DI就是个体域,亦称论域,也可以说是可能世界。特指元素是个体域中一些特殊的元素,是语言中个体常元的指称对象。定义在DI上的函数、关系是语言中函数符号和谓词符号的指称对象。同一个形式语言,可以有实质上不同的解释。

随便看

 

依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/10/19 3:38:43