論理学

年度	2010
科目名	論理学
教員名	須藤　和夫
授業概要	この講義で扱うのは形式論理学で、哲学的論理学ではありません。この意味での論理学は正しい推理のあり方を明らかにするものですから、これからどんな分野を勉強するにしても一度は学んでおくとよいでしょう。筋道をたてて言ったり書いたりすることは、国際化する現代社会ではますます必要になると思います。この授業では、まず西洋で発展したアリストテレス以来の伝統的論理学を学び、次いで現代の記号論理学の初歩を学ぶことにします。伝統論理学の中心は三段論法ですから、前半の授業はこれをめざして進みます。一方、現代論理学の出発点は命題論理ですから、後半の授業はこれが中心になります。最後に、蓋然推理にも触れてみたいと思います。以上によって正しい推理や誤った推理についての基本的な知識が得られますが、真理値分析などによって論理学そのものの面白さを経験できるならばなおよいと思います。なお、述語論理についても触れたいところですが、半期の授業ですから、触れる余裕はないと思われます。
授業計画	言語と論理。論理学の位置。論理学の課題。 概念と定義。内包と外延。区分と分類。 判断あるいは命題。命題の種類。 オイラー図とヴェン図。周延。 直接推理(1)対当推理。 直接推理(2)変形推理。 間接推理(1)定言三段論法の格と式、規則。 間接推理(2)定言三段論法の還元。ヴェン図による判定。 命題論理(1)記号とその意味。真理表の作り方。 命題論理(2)真理値分析の実際。 命題論理(3)仮言三段論法と選言三段論法。ディレンマ。 蓋然論理の考え方。まとめ。
評価方法	授業内容を理解できたかどうかは自分で実際に推理や記号を扱ってみなければ確認できませんから、毎回簡単な小テストを行いたいと思います。小テストの問題は教科書のものを使用します。出席はこの小テストの提出によって確認します。成績は出席と期末試験とによって総合的に判定します。ただし、1/3以上欠席した場合は試験資格を失うものとします。
教科書
参考書
メッセージ	この授業には特に予備知識は必要ありませんが、数学のように毎回それまでの内容をふまえて進みますから、何よりも欠席しないことが大切です。また、教科書は頻繁に使用するので必ず買い求めて下さい。持っていないと毎回の小テストも受けられません。