0308
面接一つ。そろそろ就活も終盤になってきたな。
ClaudeというLLMが強いらしいので課金して触ってみた。ちゃんとした性能比較をする能力は僕にはないので以前にChatGPTに投げた質問を投げてみた程度だが、まあ確かに同程度にきちんと喋るなという感じだ。冗談に付き合わせる程度のことしかまだしていないが、真面目な相談も少し投げてみようかなと思う。ただ両方に課金し続けるわけにもいかないので、どこかでは片方切る。
寝ます。だんだん肩の荷がおりてきたな。よかった。
0309
「Outer Wilds」のDLCをクリアした。なんか、まあ楽しかったけど本編ほど良くはなかったなと思った。言葉がわかるほうが楽しい。でも、ちゃんと本編の補完になっていたのでその点はよかった。
三段論法は正しいと信じられているが、我々がそう信じている三段論法は、実体としては「ソクラテスは死ぬ」などの具体例であって、本当の三段論法それそのものを見たことのある人はいない。数の3を見た人がないように。つまり、我々は（究極的には）ソクラテスが実際に死んだから三段論法を信じているという節がある。
我々がある三段論法を真だと受け入れるとき、それは煎じ詰めれば、目の前の命題を、ソクラテスの死にたとえて理解している。このようなたとえ話の仲介抜きには、論理的推論は成立しない。
もちろん、そのような論理規則を表現する記号列を思い浮かべることはできる。しかし、それをその他の正しくない記号列の中から選び出す手掛かりとなるのは、ソクラテスが死んだという事実にしかない。
これはイーガンの「ルミナス」のような話だろうか、とも思ったが、すこし違う。論理規則が現実の現象に対してア・プリオリに成立するかとは別の問題として、仮にア・プリオリに成立するとしても、我々はそれを経験によってしか理解できない。
まだ寝ません。ペン立てを3Dプリンタで作りたいのでモデル作成中。