野矢先生による、一般人向けの論理学入門です。中公新書から出ています。 この本は、野矢先生の本の中でも、特に読みやすい部類に入るんじゃないでしょうか。 論理とは、文と文との...

原題は、 Forever Undecided: A Puzzle Guide to Gödel レイモンド・Ｍ・スマリヤン著の 論理パズル本にして ゲーデルの不完全性定...

シークエント計算(Sequent Calculus)とは、 ドイツの論理学者Gerhard Karl Erich Gentzenが定式化した LK(Logischer K...

オモチャのような論理学をつくることからはじめ 徐々に拡張していきながら 論理学(formal logic)を、 段階を踏んでお勉強できるよう それがどうできているかという...

何やら堅苦しい名前の本ですが、内容はすこぶるおかしく、おもしろい。 この本の内容は、書名からもわかるとおり論理学を説明する本です。ただし、大学の講義で使うような本ではなく...

ゲーデルの生誕100年にあたる今年2006年を記念して、 20世紀の近代論理学の発展・成果を 取りまとめその歴史的な位置づけを試みようという 全4巻シリーズ。 東京大学出...