Spring 25 schedule
More info and more events forthcoming
February 17
Wag 316
Names and Higher-Order Logic
There is a longstanding puzzle about empty names. On the one hand, the principles of classical logic seem quite plausible. On the other hand, there would seem to be truths involving empty names---such as: Pegasus doesn't exist---that require rejecting certain classically valid principles. In this talk, I'll argue that there is a natural and principled way of reconciling the truth of such claims with classical logic. This account, however, is not neutral with respect to other principles of a broadly logical character. In particular, on this account, claims like Pegasus doesn't exist are incompatible with the validity of the controversial Barcan Formula. I'll argue that this fact may be marshalled to provide an argument against this principle. I'll close by noting how we can provide a general unified account of both empty and denoting names that is compatible with this account.
March 14
Wag 316
March 26
GDC 6.302
April 18
Glickman
April 23
GDC 6.302