-
57$1$-consistency and the diamond (review)Notre Dame Journal of Formal Logic 26 (4): 341-347. 1985.
-
72The epidemiology of peripheral vein complications: evaluation of the efficiency of differing methods for the maintenance of catheter patency and thrombophlebitis preventionJournal of Evaluation in Clinical Practice 11 (1): 85-89. 2005.
-
56Annual meeting of the association for symbolic logic: Boston 1983Journal of Symbolic Logic 49 (4): 1441-1449. 1984.
-
180Meeting of the association for symbolic logic: New York 1979Journal of Symbolic Logic 46 (2): 427-434. 1981.
-
94Trees and finite satisfiability: proof of a conjecture of BurgessNotre Dame Journal of Formal Logic 25 (3): 193-197. 1984.
-
135Reflection principles and iterated consistency assertionsJournal of Symbolic Logic 44 (1): 33-35. 1979.
-
129On the nonexistence of certain normal forms in the logic of provabilityJournal of Symbolic Logic 47 (3): 638-640. 1982.
-
344Degrees of unsolvability of constructible sets of integersJournal of Symbolic Logic 33 (4): 497-513. 1968.
-
61Annual Meeting of the Association for Symbolic LogicJournal of Symbolic Logic 49 (4): 1441-1449. 1984.
-
72The analytical completeness of Dzhaparidze's polymodal logicsAnnals of Pure and Applied Logic 61 (1-2): 95-111. 1993.The bimodal provability logics of analysis for ordinary provability and provability by the ω-rule are shown to be fragments of certain ‘polymodal’ logics introduced by G.K. Dzhaparidze. In addition to modal axiom schemes expressing Löb's theorem for the two kinds of provability, the logics treated here contain a scheme expressing that if a statement is consistent, then the statement that it is consistent is provable by the ω-rule.
-
Political FreedomRoutledge. 2014.This book examines the underlying theoretical issues concerning the nature of political freedom. Arguing that most previous discussions of such freedom have been too narrowly focused, it explores both conservativism from Edmund Burke to its present resurgence, the radical tradition of Karl Marx, as well as the orthodox liberal model of freedom of John Locke, John Stuart Mill and Isaiah Berlin. _Political Freedom_ argues that these three accounts of political freedom - conservative, liberal and r…Read more
-
5On the proof of Frege's theoremIn Adam Morton & Stephen P. Stich (eds.), Benacerraf and His Critics, Blackwell. pp. 143--59. 1996.
-
13The Oxford Handbook of Business EthicsOUP Usa. 2012.The Oxford Handbook of Business Ethics is a comprehensive treatment of the field of business ethics as seen from a philosophical approach. The volume consists of 24 essays that survey the field of business ethics in a broad and accessible manner, covering all major topics about the relationship between ethical theory and business ethics.
-
Die Grundlagen der Arithmetik, 82-3In Matthias Schirn (ed.), The Philosophy of Mathematics Today, Clarendon Press. 2003.
-
274IX*—Saving Frege from ContradictionProceedings of the Aristotelian Society 87 (1): 137-152. 1987.George Boolos; IX*—Saving Frege from Contradiction, Proceedings of the Aristotelian Society, Volume 87, Issue 1, 1 June 1987, Pages 137–152, https://doi.org/10.
-
183
-
10The consistency of Frege's foundations of arithmeticIn Judith Jarvis Thomson (ed.), On Being and Saying: Essays for Richard Cartwright, Mit Press. pp. 3--20. 1987.
-
369Frege's theorem and the peano postulatesBulletin of Symbolic Logic 1 (3): 317-326. 1995.Two thoughts about the concept of number are incompatible: that any zero or more things have a number, and that any zero or more things have a number only if they are the members of some one set. It is Russell's paradox that shows the thoughts incompatible: the sets that are not members of themselves cannot be the members of any one set. The thought that any things have a number is Frege's; the thought that things have a number only if they are the members of a set may be Cantor's and is in any …Read more
-
49Nominalist platonismIn Richard Jeffrey (ed.), Logic, Logic, and Logic, Harvard University Press. pp. 73-87. 1998.