論理学 テクスト よむ

公理系の完全性を検証するあたりまで読んだ。

明日で真理関数の理論の箇所は終えたい。

哲学のテクストの推論に関する章でも真理値分析の方法などが紹介されていたから、

あちらも参照しながら理解を深めたい。

現在の状態は、トートロジーかどうか確かめることや、定理を導きだすことはできるが、それがどのような意味を持っているのか、何と関連しているのか、ということについての理解が浅いと自覚しているから、もしかしたら他の本などを読んで、違う表現方法による説明を確認してみることも必要になるかもしれない。