An examination of the later analytic tradition from logical positivism to Kripke. The course will cover some of the following topics: meaning and verifiability; the relation between science and philosophy; ordinary language and philosophy; the nature and status of the analytic-synthetic distinction; meaning and theories of meaning; theories of truth; the nature of necessity; and reference and identity.