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

教室は前回と同じく第二演習室です！授業第二回目の今回は、形式言語における「自然数もどき」（こと自然数を表現する計算機内のコード）・項･命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの数学をシミュレートする際の基本的な道具で…

前回、教室の広さが不足しているようだったため、教務と相談したのですが、4月末になるまでは教室変更はできないそうで、少なくとも次回4月15日（火）は、先週と同じく、第２演習室で行うこととなりました。ご迷惑をおかけしますが、よろしくお願いいたしま…

演習の説明（目的・進め方・成績評価の仕方・参考書） 論理とは何か（授業の内容・方針） キーワード 授業計画 本日の授業資料 授業要約 こちらからダウンロード可能 授業スライド こちらからダウンロード可能 シラバスの誤植について 論理学の授業ですが、…

後期授業のシラバスは、9月に掲載いたします。 (科目名) 哲学(演習) (英 訳) Philosophy (Seminars) (配当学年) 全回生 (単位数) 2単位 (開講期) 前期 (曜時限) 火5 (教室) ８演 (授業形態) 特殊講義 (題目) 論理学 授業の概要・目的 本授業の最終的な目標は…

今期授業：火曜5限（第8演習室） 授業第一回目、授業内容の概観とキーワード（メタと対象、統辞論と意味論）を説明します。