Introduction to Formal Logic with Philosophical Applications

by Russell Marcus

Overview

Rigorous yet engaging and accessible, Introduction to Formal Logic with Philosophical Applications is composed of two parts. The first part (Chapters 1-5) provides a focused, "nuts-and-bolts" introduction to formal deductive logic that covers syntax, semantics, translation, and natural deduction for propositional and predicate logics. The second part (Chapters 6-7) presents stand-alone, student-friendly essays on logic and its application in philosophy and beyond, with writing prompts and suggestions for further readings.

For instructors who prefer an exceptionally clear introduction to formal logic without the extra philosophical applications, Introduction to Formal Logic, an abbreviated, alternate version of Introduction to Formal Logic with Philosophical Applications, is also available.

Product Details

ISBN-13:	9780199386482
Publisher:	Oxford University Press
Publication date:	12/15/2017
Edition description:	New Edition
Pages:	624
Product dimensions:	7.50(w) x 9.10(h) x 0.90(d)

About the Author

Russell Marcus is Associate Professor of Philosophy at Hamilton College.

Table of Contents

, PrefaceChapter 1. Introducing Logic1.1: Defining "Logic"1.2: Logic and Languages1.3: A Short History of Logic1.4: Separating Premises from Conclusions1.5: Validity and Soundness, Key TermsChapter 2. Propositional Logic: Syntax and Semantic2.1: Logical Operators and Translation2.2: Syntax of PL: Wffs and Main Operators2.3: Semantics of PL: Truth Functions2.4: Truth Tables2.5: Classifying Propositions2.6: Valid and Invalid Arguments2.7: Indirect Truth Tables, Key TermsChapter 3. Inference in Propositional Logic3.1: Rules of Inference 13.2: Rules of Inference 23.3: Rules of Equivalence 13.4: Rules of Equivalence 23.5: Practice with Derivations3.6: The Biconditional3.7: Conditional Proof3.8: Logical Truths3.9: Indirect Proof3.10: Chapter Review, Key TermsChapter 4. Monadic Predicate Logic4.1: Introducing Predicate Logic4.2: Translation Using M4.3: Syntax for M4.4: Derivations in M4.5: Quantifier Exchange4.6: Conditional and Indirect Proof in M4.7: Semantics for M4.8: Invalidity in M, Key TermsChapter 5. Full First-Order Logic5.1: Translation Using Relational Predicates5.2: Syntax, Semantics, and Invalidity in F5.3: Derivations in F5.4: The Identity Predicate: Translation5.5: The Identity Predicate: Derivations5.6: Translation with Functions5.7: Derivations with Functions, Key TermsChapter 6. Beyond Basic Logic6.1: Notes on Translation with PL6.2: Conditionals6.3: Three-Valued Logics6.4: Metalogic6.5: Modal Logics6.6: Notes on Translation with M, Key TermsChapter 7. Logic and Philosophy7.1: Deduction and Induction7.2: Fallacies and Argumentation7.3: Logic and Philosophy of Mind: Syntax, Semantics, and the Chinese Room7.4: Logic and the Philosophy of Religion7.5: Truth and Liars7.6: Names, Definite Descriptions, and Logical Form7.7: LogicismAppendix on the Logical Equivalence of the Rules of Equivalence, Terms, Solutions to Selected Exercises, Glossary/Index

Editorial Reviews

"Introduction to Formal Logic with Philosophical Applications is a superb treatment of the subject. It is unusually lucid, meeting students where they are and guiding them in a step-by-step manner through the rigors of symbolic logic. All of this without sacrificing the kind of detail and precision that is a sine qua non for textbooks of this kind."—Michael Futch, University of Tulsa

"This is a superb treatment of formal logic. In my opinion, it's not too difficult and not too easy."—Leemon McHenry, California State University, Northridge

"This is a book that enables students to become comfortable with the basics of logic while also allowing them to understand why they are doing logic."—Andrew Winters, Slippery Rock University of Pennsylvania

"Hurley has the advantage of breadth, but lacks the depth, whereas Hausman has depth, but lacks the clarity of Marcus. Chapter 7 is my favorite chapter, as Marcus addresses philosophical issues of logic. What I like is that this chapter can be used throughout the semester. And I loved the paper topics suggested throughout the book."—Reginald Raymer, University of North Carolina, Charlotte

"Introduction to Formal Logic with Philosophical Applications is better than what I now use. It's an excellent introductory text—precise, detailed, and clear, with lots of exercises and a wealth of interesting supplementary material."—Jeff Buechner, Rutgers University, Newark

"Marcus's text is invitingly written, lucid, and often intuitive, providing students with easy-to-follow conceptual development. None of this, however, comes at the expense of a thorough presentation and suitable opportunities to practice."—Mia Wood, Pierce College

"Introduction to Logic with Philosophical Applications does an excellent job of addressing the connections between logic and philosophy. It is thorough and rigorous in presentation, yet the prose is conversational and easy to follow. The tone is appropriately conversational and engaging, and the explanations are clear. Pedagogically, the book is excellent. The very large number of exercises at the end of each section is one of the very first things that stood out to me. This will give students plenty of exercise in learning to use logic. I am also always concerned about pricing for my students. The fact that Introduction to Logic with Philosophical Applications is $50.00 less than The Logic Book definitely counts in this text's favor."—Joseph Long, The College at Brockport, State University of New York

From the Publisher