2019-09-15から1日間の記事一覧
2019年6月24日のコメントペーパーより。レジュメは古典述語論理。 コメント:他の講義でも論理学を扱う話が出てきたのだが、論理学は「適切な設定さえあれば自動的に解を導出できる」ことを担保するのみであり、この「適切な設定」の決定、つまり人間が人間…
2019年6月24日のコメントペーパーより。レジュメは古典述語論理。 コメント:他の講義でも論理学を扱う話が出てきたのだが、論理学は「適切な設定さえあれば自動的に解を導出できる」ことを担保するのみであり、この「適切な設定」の決定、つまり人間が人間…