This is my directory page. To read about my research, to see my selected publications (with links), and to see detailed course descriptions for the courses I will teach in 2020/21, please go to my webpage.
[Updated on 05/25/2020.]
.
.
.
.
.
.
.
.
.
.
.
.
.
The courses below are automatically pulled from the University Calendar. (I do not have control over the content of the blurbs in the Calendar or whether there is any.)
A brief review of sentential logic followed by an intensive study of predicate logic with identity. Topics include translation, semantics, decision procedures, natural deduction systems, mathematical induction. Other topics include: theories of definite descriptions, elementary modal logic, formal axiomatic systems. Prerequisite: PHIL 120 or consent of Department.
Fall Term 2020A study of the formal theory of rationality including probability and induction, and elementary decision theory, with attention to the paradoxes of choice.
Winter Term 2021Philosophical issues arising from computation and computer science. No previous familiarity with computing is necessary.
Fall Term 2020