(under construction)

(unless otherwise specified, MWF classes are 50 minutes,
and TuTh classes are 75 minutes)

513 – Math Logic I
Klement
TuTh 11:15
Elementary meta-mathematics and logical meta-theory. Topics include completeness and consistency proofs for first-order logic, model theory, elementary number theory (especially Peano arithmetic), and Gödel's incompleteness theorems and related results. Text: Mendelson, Introduction to Mathematical Logic, 4th ed. Requirements: problem sets and exams. Prerequisite: Philosophy 310, or consent of instructor.

550 – Epistemology
Kornblith
Tu 4:00-6:30
Some beliefs are justified; others are not. What is it that makes the difference? What conditions must be satisfied if a belief is to be justified? The available views about justification may be divided into two types: internalist and externalist. Roughly, internalists believe that the features which a belief must have if it is to be justified are, in some sense, internal to the agent: for example, on one such view, they must be available to introspection. Externalists disagree: the features which make a belief justified need not be entirely internal. We will examine this debate in detail.  We will read work by BonJour, Comesana, Conee, Feldman, Goldman, Kornblith, Sosa, Stroud, Williamson and others.  Readings will be made available. Prerequisites: Three courses in philosophy or permission of instructor. Requirements: One short (5-7 page) paper and one longer (12-15 page) paper.

582 – Philosophy of Science
Meacham
Th 1:00 - 3:30
Description forthcoming.

583 – Philosophy of Religion
Graham
Tu 7:00 - 9:30
Description forthcoming.

592M – Early Modern Metaphysics
O’Neill
W 3:35-6:05
Description forthcoming.

593F – Feminist Theory
Antony
Tu 1:00 - 3:30
We human beings rely heavily on each other in our efforts to gain knowledge; arguably, there is very little that any single person could know if limited to information gathered all by themselves.  But if we depend on other people for information, how do we know who to trust?  What if the things that we take to indicate expertise are actually misleading?  Some feminist epistemologists have been arguing recently that this epistemological question is especially pressing when we consider highly stratified societies.  In such societies, it's argued, marks of privilege are apt to be mistaken for marks of epistemic authority.  In this course, we examine these arguments.  The main text for the course will be Miranda Fricker's book, Epistemic Injustice.  This will be supplemented by articles in mainstream epistemology and in feminist epistemology.

595S – Formal Semantics
Hardegree
TuTh 9:30
We usually understand novel sentences – e.g., this one – with little or no hesitation. How do we accomplish this? According to the received opinion, our linguistic knowledge divides into two modules – roughly, words and rules – which in turn correspond respectively to Lexical Grammar and Compositional Grammar. The present course concerns Compositional Grammar, more specifically Compositional Semantics – the study of how the meanings of compound expressions are derived from the meanings of their parts. We pursue this enterprise within the framework of Categorial Grammar – more specifically, within the framework of Type-Logical Grammar. Topics will include: set theory, type theory, lambda-calculus, categorial syntax and semantics, type-logical syntax and semantics. Prerequisite: Phil 511, or graduate status, or consent of the instructor. Requirements: homework assignments. Click here for website.

760 – Ethics
Feldman
M 7:00 pm
Description forthcoming.

795M – Supervenience and Reduction
Bricker
M 3:35-6:05
Description forthcoming.

701R – Rawls
Garcia
Th 4:00-6:30
Description forthcoming.

791G – Agency and Action in Greek Philosophy
Perin
W 10:00-12:30
Description forthcoming.