信息在情景之间流动,情景之间存在信息流关系,情景类之间存在制约关系,信息流关系和制约关系表征事物之间的自然常规。信息流理论以信息流关系和制约关系为研究对象,研究信息流的内在机制,是现代信息研究的重要部分。申侬的通信理论和德雷斯克的信息内容理论用量化的方法研究信息流动,情景理论和信息通道理论则强调信息内容的流动。依据情景之间的信息流关系和情景类之间的制约关系,我们可以进行信息流推理。日常信息流推理是一种可靠推理,但容许错误和例外。信息流理论的逻辑研究是信息流理论和现代逻辑领域之间的融合研究,体现现代逻辑领域的“信息转向”。信息流理论的逻辑研究主要包括两方面的工作:构造能够表征信息流推理的信息流逻辑系统和运用信息流理论的技术手段为现代逻辑研究领域中的相关问题提出合理解释。以信息流逻辑研究为研究重点,兼顾信息流理论在现代逻辑领域中的应用研究,文中我们主要做了以下三个方面的工作。首先,根据信息流理论,在介绍解释信息流逻辑已有研究基础上,尝试构造新的信息流逻辑系统。这是本文研究的主要创新点,其目标是构造出能够表征容错性信息流推理的信息流逻辑系统。在第四章中,我们尝试构造出能够表征完美信息流推理的理想信息流逻辑系统。理想信息流逻辑的语义框架由有穷情景集合S和情景之间的三元信息流关系R构成,其语形系统则采用能够体现对应语义特征的树图系统。依据联结词树图规则,我们首先构造出信息流逻辑极小树图系统IS,然后根据不同性质的信息流关系设置不同的R树图规则并构造出IS的不同扩张系统。IS及其扩张的系统性质——可靠性和完全性得到了证明。完美信息流推理不涉及模态概念,理想信息逻辑类似经典命题逻辑。在第五章中,我们尝试构造能够表征容错性信息流推理的模态信息流逻辑系统。首先,通过将理想信息流逻辑语义框架中的情景解释为可能情景并且在理想信息流逻辑语形系统中引入全模态词及其树图规则,构造出能够表征必然信息流推理的模态信息流逻辑;然后在此基础上,再通过在语义框架中引入可能情景之间的精细关系和在语形系统中引入限定模态词及其树图规则,构造出限定模态信息流逻辑系统。我们还通过直接设置限定信息流蕴涵算子及其树图规则构造出限定信息流蕴涵逻辑。限定模态信息流逻辑系统和限定信息流蕴涵逻辑能够表征容错性信息流推理。其次,在对信息流理论从量化研究到质化研究的发展轨迹进行归纳梳理的基础上就信息流理论中相关概念和问题给出我们的看法并从以下三个方面分析总结了信息流理论在现代逻辑领域中的应用研究:由信息流理论而来的信息框架、从信息流视角看条件句逻辑和从信息流视角看相干逻辑。最后,对信息流理论及其逻辑研究在现代逻辑、语言学和信息研究等领域中的影响加以解释讨论并通过对一些问题的哲学思考为我们所做的工作进行辩护。