| Record ID | marc_columbia/Columbia-extract-20221130-003.mrc:389206997:1916 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-003.mrc:389206997:1916?format=raw |
LEADER: 01916fam a2200337 a 4500
001 1421998
005 20220602032349.0
008 930611t19931993inu b 000 0 eng
010 $a 93014456
020 $a0872201821(alk. paper)
020 $a0872201813 (pbk. : alk. paper)
035 $a(OCoLC)28378500
035 $a(OCoLC)ocm28378500
035 $9AHT6649CU
035 $a(NNC)1421998
035 $a1421998
040 $aDLC$cDLC$dNNC
050 00 $aBC128$b.P55 1993
082 00 $a160$220
245 02 $aA philosophical companion to first-order logic /$cedited, with an overview, R.I.G. Hughes.
260 $aIndianapolis ;$aCambridge :$bHackett Pub. Co.,$c[1993], ©1993.
263 $a9310
300 $aviii, 309 pages ;$c22 cm
336 $atext$2rdacontent
337 $aunmediated$2rdamedia
338 $avolume$2rdacarrier
504 $aIncludes bibliographical references (p. 291-302) and index.
505 0 $a1. Introduction / W. V. Quine -- 2. Logical Appraisal / P.F. Strawson -- 3. Do Conditionals Have Truth Conditions? / Dorothy Edgington -- 4. What Do Q̀' and 'R' Stand for, Anyway? / Richard E. Grandy -- 5. Theories of Truth / Paul Horwich -- 6. The Justification of Deduction / Susan Haack -- 7. Meanings of Implication / John Corcoran -- 8. Truth and Proof / Alfred Tarski -- 9. Kant, Malcolm, and the Ontological Argument / Jonathan Bennett -- 10. Quantifiers / Michael Dumment -- 11. Existence and Quantification / W.V. Quine -- 12. The Significance of "On Denoting" / Peter Hylton -- 13a. Gentzen's Analysis of First-Order Proofs / Dag Prawitz -- 13b. On the idea of a General Proof Theory / Dag Prawitz -- 14. What Is Logic? / Ian Hacking -- 15. On First-Order Logic / R.I.G. Hughes.
650 0 $aFirst-order logic.$0http://id.loc.gov/authorities/subjects/sh85048595
700 1 $aHughes, R. I. G.$0http://id.loc.gov/authorities/names/n88083112
852 00 $bglx$hBC128$i.P55 1993