从句可能性

从句可能性（也叫阿勒泰可能性）是模态逻辑中研究的一种模态形式。从句可能性是在构思反事实情况时考虑的各种可能性；从句模态是影响一个陈述是否可能是或可能是真的模态–例如可能、可以、必须、可能、必然、或然、本质上、偶然等等。副词的可能性包括逻辑的可能性、形而上学的可能性、名词学的可能性和时间的可能性。

附属可能性与（除其他外）认识上的可能性（就我们所知，它涉及世界可能是怎样的）和行为上的可能性（它涉及世界应该是怎样的）进行对比。

与认识上的可能性的对比特别重要，因为在普通语言中，同样的短语（有可能，不可能，必须是）经常被用来表达这两种可能性。但它们是不一样的。我们不知道哥德巴赫猜想是真是假（目前还没有人提出证明）；所以它（在认识论上）可能是真的，它（在认识论上）可能是假的。但是，如果它实际上是可证明的真实（就我们所知，它可能是），那么它就必须是（从句）必然的真实；可证明的意思是，它不可能（在逻辑上）是假的。同样地，外面下雨可能根本不是（认识论上的）可能–我们可能毫不怀疑地知道外面没有下雨，但这并不意味着外面下雨是（从句）不可能的。NormanSwartz和RaymondBradley也提出了这个观点。

在语言中，从句可能性和义务性可能性有一些重叠：例如，我们有时用Youcan/canotdothat这个语句来表达(i)你做什么是或不是从句可能性，我们有时用它来表达(ii)你做什么是或不是。在普通语言中，这两者比从句和认识论的可能性更不容易被混淆，因为从句语态和行为语态的逻辑有一些重要的区别。特别是，从句式的必然性包含真理：如果人们在逻辑上必须这样那样，那么你就可以推断出他们实际上是这样做的。但是在这个非理想的世界里，一个行为性的”必须”并不包含道德上的确定性，即人们在道德上必须做这样那样的事情。

分词模态有几种不同的类型，根据对什么算作可能性的规则的限制程度，它们可以被分为更广泛或更狭窄的类型。一些最常讨论的是。逻辑上的可能性通常被认为是最广泛的一种可能性；如果一个命题的真实性不涉及逻辑上的矛盾，那么这个命题就被认为是逻辑上的可能性。迪克-切尼是个单身汉，这在逻辑上是可能的，尽管事实上是假的；大多数哲学家认为，像”如果我非常用力地拍打我的手臂，我就会飞起来”这样的陈述在逻辑上是可能的，尽管它们在名义上是不可能的。另一方面，迪克-切尼是一个已婚的单身汉，这在逻辑上是不可能的；因此，任何一个单身汉都是没有结婚的，所以这个命题在逻辑上是自相矛盾的（尽管这个句子不是，因为单身汉在逻辑上有可能是指已婚男人）。形而上的可能性要么相当于逻辑上的可能性，要么比它更窄（一个哲学家认为两者之间的关系是什么，部分取决于哲学家的逻辑观）。一些哲学家认为，像克里普克的”水是H2O”这样的被发现的同一性是形而上必要的，但不是逻辑上必要的（他们会声称”水不是H2O”中没有涉及形式上的矛盾，尽管它被证明是形而上不可能的）。

名义上的可能性是在实际自然规律下的可能性。自大卫-休谟以来，大多数哲学家都认为，自然法则是形而上的偶然性，即可能存在与实际获得的自然法则不同的自然法则。如果是这样的话，那么在逻辑上或形而上学上并不是不可能的，比如说，你在一天之内旅行到半人马座阿尔法星；只是你的旅行速度必须超过光速。但当然，在一个重要的意义上，这是不可能的；鉴于自然法则是这样的，你不可能做到这一点。(一些哲学家，比如悉尼-肖梅克，认为自然规律实际上是必要的，而不是偶然的；如果是这样，那么名义上的可能性就相当于形而上学的可能性。