| 语义系统 semantic system 卡尔纳普用语。指由语义学规则组成的系统，这些规则陈述了对象语言中的语句的成真条件，从而决定了这些语句的意义。语义系统的规则涉及的是对象语言，但它们本身是用元语言表述出来的，这些规则决定了对象语言中每个语句的成真条件，亦即各个语句要成为真的时所必须具备的充分而又必要的条件。通过这些规则解释语句，可使语句得到理解，因为理解一个语句，就是知道它断定的是什么，它在什么条件下是真的。一个语义系统可以包括形成规则、指称规则和真理规则。在构造语义系统时可以采取下列程序：首先给所与的指号进行分类，然后依次制定形成规则、指称规则和真理规则。主要有S1，S2，S3。系统S1，包括通常的逻辑联结词：否定‘～’，析取‘∨’，合取‘·’，实质蕴涵‘⊃’，等值‘≡’。仅有的变元是个体变元‘x’，‘y’，‘z’等。以及作用于这些变元的全称量词和存在量词：‘(x)(…x…)’，‘(∃x)(…x…)’。所有的句子补加两个量词：对于个体摹状词的‘ι’(读做iota)运算：‘(ιx)(…x…)’，对于抽象表达式的‘λ’(读作lambda)运算‘(λx)(…x…)’。还包括个体摹状常项(即非逻辑常项)和谓词类型。并规定假设谓词数目有限，个体常项可以无限。 |