“Logic,” pages 64–93 in Fundamentals of Philosophy, edited by John Shand, Routledge, 2003.
An introduction to the formal and philosophical logic, for a general introductory handbook to philosophy. I introduce the concepts of deductive and inductive validity, formal languages, proofs, models, soundness and completeness, and many other things besides.