申し訳ありませんが、授業中に連絡したように、5月15日・22日は休講となります。 補講に関しては、教務と交渉します。 また5/29までの宿題については、出題する場合は今週か来週中に本BlogとKlasisメールで連絡します。 どちらもしばらくお待ち下さい。

今回の授業は、⇒の導入規則／除去規則に関する問題演習です。前回配布資料を忘れずご持参下さい。

本日は休講です。

授業第三回目は論理結合子⇒の自然演繹における導入規則・除去規則です。また「きれいな証明」（正規な証明）について紹介します。「きれいな証明」は、本授業のテーマである「論理の条件」と密接な関係がある、重要な概念です。 前回の復習 自然演繹：⇒の導…

今週より授業開始時間は 16:40 です授業第二回目の今回は、帰納的定義を紹介します。また、その例として、形式言語における「自然数もどき」（自然数を表現する計算機内のコード）、項、命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの…

講義室：文学部第5講義室授業第一回目、授業内容の概観とキーワード（メタと対象、統辞論と意味論）を説明します。 授業内容 演習の説明（目的・進め方・成績評価の仕方・参考書） 論理とは何か（授業の内容・方針） キーワード 授業計画 本日の授業資料 授…

哲学(演習) ／科学哲学（演習）シラバス 論理学1（講義）（前期 火5）（矢田部俊介） 哲学(演習) （哲学専修 5141001） 科学哲学科学史（演習） （科学史科学哲学 8241005） 場所：文学部第5講義室授業開始：4月10日（火） 授業の概要・目的 本授業の最終的…

論理学上級番外編：完全性定理／カリー・ハワード対応 講師：矢田部俊介 日時：２０１７年２月１８日（日）１０時３０分〜１７時半 場所：文学部第５講義室 テーマ： （10:30-12:00）古典述語論理の完全性定理 （13:00-15:00）カリー・ハワード対応：証明と…

補講日程 ご入力ありがとうございます！補講は、現在、2月18日開催で教務と接触中です。日にちが決まったらまたご連絡します。 学部横断授業の日程変更 以前授業で連絡した学部横断講義「論理学上級I」ですが、開催日が変更になりました： 変更前：1月27日、…

後期授業・補講の日程調整 1月23日（火）までにこちらのリンク先で投票して下さい。 後期授業第八回目、本日は古典命題論理の完全性定理と健全性定理の話をします。 今回は、古典命題論理の完全性定理を、反例を作るときに昔から使用される「分析的推論」を…