عنوان

Logic, logic, and logic /

(Number (ISBN

0674537661

(Number (ISBN

067453767X (pbk.)

(Number (ISBN

9780674537668

(Number (ISBN

9780674537675 (pbk.)

Number

b413455

Title Proper

Logic, logic, and logic /

General Material Designation

[Book]

First Statement of Responsibility

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

Place of Publication, Distribution, etc.

Cambridge, Mass :

Name of Publisher, Distributor, etc.

Harvard University Press,

Date of Publication, Distribution, etc.

1998.

Specific Material Designation and Extent of Item

ix, 443 p. ;

Dimensions

25 cm.

Text of Note

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

Text of Note

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

Title

Logic, logic, and logic.

Logic.

Class number

Book number

Boolos, George.

Jeffrey, Richard C.

Date of Transaction

20140218103758.0

Electronic name

[Book]

Y