授業第三回目は論理的帰結関係を表す論理結合子⇒の自然演繹における導入規則・除去規則です。論理学の最も重要な概念の一つが論理的帰結関係ですから、それを表す論理結合子⇒ こそ「the 論理結合子 of 論理結合子」という感じです。導入規則と除去規則は、論…

授業第二回目の今回は、帰納的定義を紹介します。また、その例として、形式言語における「自然数もどき」（自然数を表現する計算機内のコード）、項、命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの数学をシミュレートする際の基本的な…

授業第一回目の今回は、本授業の事務上の説明（オンライン授業の進め方、成績評価）および、人間の推論のコンピュータによるシミュレーションとしての形式的な論理学とはどういうものであるかを説明します。同時に、その際に重要になってくる「メタ／対象」…

哲学(演習) ／科学哲学（演習）シラバス 論理学1（講義）（前期 火5）（矢田部俊介） 哲学(演習) （哲学専修 5141001） 科学哲学科学史（演習） （科学史科学哲学 8241005） 授業開始：4月13日（火） 本授業は教務掛での分類でいうところの「対面授業が実施…