-
3Axioms of Infinity as the Starting Point for Rigorous MathematicsAnnals of the Japan Association for Philosophy of Science 20 17-28. 2012.
-
3Formal Logic: Its Scope and Limits (edited book)Hackett Publishing Company. 2006.The first beginning logic text to employ the tree method--a complete formal system of first-order logic that is remarkably easy to understand and use--this text allows students to take control of the nuts and bolts of formal logic quickly, and to move on to more complex and abstract problems. The tree method is elaborated in manageable steps over five chapters, in each of which its adequacy is reviewed; soundness and completeness proofs are extended at each step, and the decidability proof is ex…Read more
-
2A Subject with No Object: Strategies for Nominalistic Interpretation of MathematicsStudia Logica 67 (1): 146-149. 2001.
-
2A Subject with No Object: Strategies for Nominalistic Interpretation of MathematicsPhilosophical Quarterly 50 (198): 124-126. 1997.
-
A Subject with No Object. Strategies for Nominalistic Interpretations of MathematicsNoûs 33 (3): 505-516. 1999.
-
21Consistency proofs in model theory: A contribution to JensenlehreAnnals of Mathematical Logic 14 (1): 1. 1978.
-
4Which Modal Models are the Right Ones (for Logical Necessity)?Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 18 (2): 145-158. 2010....
-
1Wang Hao. From mathematics to philosophy. International library of philosophy and scientific method. Humanities Press, New York 1974, xiv + 428 pp (review)Journal of Symbolic Logic 42 (4): 579-580. 1977.
-
17Computability and LogicCambridge University Press. 1974.This fourth edition of one of the classic logic textbooks has been thoroughly revised by John Burgess. The aim is to increase the pedagogical value of the book for the core market of students of philosophy and for students of mathematics and computer science as well. This book has become a classic because of its accessibility to students without a mathematical background, and because it covers not simply the staple topics of an intermediate logic course such as Godel's Incompleteness Theorems, b…Read more
-
24Against EthicsEthical Theory and Moral Practice 10 (5): 427-439. 2007.This is the verbatim manuscript of a paper which has circulated underground for close to thirty years, reaching a metethical conclusion close to J. L. Mackie’s by a somewhat different route.
-
1Retrieving the Martyrs in Order to Rethink the Political Order: The Russian Orthodox CaseJournal of the Society of Christian Ethics 34 (2): 177-201. 2014.This essay argues that in retrieving the new martyrs and confessors, the approximately two thousand people who suffered directly for their faith under Soviet communist oppression, the Russian Orthodox Church has made publicly available symbols and narratives that bear democratizing potential. The Church's "Icon of the New Martyrs and Confessors" can be interpreted as calling for broad representation of all parts of society in Church and political life, and freedom of the Church to represent its …Read more
-
16Chapter Eight. Insolubility?In José Medina & David Wood (eds.), Truth, Blackwell. pp. 116-134. 2005-01-01.
-
6Chapter Three. DeflationismIn José Medina & David Wood (eds.), Truth, Blackwell. pp. 33-51. 2005-01-01.
-
18Chapter Six. AntirealismIn José Medina & David Wood (eds.), Truth, Blackwell. pp. 83-101. 2005-01-01.
-
6Chapter Four. IndeterminacyIn José Medina & David Wood (eds.), Truth, Blackwell. pp. 52-67. 2005-01-01.
-
18Chapter Seven. KripkeIn José Medina & David Wood (eds.), Truth, Blackwell. pp. 102-115. 2005-01-01.
-
8Chapter One. IntroductionIn José Medina & David Wood (eds.), Truth, Blackwell. pp. 1-15. 2005-01-01.
Princeton, New Jersey, United States of America