contents memorandum はてな

目次とメモを置いとく場

『入門! 論理学』(野矢茂樹 中公新書 2006)

著者:野矢 茂樹[のや・しげき] (1954-) 哲学(分析哲学心の哲学)。
NDC:116 論理学.弁証法弁証法的論理学].方法論


入門!論理学 -野矢茂樹 著|新書|中央公論新社


【目次】
はじめに [i-iv]
目次 [v-xi]
題辞 [002] 


第1章 あなたは「論理的」ですか? 003
  「論理的」って、どういう意味だろう?
  論理は非常識か?
  論理学が扱う推論とはどういうものか
  論証と導出を区別しよう
  ちょっと論理力をテストしてみましょう
  論理学って何のためにあるのだろう
  論理のことばたち


第2章 「否定」というのは、実は とてもむずかしい 035
  ひとはどういうときに否定するのだろう
  私はあなたのことが好きではない
  肯定するか、否定するか、どっちかしかない?
  勇気と盲腸の違い
  二回否定すると肯定になるのか?
  矛盾の形
  背理は否定される
  否定の論理


第3章 「かつ」と「または」 073
  論理と接続詞
  「かつ」の入れ方・はずし方
  「かつ」の仲間たち
  ひとが「または」と言うとき
  こうすれば「または」は取れる
  「かつ」と「または」を否定すれば
  ド・モルガンの法則を導いてみる


第4章 「ならば」の構造 107
  「ならば」で困った
  「ならば」のはずし方
  導入則をどうしよう
  「ならば」の否定
  対偶をとる
  「ならば」の連鎖


第5章 命題論理のやり方 139
  私たちはいまどのあたりにいるのか
  証明するとはどういうことか
  論理命題と推論規則
  証明も、けっこう楽しい
  ほしい論理法則・ほしくない論理法則
  二つのアプローチ
  「健全」で「完全」な公理系
  いろいろな公理系が作れる
  遠くにゲーデルの不完全定理が見える


第6章 「すべて」と「存在する」の推論 193
  この推論はどう扱おう
  全称と存在
  全称と存在のド・モルガンの法則
  世界に三匹のブタしかいなかったら
  「すべての男はバカである」の論理構造
  「バカな男がいる」の論理構造
  「すべて」と「存在する」を組み合わせる
  述語論理の公理系
  論理学のやり方


おわりに(二〇〇六年六月 野矢茂樹) [244-247]
索引 [249-250]





【メモランダム】
 冒頭の題辞では、井上陽水「手引きのようなもの」の一節が引用されている。