模态逻辑的认知角度 命题---模态命题-模态逻辑 可能世界的理论 狭义模态 广义模态(道义、认知、时间) 202l/1/21 6
2021/1/21 6 模态逻辑的认知角度 命题-------模态命题-------模态逻辑 可能世界的理论 狭义模态 广义模态（道义、认知、时间）
第一节模态逻辑概述 模态 1、模态的词源考察 2、模态概念的具体分析 3、模态的语言表达 4、模态的种类 从不同的根据出发,模态可以区分为不同 的种类如下 202l/1/21
2021/1/21 7 第一节 模态逻辑概述 一、模态 1、模态的词源考察 2、模态概念的具体分析 3、模态的语言表达 4、模态的种类 从不同的根据出发，模态可以区分为不同 的种类如下：
模态的种类 1)狭义模态和广义模态 (2)客观模态和主观模态 (3)逻辑模态和非逻辑模态 (4)命题的模态与事物的模态 202l/1/21
2021/1/21 8 模态的种类 （1）狭义模态和广义模态 （2）客观模态和主观模态 （3）逻辑模态和非逻辑模态 （4）命题的模态与事物的模态
请区分下列模态 大象必然比蚂蚁大 他可能估计不到严重的后果。 老张可能不是共产动员。 谎言不可能掩盖实事 中国国家男子足球对必然能闯入 2010年世界杯。 202l/1/21
2021/1/21 9 请区分下列模态 • 大象必然比蚂蚁大。 • 他可能估计不到严重的后果。 • 老张可能不是共产动员。 • 谎言不可能掩盖实事。 • 中国国家男子足球对必然能闯入 2010年世界杯
二、模态命题 、什么是模态命题 从语言形式上看,凡含有模态词(如“必然”、“允许”、“相 信”)的命题都是模态了 模态命题不仅包含有狭模态命题,而且包括道义命题、认知命题 和时间命题。 2、模态命题的构成要素 每一模态命题,从逻辑形式上来看,都是由模态词和经典形式的 命题两部分构成。 3、模态词的逻辑性质分析 经典命题的联结词具有真值函项性,模态词部具有真值函项性。 202l/1/21
2021/1/21 10 二、模态命题 1、什么是模态命题 从语言形式上看，凡含有模态词（如“必然”、“允许”、“相 信”）的命题都是模态命题。 模态命题不仅包含有狭模态命题，而且包括道义命题、认知命题 和时间命题。 2、模态命题的构成要素 每一模态命题，从逻辑形式上来看，都是由模态词和经典形式的 命题两部分构成。 3、模态词的逻辑性质分析 经典命题的联结词具有真值函项性，模态词部具有真值函项性