Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains the Theory of Validity; The Language of Propositional Logic; Proof-Theory for Propositional Logic; Formal Semantics for Propositional Logic including the Truth-Tree Method; The Language of Quantificational Logic including the Theory of Descriptions.