△現代の論理学（Modern Logic）[1422]

＜授業のねらい及び具体的な達成目標＞

論理学は一般に正しい思考の法則や形式を研究する学問であるといわれます。本講義では、現代の「記号論理学」について分析タブローの方法を中心として学び、記号計算を練習しながら、「計算としての論理的思考」ということについて考えます。

＜授業計画＞

1. 記号と計算
2. 命題論理における命題：要素命題と複合命題
3. 命題の記号化：論理的結合子と論理式の定義
4. 命題の真理値と真理表
5. 真理関数と真理関数的命題
6. トートロジーと論理法則
7. 論理的結合子間の定義的関係
8. 論理的結合子の一般的考察
9. 命題論理における推論：推論の妥当性と推論形式
10. 恒真性と妥当性
11. 推論の妥当性のテスト
12. 演繹的論証
13. 例題演習
14. 定期試験

＜成績評価方法及び水準＞

毎回の授業に出席することを成績評価の前提とします。単位の認定は原則として学期末定期試験の成績によるものとし、成績が６０点以上の場合に単位を認めます。成績評価の方法と水準については、最初の授業のときに、その詳細を説明する予定です。必ず説明を聞き、疑問な点があるときには質問してください。

＜教科書＞

平野耿編『思考の回路−論理学ABC−』(富士書店)

＜参考書＞

沢田允茂著『考え方の論理』(講談社学術文庫)
山下正男著『論理的に考えること』(岩波ジュニア新書)

＜オフィスアワー＞

授業終了後に教室または兼任講師室で。

このページの著作権は学校法人工学院大学が有しています。 Copyright(c)2005 Kogakuin University. All Rights Reserved.