2023.11.04 - Internet Explorer 2.0

2023.11.04

https://gyazo.com/84e52cca2f4677527b2d7653c0ae60d8

メモ

これはキレイに様相論理の公理T$ \mathbf{T} \equiv \Box\varphi \to \varphiに対応する．

お前ん中ではなの部分は無視する．

実際，$ \bf Tは認識論理のTruth Axiomというものの形式化らしい？ので，歴史的に見ても正当化される事実だろう．

なおこの事実を調べるためにStanford Encyclopedia of PhilosophyのModal Logicを読んだところ，$ \bf Mとも呼ばれることを知った．

https://gyazo.com/9384490296b799870a353d57830841d1

なお$ \Boxの解釈を他に考えればもっといろんなヴァリエーションもある．

お前が証明できるんならそうなんだろう

真の算術に関する証明可能性論理，すなわち様相論理GLSになる

メモ