.06章规范命题.ppt

《.06章规范命题.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第六章规范命题命题的分类命题非模态命题模态命题简单命题复合命题性质命题关系命题联言命题选言命题假言命题负命题真值模态命题规范模态命题第一节模态命题与真值模态命题一、模态命题概述二、真值模态命题的特征及其分类三、真值模态命题相互间的逻辑关系一、模态命题概述模态命题，就是包含有“可能”、“必然”、“必须”、“禁止”等模态词的命题。例如：“王某可能有罪。”“王某必定有罪。”“一审案件可以适用独任制。”“二审案件必须适用合议制。”模态命题的逻辑性质主要取决于其模态词。非模态命题的逻辑性质则取决于其结构形式。比较：1、“张某是本案的作案人。”2、“张某可能是本案的作案人。”3、“张某一定

2、是本案的作案人。”4、“本案被告人的辩护人是律师。”5、“本案被告人的辩护人必须是律师。”6、“本案被告人的辩护人可以是律师。”模态命题的分类传统逻辑学中的模态命题，仅仅指包含“必然”、“可能”这类模态词的命题，即狭义的模态命题。现代逻辑学中的模态命题，即广义的模态命题，还包括含有“必须”、“允许”、“禁止”这类模态词的命题，称作规范模态命题，简称规范命题。根据模态词的不同，模态命题可分为真值模态命题（“可能”、“必然”等）和规范模态命题（“必须”、“允许”、“禁止”等）。二、真值模态命题的特征及其分类真值模态命题，就是断定事物情况具有可能性或必然性的命题，即包含有“可能”、“必

3、然”这类模态词的命题。根据真值模态命题断定的是事物情况的必然性还是可能性，可分为必然命题和或然命题；根据模态词制约的命题成分是肯定命题还是否定命题，可以进一步分为必然肯定命题、必然否定命题、或然肯定命题、或然否定命题。（一）必然命题必然命题就是断定事物情况具有必然性的命题。表达必然命题的模态词，包括“必然”、“必定”、“一定”、“必将”、“总是”等。例如：“改革会遇到阻力，这是必然的。”“孩子总是要长大的。”“执政为民，必将受到人民的拥护。”必然命题可以分为必然肯定命题和必然否定命题。公式表示为：必然肯定命题：S必然是P=“S是P”是必然的。必然否定命题：S必然不是P=“S不是P

4、”是必然的。（二）或然命题或然命题就是断定事物情况具有或然性的命题。表达或然命题的模态词，有“可能”、“也许”、“或许”、“大概”等。例如：“肝炎可能转化为肝癌。”“本案作案人可能不是当地人。”“原告或许会胜诉。”或然命题可以分为或然肯定命题和或然否定命题。公式表示为：或然肯定命题：S可能是P=“S是P”是可能的。或然否定命题：S可能不是P=“S不是P”是可能的。真值模态命题的类型以p表示命题成分，以符号□表示“必然”模态词，以符号◇表示“可能”模态词，真值模态命题就有四种基本类型：必然肯定命题：S必然是P□p必然否定命题：S必然不是P□～p或然肯定命题：S可能是P◇p或然否定命

5、题：S可能不是P◇～p三、真值模态命题相互间的逻辑关系差等关系反对关系下反对关系差等关系矛盾关系矛盾关系□p□～p◇p◇～p真值模态命题相互间的逻辑关系1、□p与□～p：反对关系，不能同真，可以同假2、◇p与◇～p：下反对关系，不能同假，可以同真3、□p与◇～p，□～p与◇p：矛盾关系，既不能同真，也不能同假。4、□p与◇p，□～p与◇～p：差等关系，可以同真，也可以同假——必然命题为真，或然命题也为真；或然命题为假，必然命题也为假。真值模态命题负命题的等值式由上述逻辑关系可知：真值模态命题的负命题，等值于被否定的模态命题的矛盾命题：1、～□p◇～p2、～□～p◇p3、～◇p□～

6、p4、～◇～p□p练习：Ｐ160第1—4题。练习：1、断定“并非学习成绩好的人必然品德好”，是否等于断定“学习成绩好的人必然品德不好”？分析：原命题形式是～□p，等值于◇～p，即“学习成绩好的人可能品德不好”；□p与□～p是反对关系。2、断定“本案不可能是奸情杀害”，是否等于断定“本案可能不是奸情杀害”？分析：原命题形式是～◇p，等值于□～p，即“本案必然不是奸情杀害”；◇p与◇～p为下反对关系，可以从～◇p推出◇～p。3、断定“明天小张可能不来参加讨论会”，是否等于断定“明天小张可能来参加讨论会”？分析：原命题形式是◇～p，与◇p是下反对关系，即不能同假，可以同真，因此不能从◇

7、～p推出◇p。4、否定“甲可能具有作案时间”，等于肯定了什么？分析：原命题形式是～◇p，等值于□～p，即“甲必然不具有作案时间”。5、说“本案死者不一定不是自杀”，是否等于说“本案死者一定是自杀”？分析：原命题形式是～□～p，等值于◇p，即“本案死者可能是自杀”；□～p与□p是反对关系。6、断定“并非甲队不必然能战胜乙队”，是否等于断定“甲队不可能不能战胜乙队”？分析：前一命题形式是～～□p，等值于□p，后一命题形式是～◇～p，等值于□p，所以两命题等值，即“甲队必然能战胜乙队”