"A comprehensive and rigorous textbook introduction to modern symbolic logic that provides a modular approach to formal deduction from the basic sentential logic through first-order predicate calculus"--
"A comprehensive and rigorous textbook introduction to modern symbolic logic that provides a modular approach to formal deduction from the basic sentential logic through first-order predicate calculus"--
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.
Inhaltsangabe
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
