A course which treats argumentation, syllogistic, and sentential logic. The focus will be on the use of formal methods in the construction and criticism of actual arguments, the aim being to inculcate standards of good reasoning, e.g. clarity, consistency, and validity.