2020年度

＜概要/Course Content Summary＞

論理学は，１９世紀末から２０世紀初頭にかけて，フレーゲやラッセルらの研究によって大きく進歩し，アリストテレスの伝統的論理学よりもいっそう厳密で包括的な体系を構成できるようになった。その結果記号論理学は，現在では哲学のみならず，情報科学や認知科学などを含む，さまざまな分野にとって必要不可欠な基盤を成している。本講義では主に，この記号論理学のなかでも最も基礎的な体系である，命題論理と一階の述語論理の主要な内容を概観する。これを通じて，記号論理学の発展史の背景にある最重要の問題意識のひとつ，すなわち，「構文」「意味」「真理」の各概念の相克について，一定の気づきと理解を得ることを目的とする。

＜到達目標/Goals,Aims＞

受講生は，まず，記号論理学における記号の基本的な取り扱い方法に習熟して，ある程度複雑な日常言語の文を記号化できるようになること。その上で，論証の妥当性を記号論理学の手法を用いて証明できるようになることも求められる。　
　

＜授業計画/Schedule＞

授業計画は，必要に応じて多少変更する可能性がある。また，これに伴い，演習問題配布の日時についても変更の可能性がある。

＜成績評価基準/Evaluation Criteria＞

＜成績評価結果/Results of assessment＞   成績評価の見方について/Notes for assessment

＜テキスト/Textbook＞

各授業時にオリジナルプリントを配布するため，とくに指定しない。

＜参考文献/Reference Book＞

＜備考/Remarks＞

・全9回の演習問題は，それまでの授業内容の理解度を確認するためのものである。自宅で完成させて，翌週の講義時に提出すること。詳細については初回の授業時に説明する。 　　　
・本講義は，いわゆる「積み重ね」タイプの講義である。つまり，各回の講義を理解するためには，それ以前の回の講義内容を確実に理解していることが必須である。したがって，なるべく毎回出席するように心がけること。やむをえず欠席する場合には，担当者に連絡を取るなどして，キャッチアップに努めること。　
・本講義の受講を希望する者は，春学期開講科目「論理学（１）（日常言語の論理学）」の単位を取得していることが望ましい。 　
・一般に，講義とは学生と担当者のあいだの相互作用によってより稔り豊かなものになりうるものである。受講者は，このことを念頭に置いて，学びつつある事柄についての疑問点など，授業のなかで各自の考えを積極的に述べてほしい。