LESSON３ 三胞胎與模態邏輯（13/15）
戀與禁忌的述語論理 全一冊
「這……這只是一般情況下而已。我覺得這種事當然還是要具體情況具體分析。假如說他所愛的是某個特定的女性，那麼情況就不同了。跟年齡就沒有關係了。」
潮水退去。仿若颱風過境後平靜的大海，慌亂的空氣安定了下來。
「……確實呢。這裡我們時討論一般情況就可以了。通常情況下，永遠『喜歡年長女性』的男人是不存在的。這完全就是十歲二十歲的人才會有的嗜好，不是嗎？也就是說，這個命題的真偽會受到性的年齡局限。十多歲時的真命題，年過三十以後，變成偽命題的可能性就升高了。」
硯小姐手裡轉著自動鉛筆。
「這個時候，對付無法永遠為真的命題的方法就是模態邏輯。」
我剛將拿鐵送到嘴邊，卻發現杯子已經空了，但如果不這樣做，就無法掩飾我慌亂的呼吸。
這例題確實刺激。刺激得我整個人都清醒了。
「毋寧說在我們所在的現實世界中，永遠為真的命題是很少的。湯姆愛著凱西嗎？可能剛剛閃婚以後是這樣沒錯，但也許一個月後就分居，開始準備離婚協議了。白蘿蔔今天一百日元一根，也許明天就漲到一百二十日元了。家庭住址也許明年就會變，市町村合併以後可能小鎮的名字都不存在了。」
「但是另一方面，恆真的命題也是存在的。自由落體的蘋果向著地心下墜，100的下一個整數一定是101，太陽不會從西邊開起，人也無法和鏡中的自己握手。這就是無論在任何情況下都絕對成立的事實，與僅僅在某些特定情況下才能成立的事實之間的區別，也是模態邏輯的出發點。」
我情緒稍微冷靜了一些，沸騰的大腦也慢慢回到學習狀態。
雖然我還是沒搞清，剛才空氣中那陣電光火石是怎麼回事？硯小姐的表情明明毫不在意我說了什麼一樣，沒有任何變化。
「在任何情況下都絕對能成立的事實，以及只有在特定情況下才能成立的事實。前者稱為『必然的』，後者則稱為『可能的』。
將『必然的』命題和『可能的』命題區別對待，這就是模態邏輯。」
雖然還是有些艱深，但我終於稍微理解了一點硯小姐的意思所謂模態邏輯——也就是涉及到「可能性」的邏輯。
並非僅僅討論一個命題的「真偽」，而還要對它們是「永遠絕對為真」還是「有為真的可能性」做出嚴格的區分。就是這樣的一種邏輯。
我還不知道具體要如何區分，但總之這就是「模態邏輯」所追尋的東西吧。
「……將命題區分為必然與可能，是這樣嗎？雖然大方向上是聽懂了……但是，具體要如何操作呢？肯定又會搞出來一堆特別難的算式吧？說實話，光是搞凊楚古典邏輯，……（內容加載失敗！請重載或更換瀏覽器）