授業スライド こちらから 授業要旨・宿題 こちらから

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

A4 レポート用紙の片面のみを利用すること すべてのページの上部に所属学科・名前・学籍番号を記入すること 複数枚になる場合、ホチキスは使わず、クリップで止めること

授業スライド こちらから 授業要旨 こちらから

前回の復習 準備：形式言語 自然数の帰納的定義 項の帰納的定義 命題の帰納的定義 宿題

授業第二回目、形式言語における自然数もどき・項･命題などの帰納的定義を紹介します。 帰納的定義は、計算機上でメタの数学をシミュレートする際の基本的な道具で、今後頻出するので、ぜひ覚えておいて下さい。

授業要約 こちらからダウンロード可能 授業スライド こちらからダウンロード可能

演習の説明（目的・進め方・成績評価の仕方・参考書） 論理とは何か（授業の内容・方針） キーワード 授業計画

授業第一回目、授業内容の概観とキーワード（メタと対象、統辞論と意味論）を説明します。

題目：論理学演習 授業のテーマと目的 我々は「論理的」という言葉をよく使う。哲学においても、もちろん「論理的」であることが要求される。しかし、「論理」とはいったい何だろうか。これは、現代の哲学の大きな問題である。というのも、古典論理の体系以…

授業第一回目は4/10（火）です。