現代論理学入門を一通り読んで良かったのでポストしたいけど、長くなりそうなので
書きたいことだけ箇条書きしておく

+ 『現代論理学入門』の概要
  + https://www.iwanami.co.jp/book/b267123.html
  + 本が1962年に書かれたこと
+ 論理学と情報機器について
  + 1970年代からの情報機器の発展と普及について
  + 最近の論理学入門の本が計算機科学から論理学へのアプローチをすることについて
    + 時代の要求ゆえ？
  + 個人的な論理学の知識がプログラミング寄りであること
+ 現代論理学入門の内容
  + 計算機科学に依らない内容
  + 人間の精神についてを主に論じている
  + ノイマン型コンピュータや、人間のように思考する機械への言及がある
+ まとめ
  + 2010年代からのLLMの発展と普及についての言及
    + 人間の精神について扱う本だからこそ、今も読む価値が高いと思う
  + 個人的評価
    + おすすめ