模态词、模态命题、对当关系

有关模态词、模态命题、对当关系的基础整理

模态词、模态命题、模态对当关系

• 模态词
  • 此一般只研狭义
    • 必然、可能
      • 逻辑上可能包括物理上可能；物理上必然包括逻辑上必然
  • 可能必然关系
    • 可能世界
      • 逻辑上必然指在所有逻辑世界中都真，逻辑上可能指至少在一个可能世界中真
• 模态命题
  • 还有模态词的命题，即断定事物可能性和必然性的命题。(模态词表示真假强度）
  • 形式
    • 必然p
      • □p
    • 可能p
      • ◇p
  • 种类
    • 必然模态命题
      • 必然肯定
        • □p
      • 必然否定
        • □┐p
      • 真值
        • 真
          • p在所有可能世界中都真
            • 例:走私活动必然或者可制止或不可制止
        • 假
          • P至少在一个可能世界中是假
            • 例：太阳系必然由八大行星
    • 可能
      • 可能肯定
        • ◇p
      • 可能否定
        • ◇┐p
      • 真值
        • 真
          • p在至少在一个可能世界中是真
            • 例：牛顿曾是个理发师是可能的
        • 假
          • p在所有可能世界中都假
            • 例：世界上可能存在独角兽又不存在独角兽
• 对当关系
  • 子主题