Richard has taught at the University of Arizona since 1991. He teaches a variety of courses in philosophy of science, including philosophy of biology and physics. For descriptions of courses Prof. Healey regularly teaches, click the links on the left.

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.