主讲人：何向东- 进入-Date 1第五章 模态逻辑第一节 模态逻辑 模态和模态词模态：指事物或认识的必然性和可能性等这类性质。模态在思维中的反映，表现为一定的认识和观念，便形成了相应的模态概念。模态词：语言中用以表示模态或模态概念的语词或符号。如：汉语中的“必然性”、“可能性”，英语中的单词“necessity”、“possible”。模态算子：通常用人工语言符号“”和“ ”来分别表示必然性和可能性，这些人工符号在模态推理中被称为模态算子。Date 3 模态的分类模态按照不同的标准，可分为从物的模态和从言的模态；或客观模态和主观模态；或狭义模态和广义模态。 从物的模态：关于事物本身的模态。例如：9必然大于7。 从言的模态：关于命题的模态。例如：“9大于7”是必然的。 客观模态：客观存在的必然性和可能性等性质。例如：飞机的速度不可能超过光速。 主观模态：认识中的确定性或不确定性等这类性质。例如：香格里拉可能就在中国的云南省。 狭义模态：必然性与可能性等性质。狭义模态又叫真势模态。 广义模态：认识和事物中的其他性质。如:知道等认知模态。Date 4 模态形式模态形式：研究含有模态词的思维
