2021-04-13 ■ 授業第一回目の今回は、本授業の事務上の説明(オンライン授業の進め方、成績評価)および、人間の推論のコンピュータによるシミュレーションとしての形式的な論理学とはどういうものであるかを説明します。同時に、その際に重要になってくる「メタ/対象」などのキーワードをいくつか説明します。授業日時 授業時間:4月13日(火)16:30〜18:00 授業内容 演習の説明(目的・進め方・成績評価の仕方・参考書) 論理とは何か(授業の内容・方針) キーワード 授業計画