A philosophical companion to first-order logic

by Hughes, R. I. G.

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

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

Edition Statements

Publication Date:©1993.

Publication Statements

Publisher(s):Hackett Pub. Co
Place of Publication:Indianapolis
Language:eng
Publication Date:©1993.

The Physical Object

Description:viii, 309 pages ; : 22 cm

Edition Identifiers

ISBN:0872201821, 9780872201828, 0872201813, 9780872201811
oclc:ocm28378500
LC Classification:BC128
Dewey Decimal:160

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.