内容説明
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.
目次
- 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.
「Nielsen BookData」 より