عنوان

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