論理学をつくる

戸田山和久(著者)

• 販売会社／発売会社: 名古屋大学出版会
• 発売年月日: 2000/10/10
• JAN: 9784815803902

商品レビュー

2021/11/22

わかりやすい解説で初歩から一気に中級レベルまで高めてくれます
ぶっちゃけ論理学はこの一冊をやっとけばいいでしょう
練習問題にも丁寧な解説がついています

2017/12/01

ようやく読み終わった。
天下り的に定義を与えることなく、こういう問題があるんだけど、それをどうやったら解決できるのかを考えながらやるので、このボリュームになる。
述語論理のセマンティックスが冗長でちょっと挫折しそうになった。全て理解したとは言えないけれど、数学や情報科学で使われるロジックがかなり限定的なものであることがわかったし、今までわかった試しのなかった、完全性定理とかの意味や意義がわかった。

記号、文字の種類によって表すものを変えるというのは、ちょっと違和感があったな。この分野では標準的なんだろうか。

あと、ギャグと思しきところから、陳腐化しているのが残念。

いろいろ書いたが良い本であることは確か。

2013/01/30

論理学の時間に教科書指定されたので購入。論理学についてはまったくのど素人だった私にも理解できた。だんだん論理学が広がっていくような構成で、無理なく読み進めることができた。しかし最後のほうは難しく理解に時間がかかった。ところどころネタがわからない点もあった（？）論理学初心者にはうってつけの本だと思う。