Ryan Carpenter : On Relevant Arithmetic

Posted by Ryan Carpenter , part of the Louise Hay Logic Seminar.

At

Nov. 7, 2022, 5 p.m.

In

427 SEO

Abstract

In this talk, I will give the motivation behind as well as a brief exploration into relevant logics as non-classical alternative deduction systems. After discussing relevant logics, I will talk about the work of mathematician, philosopher, and logician Robert Meyer—specifically his relevant system for arithmetic R#. We discover some surprising features of setting up mathematical axioms relevantly, and we talk about the fate of Meyer’s program in relevant arithmetic.