Logic, Logic and Logic
George Boolos(Author)
Richard C. Jeffrey(Editor)
Harvard University Press
Published on 1. June 1998
Book
Hardback
450 pages
978-0-674-53766-8 (ISBN)
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.
More details
Language
English
Place of publication
Cambridge, Mass
United States
Target group
College/higher education
Professional and scholarly
Illustrations
11 line illustrations
Dimensions
Height: 241 mm
Width: 170 mm
Weight
730 gr
ISBN-13
978-0-674-53766-8 (9780674537668)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Content
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.