Introductory logic is generally taught as a straightforward technical discipline. In this book, John MacFarlane helps the reader think about the limitations of, presuppositions of, and alternatives to classical first-order predicate logic, making this an ideal introduction to philosophical logic for any student who already has completed an introductory logic course.
The book explores the following questions. Are there quantificational idioms that cannot be expressed with the familiar universal and existential quantifiers? How can logic be extended to capture modal notions like necessity and obligation? Does the material conditional adequately capture the meaning of 'if'-and if not, what are the alternatives? Should logical consequence be understood in terms of models or in terms of proofs? Can one intelligibly question the validity of basic logical principles like Modus Ponens or Double Negation Elimination? Is the fact that classical logic validates the inference froma contradiction to anything a flaw, and if so, how can logic be modified to repair it? How, exactly, is logic related to reasoning? Must classical logic be revised in order to be applied to vague language, and if so how? Each chapter is organized around suggested readings and includes exercises designed to deepen the reader's understanding.
Key Features:
An integrated treatment of the technical and philosophical issues comprising philosophical logicDesigned to serve students taking only one course in logic beyond the introductory levelProvides tools and concepts necessary to understand work in many areas of analytic philosophyIncludes exercises, suggested readings, and suggestions for further exploration in each chapter
The book explores the following questions. Are there quantificational idioms that cannot be expressed with the familiar universal and existential quantifiers? How can logic be extended to capture modal notions like necessity and obligation? Does the material conditional adequately capture the meaning of 'if'-and if not, what are the alternatives? Should logical consequence be understood in terms of models or in terms of proofs? Can one intelligibly question the validity of basic logical principles like Modus Ponens or Double Negation Elimination? Is the fact that classical logic validates the inference froma contradiction to anything a flaw, and if so, how can logic be modified to repair it? How, exactly, is logic related to reasoning? Must classical logic be revised in order to be applied to vague language, and if so how? Each chapter is organized around suggested readings and includes exercises designed to deepen the reader's understanding.
Key Features:
An integrated treatment of the technical and philosophical issues comprising philosophical logicDesigned to serve students taking only one course in logic beyond the introductory levelProvides tools and concepts necessary to understand work in many areas of analytic philosophyIncludes exercises, suggested readings, and suggestions for further exploration in each chapter
"This is the perfect book for coverage of classic debates in mainstream philosophy of logic. It's also the perfect source for exceptionally clear reviews of standard logical machinery (e.g., standard modal machinery, quantifier machinery, higher-order machinery, etc.). Very user-friendly, clear, and accurate on all of the topics that it covers, this is my new required text for classic debates in the philosophy of logic."
Jc Beall, University of Notre Dame
"John MacFarlane displays his usual lively and engaging writing style, and is neutral on controversial issues, giving the arguments employed by both sides. It is an excellent overview of some key topics in the field."
Stewart Shapiro, Ohio State University
Jc Beall, University of Notre Dame
"John MacFarlane displays his usual lively and engaging writing style, and is neutral on controversial issues, giving the arguments employed by both sides. It is an excellent overview of some key topics in the field."
Stewart Shapiro, Ohio State University