論理学をつくる

戸田山和久(著者)

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

商品レビュー

2026/07/18

前半は放送大学『記号論理学』と同内容。同じく入門書なので仕方がないか。むしろきちんと講義をしてくれている大学に感謝すべき場面かもしれない。 本のサイズが大きく少し読みづらい。しかし論理学は面白い。私はこの著者の語り口が好きだ。同著者の『教養の書』も(論理学の本ではないが)お薦めしたい。

2021/11/22

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

2017/12/01

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

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

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

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