Logic, logic, and logic
著者
書誌事項
Logic, logic, and logic
Harvard University Press, 1998
大学図書館所蔵 件 / 全24件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 425-435) and index
内容説明・目次
内容説明
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」 より