Up

集合・論理・理論

---

集　合 集合と形而上学 イデア論 存在論

論　理 文法 文の生成・変形規則 定義 (用語の導入) 推論 (演繹) 真理値 「推論」の枠組み 　(定理・推論規則・公理) 「問題を解く」の意味 論証 (証明) ゲームとしての「論証」 「論証」の形式 　(与件・推論・結論) 証明の例 論理の学習・運用の困難 循環論法 証明が難しい理由

理　論 『理論──形式として』 　(上級者向け)

参考 : ユークリッド幾何学の公理 ペアノ (Peano) の公理