This is a photo of me, Andrew Parisi, Dave Ripley, and Chris Martens having a conversation at the University of Connecticut.

This is a photo of me, Andrew Parisi, Dave Ripley, and Chris Martens having a conversation at the University of Connecticut.

I work on relevance logics. This lets me connect my past work in the foundations and philosophy of mathematics to my more recent work in nonclassical logic.

Unlike many relevance logicians, I'm not in it for the relevance. I'm in it for the semantics. So my work ends up motivated by metaphysical, linguistic, and epistemic concerns.

In a nutshell, here's how to get from semantics to relevance. First, connect conditionality to compatibility. Second, notice that compatibility is a ternary relation. Worlds are not compatible with one another on their own. They are compatible with one another relative to another world. Taking these things seriously gets you (I claim) to propositional RW. To get first-order semantics, use honest-to-god arbitrary elements to define truth for quantified sentences. This gets you to (essentially) Fine's stratified semantics.

I have three papers related to this work currently either under review or in revision. I am also coauthoring two related textbooks. The first, This is Philosophy of Logic, is under contract with Wiley. The second, Introduction to Relevance Logic, is under contract with Routledge. I am interested in collaborating on further projects in this vein. I would be particularly excited to work on a book on quantification in substructural logics. Drop me a line if that sounds like fun to you!

Recent and Upcoming Talks:

Want to hang out? Here are some ways to make it happen:

  • In December, I'll be giving a Bite Sized Research talk courtesy of the NCSU libraries. I'll be chatting about disjunctive syllogism.
  • In January I'll be at the Eastern APA. I'll be talking about how to look for logics.
  • A bit later in January, I'll be at the ASL meeting at the JMM, where I'll be talking about constant-domain semantics for contractionless relevance logics. 
  • In February, I'll be visiting my good friends at the University of Connecticut, before heading up to Northampton to give some talks at Smith College.
  • Later on, I'm hoping to make it to the SEP and the NCPS

Slides and (sometimes!) videos of recent talks (more coming soon!):

  • "Four-Valued First-Order Semantics for RW". Melbourne Logic Group. Slides. Video