前回の授業でお伝えした、授業の補講日が決定いたしました。 時間：２０１５年２月２１日（土）１３時〜１７時半 場所：京都大学文学部 第四講義室 テーマ： （13:00-15:00）古典述語論理とそのモデル 配布資料はこちら （15:30-17:30）不完全性定理のモデル…

平成26年度 京都大学 研究科横断型教育プログラム（Bタイプ：特別開講型）の一環として、以下の要領で真理理論のミニコースを開催します。 登録者以外も自由に聴講が可能です。お気軽にお越し下さい。 授業日：1月24日（土）、25日（日） 場所:京都大学文学…

授業第二十一回目、本日は古典命題論理の完全性定理と健全性定理の話をします。 今回はまず、古典命題論理の完全性定理を、反例を作るときに昔から使用される「分析的推論」を一般化した証明探索樹を使った真理関数の構成法を解説します。また、古典命題論理…