-
74How We Learn Mathematical LanguagePhilosophical Review 106 (1): 35-68. 1997.Mathematical realism is the doctrine that mathematical objects really exist, that mathematical statements are either determinately true or determinately false, and that the accepted mathematical axioms are predominantly true. A realist understanding of set theory has it that when the sentences of the language of set theory are understood in their standard meaning, each sentence has a determinate truth value, so that there is a fact of the matter whether the cardinality of the continuum is א2 or …Read more
-
61Awarded the 1988 Johnsonian Prize in Philosophy. Published with the aid of a grant from the National Endowment for the Humanities.
-
60Review: John Etchemendy, The Concept of Logical Consequence (review)Bulletin of Symbolic Logic 7 (3): 379-380. 2001.
-
57The complexity of the modal predicate logic of "true in every transitive model of ZF"Journal of Symbolic Logic 62 (4): 1371-1378. 1997.
-
50The degree of the set of sentences of predicate provability logic that are true under every interpretationJournal of Symbolic Logic 52 (1): 165-171. 1987.
-
50Vagueness, and Paradox: An Essay in the Logic of Truth (review)Philosophical Review 103 (1): 142-144. 1994.
-
50Whittle’s assault on Cantor’s paradiseOxford Studies in Metaphysics 9. 2015.This chapter presents a response to Chapter 1. The arguments put forward in that chapter attempted to drive us from the paradise created by Cantor’s theory of infinite number. The principal complaint is that Cantor’s proof that the subsets of a set are more numerous than its elements fails to yield an adequate diagnosis of Russell’s paradox. This chapter argues that Cantor’s proof was never meant to be a diagnosis of Russell’s paradox. Further, it argues that Cantor’s theory is fine as it is.
-
46Timothy Williamson, Vagueness: London and New York: 1994 (review)Linguistics and Philosophy 21 (2): 221-235. 1998.
-
42On the degrees of unsolvability of modal predicate logics of provabilityJournal of Symbolic Logic 59 (1): 253-261. 1994.
-
39
-
34Review: James Van Aken, Axioms for the Set-Theoretic Hierarchy; Stephen Pollard, More Axioms for the Set-Theoretic Hierarchy; Michael D. Potter, Sets. An Introduction (review)Journal of Symbolic Logic 58 (3): 1077-1078. 1993.
-
33James Van Aken. Axioms for the set-theoretic hierarchy. The journal of symbolic logic, vol. 51 , pp. 992–1004. - Stephen Pollard. More axioms for the set-theoretic hierarchy. Logique et analyse, n.s. vol. 31 , pp. 85–88. - Michael D. Potter. Sets. An introduction. Clarendon Press, Oxford University Press, Oxford and New York1990, xi + 241 pp (review)Journal of Symbolic Logic 58 (3): 1077-1078. 1993.
-
33John Etchemendy. The concept of logical consequence. Harvard University Press, Cambridge, Mass., and London, 1990, vii + 174 pp (review)Journal of Symbolic Logic 57 (1): 254-255. 1992.
-
29Review: John Etchemendy, The Concept of Logical Consequence (review)Journal of Symbolic Logic 57 (1): 254-255. 1992.
-
23
-
222000 Annual Meeting of the Association for Symbolic LogicBulletin of Symbolic Logic 6 (3): 361-396. 2000.
-
22Afterword: Trying (With Limited Success) to Demarcate the Disquotational-Correspondence DistinctionIn J. C. Beall & B. Armour-Garb (eds.), Deflationary Truth, Open Court. pp. 143-152. 2005.
Cambridge, Massachusetts, United States of America