This course will cover the central concepts and results in mathematical logic, focussing on the Completness Theorem which proves the covergence of the the syntactic and semantic approaches to reasoning. The content of the course overlaps considerably with COMP 280 and 409, though the emphasis in this course is on applications of logic in areas other than computer science and the exercises primarily concern natural languages rather than formal ones. Among its other goals, the course is intended not only to give students practice in proving theorems but also to push them to be reflective about the theorem proving process. Readings are drawn from both classical and contemporary sources. An examination of philosophical movements in 20th century European philosophy-including phenomenology, existentialism, hermeneutics, critical theory, deconstruction, and postmodernism.
Topics vary from year to year.
An examination of Kant and post-Kantian philosophy on the 19th century, which may include Schiller, Hegel and German Idealism, Schopenhauer, Marx, Kierkegaard, Nietzsche, and Dilthey. I A survey of classic texts in the history of social and political philosophy, from Plato to Machiavelli to Mill. An examination of the theoretical foundations of bioethics emphasizing principlism, utilitarianism, Kantianism, contractarianism, medicalism, post-modernism, and casuistry. Fall 01 Directed reading and research. Research course normaly for second year graduate students completing research paper requirement.