This leading text for symbolic or formal logic courses presents all techniques and concepts with clear, comprehensive explanations, and includes a wealth of carefully constructed examples. Its flexible organization (with all chapters complete and self-contained) allows instructors the freedom to cover the topics they want in the order they choose.
"synopsis" may belong to another edition of this title.
Flexible organization that covers semantics, truth trees, derivations, and metatheory as it develops sentential logic (Chapters 2-6) and predicate logic (Chapters 7-11).
Presents both natural deduction and tree methods of proof.
Offers a wide variety of examples that effectively illustrate the concepts discussed in the text.
Includes numerous exercises that provide a range of difficulty. A Student Solutions Manual (available free packaged with the text) includes answers for half of the exercises, allowing students to check their own work.
Merrie Bermann received her Ph.D. in philosophy from the United of Toronto and is currently an Associate Professor in the Computer Science Department at Smith College. She has published articles in formal semantics and logic, philosophy of language, and computational linguistics.
James Moor received his Ph.D. in history and philosophy of science from Indiana University and is currently a Professor of Philosophy at Dartmouth College. He has developed software for teaching logic and has published articles in philosophy of science, philosophy of mind, logic, philosophy of artificial intelligence, and computer ethics.
Jack Nelson received his Ph.D. in philosophy from the University of Chicago and is currently Dean of the Graduate School and Professor of Philosophy at Temple University. He has developed software for teaching logic and has published articles in personal identity, epistemology, and philosophy of science.
"About this title" may belong to another edition of this title.
Book Description McGraw-Hill Humanities/Social Sciences/Languages, 2003. Hardcover. Book Condition: New. 4. Bookseller Inventory # DADAX0072944013