論理学FAQのブログ

授業でもらったコメントに対して書いたリプライを、ブログ形式に編集しました。

授業動画公開:古典述語論理(1)(2)

ひーひー言いながら動画を作っています。そして述語論理はいつまでたっても満足いく説明ができません。こちらもご批判たまわれば。

レジュメはこちらです。

すべてを表現する言語が存在する:古典述語論理

動画はレジュメと合わせてご覧ください。

youtu.be

youtu.be

古典述語論理のパートは長いので、まだまだ作らないといけないですね。がんばります。。