This course examines the nature of formal reasoning in logic and mathematics. Central concepts explored are: validity, soundness, proof, axiom, postulate, theorem, consistency, and contradiction. Metamathematics and metalogic (the philosophy of mathematics and of logic) are explored, various alternative logics are examined, as well as the limits of mathematics and logic. An example of the application of logical techniques and notions to a non-mathematical domain will be studied.