論理学とその周辺領域の本を並べてみた*1.この記事にあげる本は,何らかの形でわたし自身が手に取ったことのあるもの(読んだとは言っていない)に限定している*2.ただし,原語版は手に取ったことがあるが,日本語訳はそうではない,またはその逆という場合はある.
すべての本に対してコメントをしきれていないので,周りからサボりを指摘されやすいように,公開しながら作業することにする.暫定でもコメントの終わった本には⛄をつけることにする(2022/08/07 追記).
(2023/11/29 追記)本をいくつか増やしたが,いまいちいつ増やしたのか記憶にないものも多いので,そのあたりの細かい管理はあきらめた.せめて,今後,本に対するコメントを追記する場合は日付を明示する努力をする.(追記終わり)
(2023/12/03 追記)「論理」に興味があるが「論理学」に興味があるか自信のない場合は次の記事に目を通すと参考になるかもしれないし,ならないかもしれない.
sokrates7chaos.hatenablog.com(追記終わり)
- 一般書
- 非形式論理学
- 帰納的推論・アブダクション
- 数理論理学・数学基礎論
- 算術
- 不完全性定理
- 逆数学
- 非古典論理
- 非単調論理
- 様相論理
- 証明論
- 順序数解析
- モデル理論
- 計算論
- 形式言語理論
- 公理的集合論
- 定理証明支援系・自動証明
- 高階論理
- 型理論
- プログラム意味論
- 数学の哲学
- 論理学の哲学
- その他,論理学に関係はあるが分類に困った本
- 参考:哲学系の論理学の本
- 番外:読むのに注意が必要な本
- 番外:読まない方が良い本
- 参考になるリンク
*1:この記事は元々別の記事のリバイバル版として書かれていた.この段落の上に元記事へのリンクなどがあったのだが,跡地に過ぎないものへのリンクを残しておくことに違和感を覚えたので消去した.そのため,この記事の説明を追加した.(2023/11/12 追記)
*2:「参考:哲学系の論理学の本」の節は除く.(2023/11/28 追記)