This course examines Analytic Philosophy in the mid-20th century, concentrating on Wittgenstein, Ramsey, Carnap, and Quine. Special attention paid to the metaphysical foundations of logic, and the nature of linguistic meaning, including the relations between "truth-conditional" and "verificationist" theories.