| 信息逻辑 informational logic 利用信息理论研究归纳的逻辑分支。归纳过程是一个信息加工过程，归纳逻辑与信息有着内在联系，1952年卡尔纳普提出了语义信息概念。由于概率论是信息论的数学基础，概率与逻辑又有一定的联系，因而构成信息逻辑的基本概念是建立在概率理论基础上的语义信息：设p(s)是语句s的逻辑概率，inf(s)称为语句s的信息测度，inf(s)= -log2p(s)，inf满足如下要求：(1)若(s1⊃s2)是逻辑真，则inf(s1)≥inf(s2);(2)inf(s)≥0;(3)若s是逻辑真，则inf(s)=0;(4)若s1和s2是归纳独立，即p(s1s2)=p(s1)p(s2)，则inf(s1s2)=inf(s1)+inf(s2)，反之亦真;(5)inf(hle)=-log2C(h，e)。 |