This course offers the student a basic understanding of formal logic, which uses artificial languages to distinguish good reasoning and good arguments from bad ones. Topics covered include validity, soundness, consistency, truth tables, natural deduction proofs, artificial languages, and quantification.