授業第三回目は論理結合子⇒の自然演繹における導入規則・除去規則です。導入規則と除去規則は、論理結合子⇒の定義を与えるものであるため、合わせて論理的語彙の「定義」とはどういうものであるべきかの検討も行います。 また、前回出題の宿題の回答も説明し…

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

授業第一回目、授業内容の概観とキーワード（メタと対象、統辞論と意味論）を説明します。授業日時 授業時間：5月12日（火）16：30〜18：00 授業内容 演習の説明（目的・進め方・成績評価の仕方・参考書） 論理とは何か（授業の内容・方針） キーワード 授業…