LESSON２ 交叉結與謂詞邏輯（7/8）
戀與禁忌的述語論理 全一冊
↓
「並未直接見到烏鴉，就能證明『烏鴉是黑的』！」
「——在對對象一無所知的情況下就可以談及對象的性質。這就是亨佩爾向世人揭示的『危險性』。基於換質換位律的證明法，常常會孕育出此種的危險性。」
我需要些時間才能理解。
不過，冷靜下來想一想，這也不是多麼不可理解的事。如果把世上所有不黑的東西都抓過來，而那其中連一隻烏鴉也沒有，那麼烏鴉一定就在剩下的那些黑東西里——所以，烏鴉是黑的。這是再理所當然不過的道理。
但是在那種情況下，即使一隻真烏鴉都沒見到，就能證明烏鴉是「黑色的東西」——
難道不是「奇怪」的事情嗎？這好像才是亨佩爾的主張。
但不如說，對於這種事抱有疑問的亨佩爾先生才比較奇怪吧。
雖然把世上所有黑色的東西全都拿過來調查一下，這個構思主張本身就有問題吧。但話又說回來，就算產生這樣的問題意識，倒也並非什麼不可理解的事。
「但是，這樣又有什麼不好呢？能證明的話不就沒問題了嗎？
不如說，不用抓來任何一隻烏鴉就可以證明烏鴉是黑的，這不正是『換質換位律』的優點——」
「原來如此，我沒能將恐怖的地方傳達給詠彥啊。」
硯小姐像揮舞著指揮棒似的揮舞著圓珠筆。
「那麼詠彥，問你一個問題，你能夠證明『這個家中棲息的幽靈沒有腳』嗎？」
「啥？證明幽靈沒有腳？」
又來了個角度奇妙的問題。
「……不可能辦得到吧？畢竟我又不是通靈神探，也沒長著直死之魔眼。而且關鍵是最近的動畫和漫畫中幽靈角色都傾向於設計成為生前容貌一樣——」
「我能證明哦。『幽靈沒有腳』的換質換位是『有腳的不是幽靈』。
把這家中有『腳』的東西全都歸納起來。人類、玩偶、冰箱里的章魚、椅子，這些全部都長著『腳』，所以都不是幽靈，沒錯吧？所以『如果有腳那麼不是幽靈』——換言之『如果是幽靈那麼沒有腳』。」
我陷入了瞬間的沉默。
但是，她的觀點我聽得憧。我明白硯小姐提出了某個問題。我明白對中尊寺前輩的推理作出了某種否定，我在一片模糊中推察她的真意。
變了——確確實實是變了。
「公理系統其本身是可以被簡單定義的。」
「……違和感？」
「總而言之，『不直接調查對象就談及對象的性質』就是這樣的。是不是有些莫名其妙呢？可是如果認可換質換位律，那麼這個證明在邏輯上就是正確的。
A∨-A
「那個是——」
將它從公理系統中消去的重大意義，我一時還理解不了。
「……這是，怎麼回事？」
硯小姐輕輕垂下視線，接著又再度看向上……（內容加載失敗！請重載或更換瀏覽器）