First-order logics over fixed domain (Gregory Taylor)

The Logic and Metaphysics Workshop will meet on March 27th from 4:15-6:15 (NY time) in-person at the Graduate Center (Room 9205) for a talk by Gregory Taylor (CUNY).

Title: First-order logics over fixed domain

Abstract: What we call first-order logic over fixed domain was initiated, in a certain guise, by Peirce around 1885 and championed, albeit in idiosyncratic form, by Zermelo in papers from the 1930s.  We characterize such logics model- and proof-theoretically and argue that they constitute exploration of a clearly circumscribed conception of domain-dependent generality.  Whereas a logic, or family of such, can be of interest for any of a variety of reasons, we suggest that one of those reasons might be that said logic fosters some clarification regarding just what qualifies as a logical concept, a logical operation, or a logical law.

The published paper is available here:

Leave a Reply

Your email address will not be published. Required fields are marked *