|
" Logic, logic, and logic / "
George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
584236
|
| Doc. No
|
:
|
b413455
|
| Main Entry
|
:
|
Boolos, George.
|
| Title & Author
|
:
|
Logic, logic, and logic /\ George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey.
|
| Publication Statement
|
:
|
Cambridge, Mass :: Harvard University Press,, 1998.
|
| Page. NO
|
:
|
ix, 443 p. ;; 25 cm.
|
| ISBN
|
:
|
0674537661
|
|
|
:
|
: 9780674537668
|
|
|
:
|
: 067453767X (pbk.)
|
|
|
:
|
: 9780674537675 (pbk.)
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references (p. 425-435) and index.
|
| Contents
|
:
|
I. Studies on Set Theory and the Nature of Logic. Introduction -- The iterative conception of set -- Reply to Charles Parsons' "sets and classes" -- On second-order logic -- To be is to be a value of a variable (or to be some values of some variables) -- Nominalist Platonism -- Iteration again -- Introductory note to Kurt Gödel's "Some basic theorems on the foundations of mathematics and their implications" -- Must we believe in set theory? -- -- II. Frege studies. Introduction -- Gottlob Frege and the foundations of arithmetic -- Reading the Begriffsschrift -- Saving Frege from contradiction -- The consistency of Frege's Foundations of Arithmetic -- The standard of equality of numbers -- Whence the contradiction? -- 1879? -- The advantages of honest toil over theft -- On the proof of Frege's theorem -- Frege's theorem and the peano postulates -- Is Hume's principle analytic? -- Die Grundlagen der Arithmetik, xx82-83 (with Richard Heck) -- Constructing Cantorian counterexamples -- -- III. Various logical studies and lighter papers. Introduction -- Zooming down the slippery slope -- Don't eliminate cut -- The justification of mathematical induction -- A curious inference -- A new proof of the Gödel incompleteness theorem -- On "seeing" the truth of the Gödel sentence -- Quotational ambiguity -- The hardest logical puzzle ever -- Gödel's second incompleteness theorem explained in words of one syllable.
|
| Subject
|
:
|
Logic.
|
| LC Classification
|
:
|
BC51.B58 1998
|
| Added Entry
|
:
|
Jeffrey, Richard C.
|
| |