■
哲学(演習) ／科学哲学（演習）シラバス
論理学1（講義）（前期 火5）（矢田部俊介）
場所：ネット上
授業開始：5月12日（火）
本授業はオンライン（PandAのZoom機能）で行います。
- 授業資料は、KULASIS「授業サポート」にある「授業資料」機能で配布します。各自、授業前にダウンロードして目を通してください。
- 当日の授業は PandA のZoom機能を使います（今大流行のインターネットWeb会議システムです）。
- Zoomは会議システムなので、双方向なのがウリです。授業中の質問等は、Zoomで聞いてください
- なお、授業の模様はYouTubeでも配信する予定です。
- 宿題は、KULASIS「授業サポート」にある「レポート発行」機能で集約します。宿題は「証明図を書け」という問題が多いのですが、電子ファイルで作るのが面倒な場合、自分で紙に書いた証明図を携帯電話のカメラで撮影してもらい、その画像をアップしてくだされば十分です。
授業がどんなものになるかの試験的なリハーサルを4月18日（土）午後15時頃？に中継したいと思います。詳細は決まり次第ご連絡します。
なお、お待ちの間、3月末に行った、論理学上級コースのYouTube中継番組でもご覧ください…イメージとしては、こういう感じの授業を、パワポとかを使ってやる感じかと思います…
www.youtube.com
授業の概要・目的
本授業の最終的な目標は、受講者が論理的で明晰な思考に慣れ、何かを主張する際にはその主張がどのような根拠に基づいているかを明確化し、抜けも漏れもない論証ができるようになることである。そのための練習の題材としては、哲学的論理学、そのなかでも 「論理とは何か」という問題をとりあげる。我々は日常、推論を行い、そして「論理的」という言葉をよく使う。もちろん「論理的」であることが要求される。 しかし、「論理」とはいったい何だろうか。日頃、無反省に、知っているつもりで使っている概念の意味を問い直すのは、哲学の重要な仕事の一つである。
本演習では、数学における定理の証明がシミュレートできる、「論理」と呼ばれうるような、記号を処理する体系（「形式的体系」）を紹介する。 具体的には、最小述語論理の自然演繹の体系の解説と問題演習を行う。
到達目標
最小述語論理の自然演繹で、基本的な演習問題が解けるようになる。このことを通し、形式的体系における演繹がどのように進むのかを理解し、同時に日常的な推論がどのように形式的体系においてシミュレートされるのかを理解する
授業計画と内容
最小述語論理は、論理結合子の導入規則と除去規則のみを持つ、基本的な論理体系の一つである。前期の前半は、まず最小述語論理の自然演繹の体系を紹介する。問題演習を通じ、各自が自然演繹の証明が出来るようになることが目標である。また、後半には、最小論理上で算術の体系「最小算術Q」を例に、数学における多くの証明が最小論理で遂行可能であることを示す。同時に、原始再帰法など計算の基本概念を紹介する。。
具体的な授業計画は以下の通り。
履修要件
特になし（ただし後期の哲学演習の履修は、本授業の履修が必要となるので注意すること）
成績評価の方法・基準
ほぼ毎回出題する宿題の累計成績に準じて行う。
授業外学習
授業資料は毎回、事前（1~2日前）に本website にアップします。学生は、授業前に資料にざっと目を通しておくことが望ましい。
教科書
毎回KULASIS「授業サポート」よりハンドアウトを配布する。
参考書等
- 戸次大介 『数理論理学』（東大出版会）
その他（オフィスアワー等）
形式的な体系を理解するためには、まず手を動かして練習問題の証明をやってみよう。記号の意味は何か、と考えるのはそれから。
※オフィスアワーは、Zoomで実施します。KULASISで確認してください。
