Logic, logic, and logic

Author(s)

• Boolos, George
• Jeffrey, Richard C.

Bibliographic Information

Logic, logic, and logic

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

Harvard University Press, 1998

Note

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

Description and Table of Contents

Description

George Boolos is viewed by many as one of the influential logician-philosopher of the 20th century. This collection includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Godel theormes.

Table of Contents

• Part 1 Studies on set theory and the nature of logic: 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 Godel's "Some Basic Theorems on the Foundations of Mathematics and their Implications"
• must we believe in set theory?. Part 2 Frege studies: Gottlob Frege and the foundations of arithmetic
• reading the "Bergriffsschrift"
• saving Frege from contradiction
• the conspiracy 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 82-83 (Richard Heck)
• constructing Cantorian counterexamples. Part 3 Various logical studies and lighter papers: zooming down the slippery slope
• don't eliminate cut
• the justification of mathematical induction
• a curious inference
• a new proof of the Godel Incompleteness theorem
• on "seeing" the truth of the Godel sentence
• quotational amibguity
• the hardest logical puzzle ever
• Godel's Second Incompleteness theorem explained in words of one syllable.

by "Nielsen BookData"

Details

• NCID: BA36075275
• ISBN:
  • 0674537661
• LCCN: 97037668
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge, Mass
• Pages/Volumes: ix, 443 p.
• Size: 25 cm
• Classification:
  • LCC : BC51
  • DC21 : 160
• Subject Headings:
  • LCSH : Logic