記号論理入門 日評数学選書

前原昭二(著者)

• 販売会社／発売会社: 日本評論社
• 発売年月日: 2005/12/10
• JAN: 9784535601444

商品レビュー

2023/09/25

記号論理学のロングセラーであり，自然演繹に慣れるための参考書として今でも十分使える。最近に出版された山田『はじめての数理論理学:証明を作りながら学ぶ記号論理の考え方』と併読するといいと思う。

2022/01/13

図書館で借りた。
名著とされる本の一つらしく、初版が発行されたのは50年以上前で、著者が亡くなってから30年と経過している。
記号論理学は哲学などの文系的学問にも繋がるだけでなく、AIとも関連が深く、個人的には専門に近い興味深い分野。

ただ、驚くような話題はなかった印象で、名著とされるのは、初心者が読みやすいという側面なのかもしれない。

2021/04/19

　入門的な記号論理学の内容を非常に丁寧に（くどいくらいに）説明している入門書に見せかけた深い本です。細かな用語の使い方や概念に関して日本語でめちゃくちゃ長い解説が書いてあって、いくらなんでもしつこいだろうという感じですが、誤解の余地がかなり少なくなるような工夫だということだと思います。
　内容としては命題論理と述語論理の基本的な枠組みとそれに付随する様々な詳しい事項が説明されます。誤解を生みそうな部分に関して必ず非常に詳細な説明が与えられていて、最初からきっちり読んでいけば誤解が少なく理解できるようになっています（いやむしろもっとわからなくなる気も）。
　本書の欠点は説明が丁寧すぎて正直くどいことです。通常のA5サイズの単行本に必ずしも多くない内容が記載されており、丁寧すぎて全体像がよくわからなくなるタイプのテキストです。初心者向けに丁寧に丁寧にしようとした結果、むしろある程度知識がある人が細かい内容を理解するための教科書としてふさわしいものになってしまったのではないかという気がします。
https://ngskshsh.hatenablog.com/entry/2021/04/25/212803