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.

April 18

Glickman

April 23

GDC 6.302