虚きょ拟可能かのう性せい

虚きょ拟可能かのう性せい(也叫做真ま势可能かのう性せい^[1]或ある形而上学けいじじょうがく可能かのう性せい）是ぜ在ざい模かたぎ态逻辑中ちゅう研究けんきゅう最多さいた的てき模も态。虚きょ拟可能かのう性せい是ぜ我わが们在关注反はん事こと实条件じょうけん的てき时候考こう虑的那な种可能かのう性せい; 虚きょ拟模态是有ゆう关于一いち个陈述じゅつ是ぜ否ひ可能かのう已やめ经为真的てき模も态词——包括ほうかつ可能かのう、可か以、必定ひつじょう、必然ひつぜん、偶然ぐうぜん等ひとし等ひとし。虚きょ拟可能かのう性せい包括ほうかつ逻辑可能かのう性せい、形而上学けいじじょうがく可能かのう性せい、法ほう则可能かのう性せい和わ时间可能かのう性せい.

• _{^ “真ま势可能かのう性せい”一词名称的来源和真ま势语气有ゆう关，请参见有关文章ぶんしょう以获得どく更さら多た解かい释。}

虚きょ拟可能かのう性せい及其它模态

虚きょ拟可能かのう性せい的てき概念がいねん是ぜ相しょう对于同どう类中的てき认知可能かのう性せい（或ある称しょう知ち态可能かのう性せい，研究けんきゅう的てき是ぜ事物じぶつ“可か从所ところ知事ちじ实得とく出で的てき可能かのう的てき性せい质”）和わ道みち义可能かのう性せい（也称应态可能かのう性せい，研究けんきゅう的てき是ぜ“事物じぶつ应该具有ぐゆう的てき性せい质”）的てき概念的がいねんてき。

认知可能かのう性せい

由よし于在通常つうじょう的てき语言中ちゅう表示ひょうじ同どう样意思いし的てき说法“可能かのう是ぜ”、“不可能ふかのう是ぜ”、“一定いってい是ぜ”经常用よう来らい表おもて达某一いち种可能かのう性せい，因いん此与认知可能かのう性せい相反あいはん的てき概念がいねん对推断すいだん结论来らい说尤其重要じゅうよう。然しか而它们是不同ふどう的てき。我わが们不确知哥德巴ともえ赫猜想そう是ぜ否ひ成立せいりつ（至いたり今こん无人可か证明）；所以ゆえん（以我们的认识来らい说）它既可能かのう成立せいりつ也可能かのう不成立ふせいりつ。但ただし如果实际上じょう能のう证明它确实成立せいりつ的てき话（我わが们都知道ともみち这是有ゆう可能かのう的てき），则（从主观假设的虚きょ拟角度ど来らい说，我わが们认为）其一定いってい是ぜ必然ひつぜん地ち成立せいりつ；“能のう证明它成立せいりつ”的てき意思いし是ぜ指ゆび（在ざい逻辑上じょう）它不可能かのう不成立ふせいりつ。类似地ち，“外面がいめん可能かのう在ざい下した雨う”这件事ごと或ある许（从认知ち上じょう来らい说）根本こんぽん不可能ふかのう——我わが们可能かのう是ぜ确定无疑地ち知道ともみち外面がいめん没ぼつ有ゆう下か雨う——但ただし这很难说明あきら“外面がいめん（主しゅ观虚拟地）一定いってい不可能ふかのう下した雨う。”

道みち义可能かのう性せい

虽然虚きょ拟可能かのう性せい和道かずみち义可能かのう性せい有ゆう些在语言中ちゅう交叠的てき情じょう况，例れい如语言ごと中ちゅう“你可か以/不能ふのう怎样怎样”的てき说法有ゆう时用来き表おもて达的是ぜ你主观虚拟地能のう够做到いた或ある不可能ふかのう做到的てき某ぼう事ごと（即そく表おもて达的是ぜ“你能够/不可能ふかのう做到这个”的てき意思いし，这样表ひょう达的是ぜ主ぬし观可能かのう性せい），也有やゆう时用来き表おもて达的是ぜ可か以或者しゃ不ふ该那么做的てき某ぼう事ごと（即そく表おもて达的是ぜ“你可以/不ふ该这么做”的てき意思いし，这样表ひょう达的是ぜ道どう义可能かのう性せい），但ただし在ざい通常つうじょう的てき语言表ひょう达中，这两者しゃ的てき接近せっきん程度ていど要よう比ひ起おこり虚きょ拟可能かのう性せい和わ认知可能かのう性せい的てき接近せっきん程度ていど小しょう。虚きょ拟模态和道どう义模态表达的逻辑有ゆう一些重要的区别：特とく别地，虚きょ拟的必然ひつぜん性せい往往おうおう伴とも随ずい的てき就是实际真相しんそう。（例れい如，如果张三逻辑上じょう必定ひつじょう如何いか，则可推断すいだん他ほか实际上じょう确实如何いか；然しか而由于道义观的てき不ふ确定^[2]，不能ふのう同どう样地从事实推断すいだん出で张三道みち义上必定ひつじょう如何いか。）

• _{^ 译注：此句原文げんぶん（连同后きさき半はん句く）是これbut in this vale of tears you cannot make the same inference from the fact that ....，其中使用しよう了りょう一个英文中短语vale of tears（眼め泪なみだ谷だに，或ある伤心谷だに）。由よし于难于在译文中ちゅう完かん整せい表おもて达其准じゅん确含义，只ただ好こう换个引申的てき说法来らい代替だいたい表ひょう达其部分ぶぶん意い义，但ただし不知ふち是ぜ否ひ合あい适。请大家か一起想个合适的译法。}

虚きょ拟可能かのう性せい的てき种类

有ゆう多た种不同ふどう的てき类型虚きょ拟模态，由ゆかり于取决于分ぶん类时所しょ依よ据すえ的てき用よう以决定てい哪些情じょう况算作さく“可能かのう”的てき规则的てき严格程度ていど，某ぼう一类既可能会比另一类包含更宽的范围，也可能かのう（使用しよう不同ふどう严格程度ていど的てき规则划分时）会かい比ひ同どう样另一类的范围要窄。经常讨论的てき一些模态种类是：

• 逻辑可能かのう性せい，通常つうじょう认为是ぜ可能かのう性分しょうぶん类中最さい广泛的てき一いち种；对一个陈述来说，如果它能不ふ含逻辑矛盾むじゅん地ち成立せいりつ，则称该陈述じゅつ是ぜ逻辑可能かのう的てき。“迪すすむ克かつ·切きり尼あま是ぜ单身汉”这个陈述是ぜ逻辑可能かのう的てき，尽つき管かん事ごと实上迪すすむ克かつ·切きり尼あま不ふ是ぜ单身汉；大だい部分ぶぶん哲学てつがく家か认为象ぞう“如果非ひ常用じょうよう力りょく地ち扇おうぎ动胳膊，人にん就能飞起来らい”这类命いのち题是逻辑地ち可能かのう的てき，尽つき管かん（按自然しぜん法ほう则来说）它们是ぜ法ほう则不可能ふかのう的てき。另一方面ほうめん，“迪すすむ克かつ·切きり尼あま是ぜ已やめ婚こん的てき单身汉”则是逻辑不可能ふかのう的てき，这是因いん为大家か都と明白めいはく单身汉即そく未婚みこん者しゃ，这使句く子こ里さと包含ほうがん了りょう一いち个逻辑矛盾むじゅん。

• 形而上学けいじじょうがく可能かのう性せい可能かのう等とう价于逻辑可能かのう性せい，也可能かのう是ぜ个更窄的概念がいねん（取と决于某ぼう个哲学がく家か对这两者间关系けい的てき认识，或ある者もの部分ぶぶん地ち取と决于该人对逻辑的てき观点）。某ぼう些哲学がく家か所持しょじ的てき发现的てき同一どういつ性せい（discovered identities）观点（如克利かつとし普ひろし克かつ的てき“水みず是ぜ H₂O”）是ぜ形而上学けいじじょうがく必然ひつぜん的てき、但ただし不ふ是ぜ逻辑必然ひつぜん的てき（有人ゆうじん可能かのう坚持 “水みず不ふ是ぜ H₂O”不ふ存在そんざい形式けいしき上じょう的てき矛盾むじゅん，尽つき管かん这变成なり了りょう形而上学けいじじょうがく不可能ふかのう的てき ）。

• 法ほう则可能かのう性せい是ぜ一いち种自然しぜん规律下か的てき可能かのう性せい。大だい卫·休きゅう谟以来いらい的てき大だい多数たすう哲学てつがく家持いえもち有ゆう自然しぜん规律属ぞく于形而上学けいじじょうがく偶然ぐうぜん的てき观点，即そく可能かのう存在そんざい着ぎ和人わじん们实际获得とく的てき自然しぜん规律不同ふどう的てき自然しぜん规律。如果是ぜ这样，就不应是逻辑地ち或ある形而上学けいじじょうがく地ち不可能ふかのう的てき。譬たとえ如，“要よう想そう在ざい一天之内到达南みなみ门二星ほし球だま，这只能のう发生在ざい你能比ひ光速こうそく更さら快かい的てき情じょう况下”，然しか而这之の中ちゅう当然とうぜん地ち含有がんゆう一いち种这件けん事ごと不ふ可能かのう的てき重要じゅうよう理解りかい；就算自然しぜん规律真しん的てき就是那な样，你也没ぼつ办法实际做到。（有ゆう些哲学がく家か，如西にし德いさお尼あま·舒梅克かつ（Sydney Shoemaker），争そう辩说自然しぜん规律是ぜ事ごと实上必然ひつぜん而非偶然ぐうぜん的てき；如果这样，则法则可能かのう性せい就是等とう价于形而上学けいじじょうがく可能かのう性せい的てき。

• 时间可能かのう性せい是これ在ざい给定了りょう世界せかい实际历史的てき前提ぜんてい下か的てき可能かのう性せい。 大だい卫·刘易斯（David Lewis）曾经可か以选择接受せつじゅ会かい计学学位がくい而不是ぜ哲学てつがく学位がくい；然しか而这之の中ちゅう包含ほうがん了りょう一いち种重要じゅうよう的てき理解りかい，即そく他ほか现在不能ふのう进行选择。“曾经可か以”表おもて达的事ごと实是，刘易斯拥有ゆう一个会计学学位而非一个哲学学位这件事和逻辑的、形而上学けいじじょうがく的てき、以及法ほう则的不可能ふかのう性せい无关；“现在不能ふのう”表おもて达的事ごと实是，在ざい给定了りょう过去即そく如实际事实的前提ぜんてい下か，就不能ふのう再さい实现那な种“可能かのう性せい”。