模态命题的语言表达形式 在模态命题中,含有“必然″或者“可能”这两种 模态词。它们在模态命题中模态词的位置不是固定的, 既可以前置,也可以后置,也可以居中 例如 客观规律必然不以人的意志为转移。(“必然”居中) 客观规律不以人的意志为转移是必然的。(“必然”后置) 不可能所有的错误都能避免。(“可前置) 2021/2/23
2021/2/23 11 模态命题的语言表达形式： 在模态命题中，含有“必然”或者“可能”这两种 模态词。它们在模态命题中模态词的位置不是固定的， 既可以前置，也可以后置，也可以居中。 例如： 客观规律必然不以人的意志为转移。（“必然”居中） 客观规律不以人的意志为转移是必然的。（“必然”后置） 不可能所有的错误都能避免。（“可能”前置）
4、模态逻辑的真假与可能世界的理论 克里普克的可能世界语义学 现实世界与可能世界 命题的必然性、可能性与可能世界 模态命题的真假 对模态命题的真假应有这样的认识: 明题的真假是相对的,即描述和反映某一个个体或事 件的命题,有可能在一可能世界中真,而在另一个可能世界 中假。 不能一般的说某一命题是必然的或可能的,而只能说某 命题在某一特定世界中是必然的或可能的。一命题在一可 能世界中是必然的,只要求它在与该世界有关的所有可能世 界中真,而不无限制的要求它在所有可能世界中真。 2021/2/23 12
2021/2/23 12 4、模态逻辑的真假与可能世界的理论 • 克里普克的可能世界语义学 • 现实世界与可能世界 • 命题的必然性、可能性与可能世界 • 模态命题的真假 对模态命题的真假应有这样的认识： 一明题的真假是相对的，即描述和反映某一个个体或事 件的命题，有可能在一可能世界中真，而在另一个可能世界 中假。 不能一般的说某一命题是必然的或可能的，而只能说某 一命题在某一特定世界中是必然的或可能的。一命题在一可 能世界中是必然的，只要求它在与该世界有关的所有可能世 界中真，而不无限制的要求它在所有可能世界中真