-
23On the Hanf number of souslin logicJournal of Symbolic Logic 43 (3): 568-571. 1978.We show it is consistent with ZFC that the Hanf number of Ellentuck's Souslin logic should be exactly $\beth_{\omega_2}$
-
96Dummett's case for intuitionismHistory and Philosophy of Logic 5 (2): 177-194. 1984.Dummett's case against platonism rests on arguments concerning the acquisition and manifestation of knowledge of meaning. Dummett's arguments are here criticized from a viewpoint less Davidsonian than Chomskian. Dummett's case against formalism is obscure because in its prescriptive considerations are not clearly separated from descriptive. Dummett's implicit value judgments are here made explicit and questioned. ?Combat Revisionism!? Chairman Mao
-
128The Development of Modern LogicHistory and Philosophy of Logic 32 (2). 2011.History and Philosophy of Logic, Volume 32, Issue 2, Page 187-191, May 2011
Princeton, New Jersey, United States of America