模态(逻辑中的)
(拉丁文modus——措施、方法) 按照判断所表示的断定的“势”对判断所作的描述：判断可以是必然的、可能的、偶然的和不可能的，等等。 在传统的逻辑学中，判断被分为必然性的(确切的)、可能性的(可疑的)和真实性的(实言的)。现代逻辑学提供了分析模态属性的可能性，把模态的属性视为对判断、命题的某种“元逻辑”评价。与此同时，模态又分为逻辑的和描述的。 命题的逻辑模态是从纯逻辑的考虑来确定的。 例如，命题P在逻辑上是必然的，当且仅当凭纯逻辑论据是真的，也就是说，如假设非Р就会导致逻辑矛盾。属描述模态的首先是物理(因果)模态。 物理模态取决于命题是否表达某种受某些物理规律的制约因而是必然的、可能的或偶然的东西。例如，“所有行星均沿椭圆形轨道运行”这一命题在物理上是必然的，而“行星的数目是九”这一命题在物理上则是偶然的。在现代逻辑学中，特别是在赖欣巴哈诺模逻辑命题理论中，试图给物理模态(参见模态逻辑)确定严格的逻辑标准。 |