Normal view MARC view ISBD view

A philosophical companion to first-order logic / edited, with an overview, by R.I.G. Hughes. - Indianapolis : Hackett Pub. Co., c1993. - viii, 309 p. ; 22 cm.

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.

ISBN: 0872201821 (alk. paper) 9780872201828 (alk. paper) 0872201813 (pbk. : alk. paper) 9780872201811 (pbk. : alk. paper)

LCCN: 93014456

Nat. Bib. No.: GB94-65131

Nat. Bib. Agency Control No.: 087-22018 uk b94-65131 uk

Subjects--Topical Terms:
First-order logic.

Subjects--Index Terms: Logic

LC Class. No.: BC 128 / .P55 1993