授業中にアナウンスしたとおり、今週と来週は休講です！

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

今期授業：総合研究2号館1階第９講義室 授業第一回目、授業内容の概観とキーワード（メタと対象、統辞論と意味論）を説明します。 授業内容 演習の説明（目的・進め方・成績評価の仕方・参考書） 論理とは何か（授業の内容・方針） キーワード 授業計画 本日…

矢田部俊介「基礎演習Ia（論理学演習1）」（講義）（前期 火5） 授業の概要・目的 本授業の最終的な目標は、受講者が論理的で明晰な思考に慣れ、何かを主張する際にはその主張がどのような根拠に基づいているかを明確化し、抜けも漏れもない論証ができるよう…

本年度の授業は4月14日（火）が第一回の予定です。