2 章 (第2/2頁)
佚名提示您：看後求收藏（貓撲小說www.mpzw.tw），接着再看更方便。
在現實生活中，如果我們說「AndyLee是萌妹子，AndyLee是編程專家」，那這兩句話都是不符合事實的，也就是假的。但如果我們說，「AndyLee可能是萌妹子，AndyLee可能是編程專家」，那這兩句話就不一定是假的了。
同樣的，我們說「AndyLee是男性，AndyLee學過心理學」這兩句話是真的，但如果加上必然二字，變成「AndyLee必然是男性，AndyLee必然學過心理學」，那這兩句話又不一定是真的了。
「必然」和「可能」這兩個詞，就是模態算子。這兩個模態算子可以互相轉化。如果1+1必然等於2，那麼1+1就不可能不等於2。也就是說，「必然」就相當於「不可能不」。而說「小張可能是大美女」，也就是說「小張並非必然不是大美女」。「可能」相當於「不必然不」。說起來比較拗口，但用邏輯符號寫下來的話，會很直觀。
從命題實際上的真值，我們無法推導出命題加上模態算子後的真值。比如，我實際上是男性，但我並不必然是男性，畢竟我有可能去做變性手術。這說明，實際上真，不代表必然真。但是，1+1實際上等於2，而且1+1也必然等於2。在這裏，這個數學公式實際上真，而且它也必然真。
要想完全理解模態算子，我們需要用到「可能世界」這個概念。「可能世界」和科幻電影中的平行宇宙有點相似，又和物理學裏的多重宇宙很像。總之，我們可以設想一個可能存在的世界，這個世界與我們這個現實世界非常相似，但又不一定完全一樣。在那個可能世界裏，也有太陽系和地球，地球上剛好也演化出了生物，也形成了人類文明。這個人類文明的歷史發展和我們現實世界幾乎一模一樣，其中也存在一個和我非常相似的人，也叫AndyLee。
在這種情況下，如果那個AndyLee是萌妹子，那我們就說「AndyLee可能是萌妹子」；如果那個AndyLee是編程高手，那我們就說「AndyLee可能是編程高手」。也就是說，「可能」這個模態算子的意思就是說，至少在一個可能世界中，語句符合那個可能世
