因果陈述句逻辑系统

摘要

What is the nature of causal necessity,and how are causal necessity and inductive probability related ？ In this chapter we will proves the logic of causal statements as a formal language system,but also describes the scope and the characteristics of the formal language.We discusses basic nature of the logic of causal statements as a formal language.The most prominent feature of the modal calculation based on the logic of causal statements,we uses implication conditions may be definition the modal operators of possibility,necessity and study the relationship between the operators.This makes it becomes a new system of modal logic different from the classical modal logic.%因果必然性的性质是什么？因果必然性和归纳概率的关系如何？我们将给出因果陈述逻辑的自然语言系统,同时也对该形式语言的范围以及用形式化来界定的一般特征进行阐述。把因果陈述逻辑看作是一个形式语言,从而讨论这种形式语言的基本的性质。条件化模态逻辑的最大特点是把模态演算建立在演算的条件逻辑的基础上,它用条件蕴涵来定义可能、必然等模态算子,并在此基础上研究条件模态算子之间的关系,使它成为与古典模态逻辑既有联系又有区别的新的模态逻辑系统。