| 状态描述 state-description 卡尔纳普用语。指其语义系统中的原子句组成的类。由一个n元谓词，后面跟n个常元组成的表达式称为原子句。令：P、Q、R分别为1目、2目、3目谓词。a、b、c为个体常元。此时，P(a)，Q(a，b)，R(a，b，c)都是原子句。一类句子，对每个原子句而言，该类句子或者包含这原子句，或者包含该原子句的否定，但不能同时包含两者，也不包含非原子句，此即为一个状态描述。状态描述的全体，给出了一切由系统中的谓词所表达的性质和关系的种种可能状态的完全描述。就此而言，状态描述表达了莱布尼茨的可能世界和维特根斯坦的事件的可能状态。 |