Table of Contents

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

About the Author

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.