信息邏輯

信息邏輯(informational logic)是利用的信息的理論研究歸納的一個邏輯分支。歸納的過程是一個信息加工的過程，歸納邏輯與信息有著內在的一種聯繫，1952 年卡爾納普提出了語義信息的概念。由於機率論是資訊理論的數學基礎，並且機率與邏輯又有一定的聯繫，因而構成的信息邏輯的基本概念是建立在機率理論基礎上的一種語義信息。

設p(s)是語句s的邏輯機率，inf(s)稱為語句s的信息測度，inf(s)=-log₂p(s)。inf滿足如下要求：(1)若(s₂∈s₁)是邏輯真，則inf(s₁)≥inf(s₂)； (2)inf(s)≥0；(3)若s是邏輯真則inf(s)=0；(4)若s₁和s₂是歸納獨立，即p(s₁s₂)=p(s₁)p(s₂)，則inf(s₁s₂)=inf(s₁)+inf(s₂)，反之亦真；(5)inf(hle)=-log₂C(h,e)。