1.模态命题及其结构模态命题是断定思维对之不同确然程度.pptVIP

第七章 模态命题及其推理 一、模态命题 1.模态命题及其结构 模态命题是断定思维对之不同确然程度的命题。 例如：今天晚上他一定不会来。 这条消息可能是假的。 数学以概率这一量化方式刻画思维对象的不同确然程度；逻辑学则将其分为必然和可能两种模态。 模态命题的结构特点：总是包含“必然”或“可能”之类的模态词。在现代逻辑中，用符号□表示“必然”这类模态词，用◇表示“可能”这类模态词。逻辑公式： □（◇）p 2.模态命题的种类 对模态命题可以从其模态词或质两个不同角度进行分类。其基本形式有四种： ⑴必然肯定模态命题。逻辑公式：□p。含义：断定某件事情的发生是必然的。 ⑵必然否定模态命题。逻辑公式：□－p。含义：断定某件事情的不发生是必然的。 ⑶可能肯定模态命题。逻辑公式：◇p。含义：断定某件事情的发生是可能的。 ⑷可能否定模态命题。逻辑公式：◇－p。含义：断定某件事情的不发生是可能的。 3.同素材的模态命题间的真假关系 在同素材的四种模态命题之间，存在着真假上的相互制约关系。这种关系与性质命题间的对当关系相同，故也称作模态命题的对当关系。 根据对当关系，可以由一个模态命题的真或假，判定与其同素材的其他几个模态命题