模态命题的种类.pptVIP

第七章 模态命题及其推理 第一节 模态命题及其推理 一、模态命题的种类 二、模态命题间的真假关系 三、负模态命题及其等值式 四、模态命题在公安工作中的应用 第二节 规范命题(norm[标准，规范]of proposition)及其推理 一、什么是规范命题（要插入法律推理的内容！） 二、规范命题的种类 三、必然模态三段论 四、混合模态三段论 五、法律规范的概念 七、法律规范的种类 * * 参天古木必有其根，淮山之水必有其源。 香饵之下必有死鱼，重赏之下必有勇夫。 皮裤套面裤，必定有缘故。 智者千虑，必有一失；愚者千虑，必有一得。 三人行，必有我师也！ 模态逻辑（modal [形式的，样式的，形态上的，情态的，语气的（计）（对话框等）模式的] logic）是研究含有模态词的命题和推理及其逻辑规律的逻辑体系。模态词是指反映思维对象与其属性之间联系形式的语词。早在2000多年以前，“逻辑之父”亚里士多德就系统地研究了以“必然”和“可能”为内容的模态逻辑。此后关于这个问题的研究范围便一直局限于亚里士多德所提出的问题之上，没有太大的变化。直到20世纪上半叶，随着现代数理逻辑的产生和发展，逻辑学家才超越了亚里士多德所作的限定，在更广泛的意义上对模态逻辑的问题进行了研究，并先后建立了标准模态逻辑系统以及规范逻辑、认识逻辑和时间逻辑等各具特色的非标准模态逻辑系统。 狭义模态逻辑是指研究含有“必然”和“可能”一类的模态词的命题和推理及其逻辑规律的模态逻辑，也就是亚里士多德所开创并研究的传统模态逻辑。 广义模态逻辑泛指研究含有模态词的命题和推理及其逻辑规律的模态逻辑。根据所研究的模态词的不同，又可将广义模态逻辑分为标准模态逻辑和非标准模态逻辑。 标准模态逻辑研究“必然”和“可能”一类的模态词，研究含有此类模态词的命题和推理及其逻辑规律。“必然”和“可能”一类的模态词又叫真值模态词，因此，标准模态逻辑也叫真值模态逻辑。从内容上看，标准模态逻辑与狭义模态逻辑基本相同。 非标准模态逻辑以标准模态逻辑为理论基础，它是研究含有非标准模态逻辑的命题和推理及其逻辑规律的模态逻辑。根据所研究的非标准模态词的不同，可以将非标准模态逻辑分为规范逻辑、认识逻辑和时间逻辑等等。规范逻辑研究“必须”、“禁止”和“允许”一类的规范模态词，是研究含有此类规范模态词的命题和推理及其逻辑规律的模态逻辑。认识逻辑研究“相信”和“知道”一类的认识模态词，是研究含有此类认识模态词的命题和推理及其逻辑规律的模态逻辑。时间逻辑研究“过去”、“现在”和“将来”等等一类的时间模态词，是研究含有此类时间模态词的命题和推理及其逻辑规律的模态逻辑。 模态命题是反映事物情况的必然性或可能性的命题。 一定是(must be) 可以是(may be) 逻辑解释(logical[动力的，动力学的，动态的] interpretation) 动因解释(dynamic interpretation) 价值解释(the axiological（哲）[价值论的] interpretation) 命令解释(thetic interpretation) 心理解释(psychological interpretation) 实然命题(assertive[断定的，过分自信的] proposition)是单纯地描述或断定某事，例如，“华沙是波兰的首都”。 必然命题(apodedictic proposition) 或然命题(problematic[问题的，有疑问的] proposition) 1．必然命题 必然命题是反映事物情况的必然性的命题。 必然肯定命题的形式是： S必然P。可简化为：必然P。计为：□P 必然否定命题的形式是： S必然P。可简化为：必然非P。计为：□┐P 2．可能命题 可能命题是反映事物情况的可能性的命题。它是人们对客观事物的认识在不十分清楚的情况下作出的反映。 可能肯定命题的形式是： S可能P。可简化为：可能P。计为：◇P 可能否定命题的形式是： S可能不P。可简化为：可能非P。计为：◇┐P 简单模态命题之间的关系 ： □p □ ┐p ◇p ◇ ┐p 1．负必然肯定命题的等值式 留胡子的，不一定岁数大。留辫子的，不一定室女人。有书协会员证的，不一定会写字。得奖产品，不一定室优质品。打假的，不一定自己不造假。请客的，不一定自己掏钱。公费出国的，不一定办公事。住房大的，不一定人多。家中有钢琴的，不一定会弹。唱歌的，不一定识谱。发行量大的，不一定室好书。卖高价的，不一定