即便我们的归纳证明不能依赖纯粹的推理，对于归纳法实用主义的论证尝试也会得以体现。
And the Pragmatic Justification of induction attempt have been made to show that even if we cannot justify relying on induction by pure reason.
在第五章中，我们尝试构造能够表征容错性信息流推理的模态信息流逻辑系统。
In the fifth chapter, modal if systems are constructed, which can represent fallible if inferences.
在第五章中，我们尝试构造能够表征容错性信息流推理的模态信息流逻辑系统。
In the fifth chapter, modal if systems are constructed, which can represent fallible if inferences.
应用推荐