論理学
5月から月2回ペースでやっていた論理学の勉強会を先週の土曜日に終えた。それほど明確な――あるいは短期的な――目的を持って論理学を始めたわけではなかったけれど、それでも全てやり終えた今では自信を持ってやって良かったと言える。 勉強会は輪講形式で、5…
3.9 真理関数という考え方 3.10 日本語の「ならば」と論理学の「→」 3.11 コンパクト性定理 3.12 メタ言語と対象言語をめぐって担当範囲は上の通り。コンパクト性定理の証明が難しくて死んだ……。ただそこを除けば他の部分は十分理解できたと思うので,次回以…
正式発足。まだほとんど具体的な話のない導入部分なので30分くらいで終わるんじゃねと思っていたら返り討ちに遭った。 正直、最初は全て「読めば分かる」と思っていたのだけれど、「ここってさー」とツッコミが入ると説明が出来ない。理解の甘さだけでなく、…