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