An introduction to the problems and methods of contemporary philosophy.

A philosophical introduction to formal reasoning.

A survey course in philosophy of science.