An Independent Publisher Serving the Humanities Since 1972.

My Cart:

0 item(s) - $0.00
You have no items in your shopping cart.

0

A Philosophical Companion To First-Order Logic

A Philosophical Companion To First-Order Logic

Edited by R. I. G. Hughes

1993 - 320 pp.

Format ISBN Price Qty
Cloth 978-0-87220-182-8
$40.00
Paper 978-0-87220-181-1
$17.00

Quick Overview

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.

OR

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.