初日の最後はEvans' vague object

に関して、ノルウェーのBjordal氏による講演。Evansのvague objectに関する証明では無制限な形でλ項を使用するので、それが矛盾の原因だとという反論がある。それを反証するため、λ項を使用せずに、Hilbertのε項を使用して書き直してみた、という内容。5行の証明が34行になるが、書き直しは可能。聴衆のほとんどにとって腑に落ちない結果なので、話が終わった後も盛んに討論を続けていた。
彼は△(A→B)→(△A→△B)を仮定しており、これを仮定する限り矛盾を導いてもしょうがないのでは、というのが私の意見です。
ちなみに彼は背が高くがっしりした体格でスキンヘッド、どう見ても哲学者に見えない。