|
|||||
|
|
| 概率语义与句子系统 | |
| 作者姓名： | 李小五 |
| 作者单位： | 中国社会科学院哲学所 |
| 摘 要： | 本文讨论概率语义与句子系统的关系,我们考虑的概率语义分两种:句子型的语义和命题型的语义。令L0是由可数个句符和常用句子联结词构成的语言,令LL0是任意句子语言,即L还可以有(作用在句子上的)n元算子。我们用FL0和FL分别表示L0和L的所有句子的集合。令PC指称下列经典句子系统:PCFL0使得PC包含下列公理模式Ax1—Ax3且在推理规则MP下封闭:(Ax1) A→A∧A;(Ax2) A∧B→A;(Ax3) (A→B)→((B∧C)→(C∧A));(MP) A,A→BB。这里我们采用Rosser在1953年提出的、主要用∧和表述的系统,之所以这样做是因为下面的概率语义是相对… |
| 本文献已被 CNKI 等数据库收录！ | |