2017-04-11 ■ 講義室:文学部第5講義室授業第一回目、授業内容の概観とキーワード(メタと対象、統辞論と意味論)を説明します。 授業内容 演習の説明(目的・進め方・成績評価の仕方・参考書) 論理とは何か(授業の内容・方針) キーワード 授業計画 本日の授業資料 授業要約 こちらからダウンロード可能 授業スライド こちらからダウンロード可能 直近の予定 4/18 形式言語について 4/25, 5/2 休講 5/9 自然演繹の⇒の導入規則・除去規則