TY - BOOK ID - 8615005 TI - Logic, logic, and logic AU - Boolos, George AU - Burgess, John P. AU - Jeffrey, Richard C. PY - 1998 SN - 0674537661 PB - Cambridge (MA) : Harvard University Press, DB - UniCat KW - Logic. KW - Logic, Symbolic and mathematical. KW - Mathematics KW - Philosophy. KW - Frege, Gottlob, KW - Logic KW - Argumentation KW - Deduction (Logic) KW - Deductive logic KW - Dialectic (Logic) KW - Logic, Deductive KW - Intellect KW - Philosophy KW - Psychology KW - Science KW - Reasoning KW - Thought and thinking KW - Methodology UR - https://www.unicat.be/uniCat?func=search&query=sysid:8615005 AB - 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. ER -