A philosophical companion to first-order logic / edited, with an overview, by R.I.G. Hughes.

Contributor(s): Material type: TextPublication details: Indianapolis : Hackett Pub. Co., c1993.Description: viii, 309 p. ; 22 cmISBN:
  • 0872201821 (alk. paper)
  • 9780872201828 (alk. paper)
  • 0872201813 (pbk. : alk. paper)
  • 9780872201811 (pbk. : alk. paper)
Subject(s): LOC classification:
  • BC 128 .P55 1993
Online resources:
Contents:
Introduction / W.V. Quine -- Logical appraisal / P. F. Strawson -- Do conditionals have truth conditions? / Dorothy Edgington -- What do 'Q' and 'R' stand for anyway? / Richard E. Grandy -- Theories of truth / Paul Horwich -- The justification of deduction / Susan Haack -- Meanings of implification / John Corcoran -- Truth and Proof / Alfred Tarski -- Kant, Malcolm, and the Ontological Argument / Jonathan Bennett -- Quantifiers / Michael Dummett -- Existence and quantification / W. V. Quine -- The significance of "On Denoting" / Peter Hylton -- Gentzen's analysis of first-order proofs --On the idea of a general proof theory / Dag Prawitz -- What is logic? / Ian Hacking -- On first-order logic / R.I.G. Hughes.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Barcode
Book Storms Research Center Main Collection BC 128 .P55 1993 (Browse shelf(Opens below)) Available 98644262

Includes bibliographical references (p. 291-302) and index.

Introduction / W.V. Quine -- Logical appraisal / P. F. Strawson -- Do conditionals have truth conditions? / Dorothy Edgington -- What do 'Q' and 'R' stand for anyway? / Richard E. Grandy -- Theories of truth / Paul Horwich -- The justification of deduction / Susan Haack -- Meanings of implification / John Corcoran -- Truth and Proof / Alfred Tarski -- Kant, Malcolm, and the Ontological Argument / Jonathan Bennett -- Quantifiers / Michael Dummett -- Existence and quantification / W. V. Quine -- The significance of "On Denoting" / Peter Hylton -- Gentzen's analysis of first-order proofs --On the idea of a general proof theory / Dag Prawitz -- What is logic? / Ian Hacking -- On first-order logic / R.I.G. Hughes.

There are no comments on this title.

to post a comment.