私の発表は16時20分より40分間。要旨は以下の通り。 Objective: to analyze the conception of truth (with a total truth predicate) in an arithmetic in Łukasiewicz infinite-values predicate logic ∀Ł. The problem: the modest liar paradox implies …

本日の午前は lecture series, 午後はチェコ組のファジイ数学案内 Real and Ideal Enitities in a Minimalist Constructive Foundation (2) (Giovanni Sambin) シリーズ二日目、今日は構成的数学のminimal な枠組で実際の数学（特に位相空間論）が展開できる…

起床は5時半、発表準備の続きと発表練習。8時過ぎに朝食、一日会議。夕方、"Round table" で「非古典数学は古典論理をメタ理論として展開されるべきか」を巡り、Avron vs Sambin のバトルロワイアル再び。 夜は「コンゴ」に行ってから就寝。