4、模态逻辑的真假与可能世界的理论 克里普克的可能世界语义学 现实世界与可能世界 命题的必然性、可能性与可能世界 模态命题的真假 对模态命题的真假应有这样的认识: 明题的真假是相对的,即描述和反映某一个个体或事 件的命题,有可能在一可能世界中真,而在另一个可能世界 中假。 不能一般的说某一命题是必然的或可能的,而只能说某 命题在某一特定世界中是必然的或可能的。一命题在一可 能世界中是必然的,只要求它在与该世界有关的所有可能世 界中真,而不无限制的要求它在所有可能世界中真 202l/1/212021/1/21 12 4、模态逻辑的真假与可能世界的理论 • 克里普克的可能世界语义学 • 现实世界与可能世界 • 命题的必然性、可能性与可能世界 • 模态命题的真假 对模态命题的真假应有这样的认识： 一明题的真假是相对的，即描述和反映某一个个体或事 件的命题，有可能在一可能世界中真，而在另一个可能世界 中假。 不能一般的说某一命题是必然的或可能的，而只能说某 一命题在某一特定世界中是必然的或可能的。一命题在一可 能世界中是必然的，只要求它在与该世界有关的所有可能世 界中真，而不无限制的要求它在所有可能世界中真