逻辑学讲稿4.pptVIP

第七章 模态命题及其推理 一、模态命题 1.模态命题及其结构 模态命题就是断定思维对象不同确然程度的命题。 例如：今天晚上他一定不会来。 这部小说有可能畅销。 逻辑学主要讨论“必然”和“可能”两种模态，所以模态命题又称断定思维对象之可能性或必然性的命题。 模态命题在结构上的特点是：它总是包含有“必然”或“可能”之类的模态词。在现代逻辑中，用“□”表示“必然”，用符号“◇”表示“可能”。它的公式为： □（◇）p 2.模态命题的种类 对模态命题可以从它所包含的模态词或质两个不同的角度进行分类。其基本形式有四种： ⑴必然肯定模态命题，□p，断定某件事情的发生是必然的。 ⑵必然否定模态命题，□－p，断定某件事情的不发生是必然的。 ⑶可能肯定模态命题，◇p，断定某件事情的发生是可能的。 ⑷可能否定模态命题，◇－p，断定某件事情的不发生是可能的。 3.同素材的模态命题间的真假关系 在同素材的四种模态命题之间也存在着真假上的相互制约关系。这种关系与四种性质命题间的对当关系相同，故又称模态命题的对当关系。 根据对当关系，同样可以由一个模态命题的真或假，来确定与其同素材的另外几个模态命题的真或假。 4.模态命题的负命题及其等值命题 否定一个模态命题就会形成该模态命题