LESSON３ 三胞胎与模态逻辑（14/15）

「也就是说虽然之前从『□I与◇O』导出了『I与O』这一矛盾，但在模态逻辑的公理体系中是无法导出的。

「但是可以从□I导出I，虽然稍微扯远了点，不过模态逻辑可以选择的逻辑公理是有很多的。其中『T』这个公理系统是可以让『如果□I那么I』这种逻辑式成为公理的。『如果□I那么I』的意思是『如果这个命题在任何状况下都能成立，那么它在这里也成立』。用我们之前的例子来讲就是『普遍的美女在此处也是美女』。

如果使用T系统，甚至可以从『□I与◇O』导出『I与◇O』这个逻辑式。

但是，它无法从◇O导出O。『适合特殊癖好者的美女在此处也是美女』肯定是行不通的。

无法从可能性导出事实。如果承认那个推论，那么就需要在公理系统中加入『如果◇O那么O』这条公理。可是，现在的模态逻辑中并没有能容纳这条公理的体系。虽然反过来『如果O那么◇O』是可以的。」

砚小姐将笔放在了桌子上。

店内嘈杂的人声像是拧开了音箱的音量调节按钮似的，变得越来越响。

我被砚小姐难以理解的说明压制住了，刹那间甚至忘记了如何发出声音。一如既往过火的「梦魇难度」。她根本不顾及我的知识水平，说出的单词有一大半是我听不懂的……（內容加載失敗！請刷新或更換瀏覽器）