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

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

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

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

世の中には「HOW TO本」というジャンルの書物群があって、「痩せる方法」や「モテる方法」など色々な方法を教えてくれます。「考える方法」を教えようとする本さえあるようです...

ウィトゲンシュタインの『論理哲学論考』はかっこいいんです。 著者もそう言っています。 「語りえぬものについは、沈黙せねばならない」 「問題はその本質において解決された」 ...

実は「論理トレーニング」という本の第二弾。 問題をこなしていくうちに論理の力が メキメキ鍛えられていくというすばらしい本。 前作はいかにも教科書という感じだったのだが ...

野矢茂樹著 産業図書 この手の本は意外と少ないかもしれない。実際に問題を解きながらよみすすめるという本である。だから、問題集といった方が良いだろう。特徴的なのは、どうやっ...

百科事典の情報量が棒切れ一本に記録できる、 点から線へ、線から面へ、など次元を次々と超えていく場面 など専門的な内容に知的ツボを押されました。 しかし数学、哲学は私の専...