Logic, Logic, and Logic

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.