A four-week analytic-philosophy course on the logic behind the words: logical analysis and Frege, ontology and meaning, the Tractatus and logical positivism, and formal truth.