"Naive abstraction and truth" (A. Cantini)

さて、こちらが本題。氏から、ワークショップ　"Contributions to contraction free logics" （2008年4月＠ハンブルグ）で包括原理関係の面白い発表があったことをお教えいただく。Cantiniの発表のスライドを読んでみるが、非常に興味深い。
前半は包括原理を predicative な論理式のみに適用できるように制限した体系の紹介で、GilmoreやHinnion,Libertの結果の紹介をしています。後半では非古典論理上の無制限な包括原理の紹介です*1。特に前半部分は、日本ではあまり知られていないと思うので、有益かもしれません。

*1:一部、ω-矛盾性に関して、条件が強すぎるようにも見える箇所がありますが。