MLG meeting

MLG meeting に参加していたので，感想みたいなもの。

前から思っていたことではあるけど，もっといろんな本や論文を読んで，論理のいろんな見え方を知りたい。多値論理と直観主義論理とか，僕が知らないだけで，もっと密接に関係しているんじゃないか，とか思った。

多値論理については，単にそういうものが存在するという事実とか，形式的な定義だけは本を読んでなんとなく知っていたりするけど，それだけじゃあまり意味がないんだと思う。もっと気持ちの部分まで自分なりに理解しておきたい。そうすることで視野が広がりそう。