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.
Logic is an ideal textbook for any logic student: perfect for revision, staying on top of coursework or for anyone wanting to learn about the subject. Related downloadable software for Macs and PCs is available for this title at www.logic.routledge.com.
Material in a patient and reader-friendly style makes both the nature and value of formal logic clear and accessible. Treatment proceeds from a frank, informal introduction to fundamental logical notions, to a system of formal logic rooted in our natural deductive reasoning in daily life. A comprehensive set of formal methods for distinguishing good arguments from bad is defined and discussed. In every case, models are clearly explained and illustrated before being stated in formal terms. Includes exercises and boxes of key points. Annotation c. Book News, Inc., Portland, OR (booknew.com)