| 《语义学导论》 Introduction to Semantics 卡尔纳普著。1942年出版。该书探讨的语义学是指那种不涉及事实内容的对语义系统本身进行构造和分析的纯粹语义学，而不是那种对具体语言的语义学特征进行描述和分析的描述语义学。主张语义系统由形成规则、指称规则和真理规则等语义学规则组成，这些规则陈述了对象语言中的语句的成真条件，从而决定了这些语句的意义。书中着重探讨逻辑真理以及与逻辑真理、逻辑蕴涵等概念相关的逻辑演绎理论。他强调逻辑真理与事实真理的区分，认为逻辑真理就其通常意义而言是一个语义学概念。他把语义学的L真理定义为对逻辑真理这个概念以及L蕴涵和L等值这些相关概念所作的一种说明。 |