This course will introduce students to two logical systems: Propositional Logic and First Order Logic. For each we discuss the syntax (what it means to construct a well formed sentence in the logic), the semantics (how one decides whether or not a sentence in the logic is true), a proof theory (how, if you know some true things, you can figure out what else is true), and how to translate between the logics and natural language.