因果陈述句逻辑系统

因果必然性的性质是什么?因果必然性和归纳概率的关系如何?我们将给出因果陈述逻辑的自然语言系统,同时也对该形式语言的范围以及用形式化来界定的一般特征进行阐述。把因果陈述逻辑看作是一个形式语言,从而讨论这种形式语言的基本的性质。条件化模态逻辑的最大特点是把模态演算建立在演算的条件逻辑的基础上,它用条件蕴涵来定义可能、必然等模态算子,并在此基础上研究条件模态算子之间的关系,使它成为与古典模态逻辑既有联系又有区别的新的模态逻辑系统。