論理学

2年

2020年度前期

2.00単位

G-HU-201L

赤井　清晃

単独

特になし

特になし

命題論理における論理結合子の意味と論理式の真理値について理解し、真理表の方法をはじめとする論理計算・操作を行なうことができるようになること。

論理的なものの考え方を学習するため、命題論理の基礎を学習し、述語論理への橋渡しをする。
解説を行なう講義形態を主とするが、必要に応じて、問題を解く演習形式も取り入れる。

第　１回　論理学とは何か。論理学と他の諸学問との関係について
第　２回　命題の意味について
第　３回　論理結合子の種類と意味
第　４回　シェーファーの記号について
第　５回　真理表の方法
第　６回　真理値分析の方法
第　７回　真理値割り当ての方法
第　８回　標準化の方法
第　９回　推理の妥当性について
第１０回　ディレンマについて
第１１回　論理回路について
第１２回　自然演繹法について
第１３回　述語論理への橋渡し
第１４回　現代論理学の展望
第１５回　まとめ

プリントを配布する。
配布する資料は、下記のURLでも参照できるので、必要に応じて参照すること。
[http://home.hiroshima-u.ac.jp/akyah59/lectures_index.shtml]

必要に応じて、授業中に指示する。

試験（60パーセント）＋ 授業中に指示する課題等（40パーセント）

積み重ねが重要なので、継続して自宅でも問題を解くことが望ましい。
「論理学」用のノート（ルースリーフでも大学ノートでも）を用意して、必らず、自分の手で書くこと。

科目コード：G-人-2-01-L

×