英国牛津大学著名哲学家、逻辑学家 Timothy Williamson应我中心邀请，于9月14日在哲学系一层做了题为 “Object, property and contingent existence”的学术报告。
　　在报告中，Williamson主要是为模态谓词逻辑中的Barcan Formula和Converse Barcan Formula辩护。他给出了两种辩护策略：第一个是通过引入非具体对象（non-concrete object）以消解BF和CBF的直观反例。例如，对CBF而言，虽然任何一个具体对象（活着的或死去的）都不可能是维特根斯坦的孩子，但是某个非具体对象却有可能是。因此，允许非具体对象的形而上学与BF和CBF是相容的。另外，Williamson通过对二阶模态逻辑中的强概括原则（strong comprehensive principle， CP+）的分析，得出：如果不承认CP+，而承认更弱的CP，则所得的二阶模态逻辑不足以推出很多直观上认为正确的规律；如果承认CP+，则对BF和CBF的拒斥又不具有形而上学意义。 （徐召清）