Louise Hay Logic Seminar
Ryan Carpenter
UIC
On Relevant Arithmetic
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.
Monday November 7, 2022 at 5:00 PM in 427 SEO