A Philosophical Companion To First-Order Logic

This volume of recent writings, some previously unpublished, follows the sequence of a typical intermediate or upper-level logic course and allows teachers to enrich their presentations of formal methods and results with readings on corresponding questions in philosophical logic.

Contents:

• W. V. Quine, “Introduction” (from Methods of Logic)
• P. F. Strawson, “Logical Appraisal,” (from An Introduction to Logical Theory)
• D. Edgington, “Do Conditionals Have Truth Conditions?”
• R. E. Grandy, “What Do ‘Q’ and ‘R’ Stand for Anyway?”
• P. Horwich, “Theories of Truth”
• S. Haack, “The Justification of Deduction”
• J. Corcoran, “Meanings of Implication”
• A. Tarski, “Truth and Proof”
• J. Bennett, “Kant, Malcolm, and the Ontological Argument”
• M. Dummett, “Quantifiers” (from Frege: Philosophy of Language)
• W. V. Quine, “Existence and Quantification”
• P. Hylton, “The Significance of ‘On Denoting’”
• D. Prawitz, “Gentzen’s Analysis of First-Order Proofs” (from Ideas and Results in Proof Theory), and “On the Idea of a General Proof Theory”
• I. Hacking, “What Is Logic?”
• R. I. G. Hughes, “On First-Order Logic”
  
  Bibliography. Index.