Loading AI tools
来自维基百科,自由的百科全书
虚拟可能性(也叫做真势可能性模态逻辑中研究最多的模态。虚拟可能性是我们在关注反事实条件的时候考虑的那种可能性; 虚拟模态是有关于一个陈述是否可能已经为真的模态词——包括可能、可以、必定、必然、偶然等等。虚拟可能性包括逻辑可能性、形而上学可能性、法则可能性和时间可能性.
或形而上学可能性)是在虚拟可能性的概念是相对于同类中的认知可能性(或称知态可能性,研究的是事物“可从所知事实得出的可能的性质”)和道义可能性(也称应态可能性,研究的是“事物应该具有的性质”)的概念的。
由于在通常的语言中表示同样意思的说法“可能是”、“不可能是”、“一定是”经常用来表达某一种可能性,因此与认知可能性相反的概念对推断结论来说尤其重要。然而它们是不同的。我们不确知哥德巴赫猜想是否成立(至今无人可证明);所以(以我们的认识来说)它既可能成立也可能不成立。但如果实际上能证明它确实成立的话(我们都知道这是有可能的),则(从主观假设的虚拟角度来说,我们认为)其一定是必然地成立;“能证明它成立”的意思是指(在逻辑上)它不可能不成立。类似地,“外面可能在下雨”这件事或许(从认知上来说)根本不可能——我们可能是确定无疑地知道外面没有下雨——但这很难说明“外面(主观虚拟地)一定不可能下雨。”
虽然虚拟可能性和道义可能性有些在语言中交叠的情况,例如语言中“你可以/不能怎样怎样”的说法有时用来表达的是你主观虚拟地能够做到或不可能做到的某事(即表达的是“你能够/不可能做到这个”的意思,这样表达的是主观可能性),也有时用来表达的是可以或者不该那么做的某事(即表达的是“你可以/不该这么做”的意思,这样表达的是道义可能性),但在通常的语言表达中,这两者的接近程度要比起虚拟可能性和认知可能性的接近程度小。虚拟模态和道义模态表达的逻辑有一些重要的区别:特别地,虚拟的必然性往往伴随的就是实际真相。(例如,如果张三逻辑上必定如何,则可推断他实际上确实如何;然而由于道义观的不确定
,不能同样地从事实推断出张三道义上必定如何。)有多种不同的类型虚拟模态,由于取决于分类时所依据的用以决定哪些情况算作“可能”的规则的严格程度,某一类既可能会比另一类包含更宽的范围,也可能(使用不同严格程度的规则划分时)会比同样另一类的范围要窄。经常讨论的一些模态种类是:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.