- Amazon.co.jp ・本 (212ページ)
- / ISBN・EAN: 9784535601444
作品紹介・あらすじ
記号論理の入門書として最適のものとして知られている旧著に、安東祐希による補足を加え「新装版」として刊行。
感想・レビュー・書評
-
図書館で借りた。
名著とされる本の一つらしく、初版が発行されたのは50年以上前で、著者が亡くなってから30年と経過している。
記号論理学は哲学などの文系的学問にも繋がるだけでなく、AIとも関連が深く、個人的には専門に近い興味深い分野。
ただ、驚くような話題はなかった印象で、名著とされるのは、初心者が読みやすいという側面なのかもしれない。詳細をみるコメント0件をすべて表示 -
記号論理学のロングセラーであり,自然演繹に慣れるための参考書として今でも十分使える。最近に出版された山田『はじめての数理論理学:証明を作りながら学ぶ記号論理の考え方』と併読するといいと思う。
-
入門的な記号論理学の内容を非常に丁寧に(くどいくらいに)説明している入門書に見せかけた深い本です。細かな用語の使い方や概念に関して日本語でめちゃくちゃ長い解説が書いてあって、いくらなんでもしつこいだろうという感じですが、誤解の余地がかなり少なくなるような工夫だということだと思います。
内容としては命題論理と述語論理の基本的な枠組みとそれに付随する様々な詳しい事項が説明されます。誤解を生みそうな部分に関して必ず非常に詳細な説明が与えられていて、最初からきっちり読んでいけば誤解が少なく理解できるようになっています(いやむしろもっとわからなくなる気も)。
本書の欠点は説明が丁寧すぎて正直くどいことです。通常のA5サイズの単行本に必ずしも多くない内容が記載されており、丁寧すぎて全体像がよくわからなくなるタイプのテキストです。初心者向けに丁寧に丁寧にしようとした結果、むしろある程度知識がある人が細かい内容を理解するための教科書としてふさわしいものになってしまったのではないかという気がします。
https://ngskshsh.hatenablog.com/entry/2021/04/25/212803 -
とても丁寧に初歩的なことから書かれていて初心者向けのように見えるが、実はいろいろ数理論理学の勉強をしてわけがわからなくなった人が改めて学び直すのにとてもいい本。もちろん最初に読んでもいいけれど、ひとまわりして戻ってきて読み直すと良さがわかるのではないかと思う。