عنوان

Logic, logic, and logic /

0674537661

067453767X (pbk.)

9780674537668

9780674537675 (pbk.)

b413455

Logic, logic, and logic /

[Book]

George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey.

Cambridge, Mass :

Harvard University Press,

1998.

ix, 443 p. ;

25 cm.

Includes bibliographical references (p. 425-435) and index.

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.

0

Logic, logic, and logic.

Logic.

Boolos, George.

Jeffrey, Richard C.

20140218103758.0

[Book]

Y