Introduction to Logic is a combined text and workbook for students beginning their study of logic. The workbook style allows students to proceed at their own pace, checking their progress in the end-of-chapter exercises.
- The text covers propositional logic and predicate logic with identity, the focus being on arguments.
- The methods of proof are truth-tables and truth-trees (semantic tableaux) in the style of Jeffrey.
This text is suitable for students of philosophy, computer science, mathematics and science in general.
Additional resources
Additional teaching and assessment resources are available from the author at r.girle@auckland.ac.nz. These resources include a full set of PowerPoint® presentations, and sample test papers in Microsoft Word®.
Students love this text. Wherever it has been used, the numbers taking logic have soared.
Preface to the Second Edition
Using This Text
Acknowledgements
Chapter 1 Beginning Logic
Part One: Propositional Logic
Chapter 2 A New Language
Chapter 3 Truth-Tables
Chapter 4 Arguments and Truth-Tables
Chapter 5 Truth-Trees
Chapter 6 Reliability of PC
Part Two: Predicate Logic
Chapter 7 A Richer Language
Chapter 8 Truth in Monadic Predicate Logic
Chapter 9 Truth-Trees For MQT
Chapter 10 General Predicate Logic
Chapter 11 Truth-Trees for Predicate Logic
Chapter 12 Identity, At Least, At Most
Postscript
Answers To Exercises
Index And Glossary
References
Summary
The second edition consolidates argument analysis material into the chapter on arguments and truth-tables, revises the chapter on the reliability of propositional logic, and removes the natural deduction material.
Rod Girle (MA Dip.Div Qld., Ph.D. St And.) has taught in the Philosophy Department at the University of Queensland, and in the School of Computing and Information Technology at Griffith University. He is currently an Associate Professor in Philosophy at The University of Auckland.
Rod has been involved in logic curriculum development, teacher training, and schoolbased assessment in secondary schools in Queensland. His research interests are in Dialogue Logic, Argumentation Theory, Artifi cial Intelligence, Belief Revision, and Philosophy of Mind.