Table of Contents

Preface ix
Acknowledgments xvii
1 Sentential Logic: Basic Concepts and a Formal Language 1 
2 Sentential Logic: Proofs 17
3 Sentential Logic: Truth Tables 37
4 Predicate Logic: Formal Language 51
5 Predicate Logic: Proofs 65
6 Predicate Logic: Models 77
7 Predicate Logic with Identity 91
A Appendix: Answers to Selected Exercises 101

About the Author

Colin Allen is Distinguished Professor in the Department of History and Philosophy of Science at the University of Pittsburgh. He is coauthor of Species of Mind and coeditor of Nature's Purposes and The Cognitive Animal, all published by the MIT Press. Michael Hand is Professor of Philosophy at Texas A&M University.