Richard taught at the University of Arizona from 1991 to 2020. He taught a variety of courses in philosophy of science, including philosophy of biology and physics.
Regularly Taught Courses
Introduction to Symbolic Logic
Course Description.
Symbolic logic was a stimulus to the rise of analytic philosophy in the 20th century and today remains one of its basic tools. Its application to the foundations of mathematics led to revolutionary discoveries like Godel’s incompleteness theorems and Turing’s study of computability that proved so important for computer science. In applying symbolic techniques to natural languages linguists have revealed hidden complexities in their rich structure. For all these reasons symbolic logic has become a foundation of formal work in many disciplines. By studying it students will come to appreciate how powerful and rigorous reasoning can become when applied to itself.