利用信息理论研究归纳的逻辑分支。归纳过程是一个信息加工过程,归纳逻辑与信息有着内在联系。由于概率论是信息论的数学基础,概率与逻辑又有一定的联系,因而构成信息逻辑的基本概念是建立在概率理论基础上的语义信息。1952年卡尔纳普提出了语义信息概念,对信息逻辑的形成作出了重要贡献。