这两天起得都比较早。是手机时间慢了两个小时，而我早上就拿它做闹钟。
上午是学院传统的素质教育演讲。偷些懒，还讲熟悉的Quine.去年用了个大气势磅礴的题目，叫Philosophy Without Fear: A
Step-by-Step Approach Learning W. V. Quine’ s Most Popular Article: _On What
There Is_ That Makes You Feel Smart,这次低调些，就直接叫Quine’s _On What There
Is_.
一些学说主张，比如在上帝存在的证明里，上帝存在，因为你用了“上帝”这个词，如果上帝不存在，那你怎么能使用这个词？。这种逻辑顽固得要命，其他例子如鬼是否存在，飞马是否存在。Quine（奎因）的处理比较漂亮，他首先用罗素的摹状词理论，指出一个名词并不能许给我们一个本体论的承诺，用“上帝”、“鬼神”、“飞马”这些词时并不需要预设它们的存在。分析哲学本来是要拒绝本体论的，Quine还是正面阐述了他的本体论思想：“存在就是约束变量的值(To
be is to be the value of a
variable)”。这种说法并不是主张什么什么东西存在或不存在，也没有说哪个本体论就是对的。他解决的问题是对一个特定的本体论主张，它如何让我们确信。最终这还是一个语言问题。