Online Papers
Electronic versions of the papers listed below are available for download. Papers are orgranized alphabetically by title within the following categories:
Comments, criticisms, and suggestions are, of course, most welcome.What kinds of links are provided below depends upon who holds copyright to
the paper. If I do, then a link will be provided that should make it available to everyone, free
of charge. In other cases, however, links are provided to journal websites or other repositories,
such as jstor.org, which may not be acessible to everyone. If you are unable to
access these repositories, then, in many cases, you can request a copy from me by clicking on
the "Request Copy" link.
Work in Progress
Please do not cite these papers, or quote from them, without contacting me for permission first.
Frege Arithmetic and "Everyday Mathematics"
The purpose of this note is to demonstrate that predicative Frege arithmetic naturally interprets some weak but non-trivial arithmetical theories. The weak theories in question are all related to Tarski, Mostowski, and Robinson's R. In saying that the interpretation is "natural", I mean that it relies only upon "definitions" of arithmetical notions that are themselves "natural", that is, that have some claim to be "definitions" in something other than a purely formal sense. Show Abstract
Forthcoming Papers
Formal Arithmetic Before Grundgesetze
Forthcoming in P. Ebert and M. Rossberg, eds., A Companion to Frege's Grundgesetze
A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism. Show Abstract
The Function is Unsaturated (with Robert May)
Forthcoming in M. Beaney, ed., The Oxford Handbook of the History of Analytic Philosophy
An investigation of what Frege means by his doctrine that functions (and so concepts) are 'unsaturated'. We argue that this doctrine is far less peculiar than it is usually taken to be. What makes it hard to understand, oddly enough, is the fact that it is so deeply embedded in our contemporary understanding of logic and language. To see this, we look at how it emerges out of Frege's confrontation with the Booleans and how it expresses a fundamental difference between Frege's approach to logic and theirs. Show Abstract
Semantics and Context-Dependence: Towards a Strawsonian Account
Forthcoming in A. Burgess and B. Sherman, eds., New Essays on Metasemantics
This paper considers a now familiar argument that the ubiquity of context-dependence threatens the project of natural language semantics, at least as that project has usually been conceived: as concerning itself with `what is said' by an utterance of a given sentence. I argue in response that the `anti-semantic' argument equivocates at a crucial point and, therefore, that we need not choose between semantic minimalism, truth-conditional pragmatism, and the like. Rather, we must abandon the idea, familiar from Kaplan and others, that utterances express propositions `relative to contexts' and replace it with the Strawonian idea that speakers express propositions by making utterances in contexts. The argument for this claim consists in a detailed investigation of the particular case of demonstratives, which I argue demand such a Strawsonian treatment. I then respond to several objections, the most important of which allege that the Strawsonian account somehow undermines the project of natural language semantics, or threatens the semantics-pragmatics distinction
Please note that the paper posted here is an extended version of what will be published. Show Abstract
Truth In Frege (with Robert May)
Forthcoming in M. Glanzberg, ed., The Oxford Handbook of Truth
A general survey of Frege's views on truth, the paper explores the problems in response to which Frege's distinctive view that sentences refer to truth-values develops. It also discusses his view that truth-values are objects and the so-called regress argument for the indefinability of truth. Finally, we consider, very briefly, the question whether Frege was a deflationist. Show Abstract
Unpublished Papers
These are papers I wrote but never published, and which I do not now have plans to publish. Sometimes the material has been absorbed into other papers; sometimes they're just kind of out of date. They still seem to me worth reading, though.
Is Indeterminate Identity Incoherent?
In "Counting and Indeterminate Identity", N. Ángel Pinillos develops an argument that there can be no cases of 'Split Indeterminate Identity'. Such a case would be one in which it was indeterminate whether a=b and indeterminate whether a=c, but determinately true that b≠c. The interest of the argument lies, in part, in the fact that it appears to appeal to none of the controversial claims to which similar arguments due to Gareth Evans and Nathan Salmon appeal. I argue for two counter-claims. First, the formal argument fails to establish its conclusion, for essentially the same reason Evans's and Salmon's arguments fail to establish their conclusions. Second, the phenomena in which Pinillos is interested, which concern the cardinalities of sets of vague objects, manifest the existence of what Kit Fine called `penumbral connections', phenomena that the logics Pinillos considers are already known not to handle well. Show Abstract
What Is a Singular Term?
This paper discusses the question whether it is possible to explain the notion of a singular term without invoking the notion of an object or other ontological notions. The framework here is that of Michael Dummett's discussion in Frege: Philosophy of Language. I offer an emended version of Dummett's conditions, accepting but modifying some suggestions made by Bob Hale, and defend the emended conditions against some objections due to Crispin Wright.
This paper dates from about 1989. It originally formed part of a very early draft of what became my Ph.D. dissertation. I rediscovered it and began scanning it, when I had nothing better to do, in Fall 2001, making some minor editing changes along the way. Suffice it to say that it no longer represents my current views. Show Abstract
Published Papers
Alphabetical by title. If you want to see a list organized by date of publication, please see the publications page.
Are There Different Kinds of Content?
In J. Cohen and B. McLaughlin, eds, Contemporary Debates in the Philosophy of Mind (Oxford: Blackwells, 2007), pp. 117-38
frege.brown.edu, philpapers.org
in an earlier paper, "Non-conceptual Content and the 'Space of Reasons'", I distinguished two forms of the view that perceptual content is non-conceptual, which I called the 'state view' and the 'content view'. On the latter, but not the former, perceptual states have a different kind of content than do cognitive states. Many have found it puzzling why anyone would want to make this claim and, indeed, what it might mean. This paper attempts to address these questions. Show Abstract
Cardinality, Counting, and Equinumerosity
Notre Dame Journal of Formal Logic 41 (2000), pp. 187-209
Reprinted in Frege's Theorem, pp. 156-79
projecteuclid.org, philpapers.org, Request Copy
Frege famously held that there is a close connection between our concept of cardinal number and the notion of one-one correspondence, a connection enshrined in Hume's principle. Husserl, and later Parsons, objected that there is no such close connection that our most primitive conception of cardinality arises from our grasp of the practice of counting. I argue, however, that Frege was close to right, that our concept of cardinal number is closely connected with a notion like that of one-one correspondence, a more primitive notion we might call just as many. Show Abstract
Communication and Knowledge: Rejoinder to Byrne and Thau
Mind 105 (1996), pp. 151-56
mind.oupjournals.org, www.jstor.org, philpapers.org, Request Copy
A reply to Byrne and Thau's criticisms of "The Sense of Communiction". Show Abstract
The Composition of Thoughts (with Robert May)
Noûs 45 (2011), pp. 126-66
onlinelibrary.wiley.com, Request Copy
Are Fregean thoughts compositionally complex and composed of senses? We argue that, in Begriffsschrift, Frege took 'conceptual contents' to be unstructured, but that he quickly moved away from this position, holding just two years later that conceptual contents divide of themselves into 'function' and 'argument'. This second position is shown to be unstable, however, by Frege's famous substitution puzzle. For Frege, the crucial question the puzzle raises is why "The Morning Star is a planet" and "The Evening Star is a planet" have different contents, but his second position predicts that they should have the same content. Frege's response to this antinomy is of course to distinguish sense from reference, but what has not previously been noticed is that this response also requires thoughts to be compositionally complex, composed of senses. That, however, raises the question just how thoughts are composed from senses. We reconstruct a Fregean answer, one that turns on an insistence that this question must be understood as semantic rather than metaphysical. It is not a question about the intrinsic nature of residents of the third realm but a question about how thoughts are expressed by sentences. Show Abstract
The Consistency of Predicative Fragments of Frege's Grundgesetze der Artithmetik
History and Philosophy of Logic 17 (1996), pp. 209-20
www.informaworld.com, philpapers.org, Request Copy
As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell's Paradox being derivable in it.This system is, except for minor differences, full second-order logic, augmented by a single non-logical axiom, Frege's Axiom V. It has been known for some time now that the first-order fragment of the theory is consistent. The present paper establishes that both the simple and the ramified predicative second-order fragments are consistent, and that Robinson arithmetic, Q, is relatively interpretable in the simple predicative fragment. The philosophical significance of the result is discussed. Show Abstract
Critical Notice of Michael Dummett, Frege: Philosophy of Mathematics
Philosophical Quarterly 43 (1993), pp. 223-33
Definition by Induction in Frege's Grundgesetze der Arithmetik
In W. Demopoulos, ed., Frege's Philosophy of Mathematics (Cambridge MA: Harvard University Press, 1995), pp. 295-333
Reprinted in M. Schirn, ed., Frege: Importance and Legacy (New York: de Gruyter, 1996), pp. 200-33
frege.brown.edu, philpapers.org
Discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it. Show Abstract
The Development of Arithmetic in Frege's Grundgesetze der Arithmetik
Journal of Symbolic Logic 58 (1993), pp. 579-601
Reprinted, with a postscript, in W. Demopoulos, ed., Frege's Philosophy of Mathematics (Cambridge MA: Harvard University Press, 1995), pp. 257-94
Reprinted in M. Beaney and E. H. Reck, eds., Gottlob Frege: Critical Assessments of Leading Philosophers, vol. III (New York: Routledge, 2005), pp. 323-48
Also reprinted, with a new Postscript, in Frege's Theorem, pp. 40-68
www.jstor.org, philpapers.org, Request Copy
Frege's development of the theory of arithmetic in his Grundgesetze der Arithmetik had long been ignored, since the formal theory of the Grundgesetze is inconsistent. His derivations of the axioms of arithmetic from what is known as Hume's Principle do not, however, depend upon the Basic Law of the system, Basic Law V, which is responsible for the inconsistency. On the contrary, Frege's proofs constitute a derivation of axioms for arithmetic from Hume's Principle, in (axiomatic) second-order logic. Moreover, though Frege does prove each of the now standard Dedekind-Peano axioms, his proofs are devoted primarily to the derivation of his own axioms for arithmetic, which are somewhat different (though of course equivalent). These axioms, which may be yet more intuitive than the Dedekind-Peano axioms, may be taken to be "The Basic Laws of Cardinal Number", as Frege understood them. Show Abstract
Die Grundlagen der Arithmetik §§82-83 (with George Boolos)
In M. Schirn, ed., Philosophy of Mathematics Today (Oxford: Oxford University Press, 1998), pp. 407-28
Reprinted in George Boolos, Logic, Logic, and Logic (Cambridge MA: Harvard University Press, 1998), pp. 315-38
Also reprinted, with a Postscript, in Frege's Theorem, pp. 69-89
This paper contains a close analysis of Frege's proofs of the axioms of arithmetic §§70-83 of Die Grundlagen, with special attention to the proof of the existence of successors in §§82-83. Reluctantly and hesitantly, we come to the conclusion that Frege was at least somewhat confused in those two sections and that he cannot be said to have outlined, or even to have intended, any correct proof there. The proof he sketches is in many ways similar to that given in Grundgesetze der Arithmetik, but fidelity to what Frege wrote in Die Grundlagen and in Grundgesetze requires us to reject the charitable suggestion that it was this (beautiful) proof that he had in mind in §§82-83. Show Abstract
Do Demonstratives Have Senses?
Philosophers' Imprint 2 (2002)
Reprinted in The Philosopher's Annual 25 (2002)
www.philosophersimprint.org, philpapers.org
Frege held that referring expressions in general, and demonstratives and indexicals in particular, contribute more than just their reference to what is expressed by utterances of sentences containing them. Heck first attempts to get clear about what the sense of the Fregean view is, arguing that it rests upon a certain conception of linguistic communication that is ultimately indefensible. On the other hand, however, he argues that understanding a demonstrative (or indexical) utterance requires one to think of the object denoted in an appropriate way. This fact makes it difficult to reconcile the view that referring expressions are 'directly referential' with any view that seeks (as Grice's does) to ground meaning in facts about communication. Show Abstract
The Existence (and Non-existence) of Abstract Objects
In Frege's Theorem, pp. 200-26
Also to appear in P. Ebert and M. Rossberg, eds., Status Belli
This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what it is for abstracta to exist that is Fregean in spirit but more robust than familiar views. Show Abstract
The Finite and the Infinite in Frege's Grundgesetze der Arithmetik
In M. Schirn, ed., The Philosophy of Mathematics Today (Oxford: Clarendon Press, 1998), pp. 429-66
frege.brown.edu, philpapers.org
Discusses Frege's formal definitions and characterizations of infinite and finite sets. Speculates that Frege might have discovered the "oddity" in Dedekind's famous proof that all infinite sets are Dedekind infinite and, in doing so, stumbled across an axiom of countable choice. Show Abstract
Finitude and Hume's Principle
Journal of Philosophical Logic 26 (1997), pp. 589-617
Reprinted in R. T. Cook, ed., The Arché Papers on the Mathematics of Abstraction (Dordrecht: Springer, 2007), pp. 62-84
Also reprinted, with a Postscript, in Frege's Theorem, pp. 237-66
www.springerlink.com, philpapers.org, Request Copy
The paper formulates and proves a strengthening of 'Frege's Theorem', which states that axioms for second-order arithmetic are derivable in second-order logic from Hume's Principle, which itself says that the number of Fs is the same as the number of Gs just in case the Fs and Gs are equinumerous. The improvement consists in restricting this claim to finite 'srsquos Principle' also suffices for the derivation of axioms for arithmetic and, indeed, is equivalent to a version of them, in the presence of Frege's definitions of the primitive expressions of the language of arithmetic. The philosophical significance of this result is also discussed. Show Abstract
Frege and Semantics
Grazer Philosophische Studien 75 (2007), pp. 27-63
Reprinted in The Cambridge Companion to Frege, ed. by T. Ricketts and M. Potter (Cambridge: Cambridge University Press, 2010), pp. 342-78
frege.brown.edu, www.ingentaconnect.com, philpapers.org
This paper discusses the question to what extent Frege made serious use of semantical notions such as reference and truth. It focuses on his apparent uses of these notions in his apparently semantical discussions of his formal system in Grundgesetze der Arithmetik and defends the view that they are to be taken at face value. This paper is in some ways a companion to "Grundgesetze der Arithmetik I §§29-32", in which there is an extended, but mostly technical, discussion of Frege's attempt to prove that every well-formed expression in his formal language denotes: This paper contains more in the way of a discussion of the wider, interpretive significance of the technical interpretation given there. Show Abstract
Frege on Identity and Identity-Statements: A Reply to Thau and Caplan
Canadian Journal of Philosophy 33 (2003), pp. 83-102 (Awarded the Canadian Journal of Philosophy's 2002 Essay Prize)
web.ebscohost.com, Request Copy
In "What's Puzzling Gottlob Frege?", Michael Thau and Ben Kaplan argue that, contrary to the common wisdom, Frege never abandoned the view of identity-statments he had held in Begriffsschrift. I argue (a) that the textual evidence Thau and Caplan present does not support their view and (b) that there is overwhelming textual evidence in favor of the orthodox reading of "On Sense and Reference". Show Abstract
Frege's Contribution to Philosophy of Language (with Robert May)
In E. Lepore and B. Smith, eds., The Oxford Handbook of Philosophy of Language (Oxford: Oxford University Press, 2006), pp. 3-39
frege.brown.edu, philpapers.org
An investigation of Frege's various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference. Show Abstract
Frege's Principle
In J.Hintikka, ed., From Dedekind to Gödel: Essays on the Development of the Foundations of Mathematics (Dordrecht: Kluwer, 1995), pp. 119-42
Reprinted, with a Postscript, in Frege's Thoerem, pp. 90-110
This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V. Show Abstract
Frege's Theorem: An Introduction
The Harvard Review of Philosophy 7 (1999), pp. 56-73
Reprinted in S. Phineas Upham, ed., All We Need Is a Paradigm (Chicago: Open Court, 2009), pp. 41-61
Published in French, as "Introduction au théorème de Frege", tr. by L. Perrin, in M. Marion and A. Voizard, eds., Frege: Logique et philosophie (Montreal: Harmattan, 1998), pp. 33-61
Reprinted, in Portuguese, as "O Teorema de Frege: uma Introdução", tr. by A. Abath and A. Zilhão, in A. Zilhão, ed., Do Círculo de Viena á Filosofia Analítica Contemporânea (Lisbon: Sociedade Portugesua de Filosofia, 2007), pp. 259-80
A brief, non-technical introduction to technical and philosophical aspects of Frege's philosophy of arithmetic. The exposition focuses on Frege's Theorem, which states that the axioms of arithmetic are provable, in second-order logic, from a single non-logical axiom, "Hume's Principle", which itself is: The number of Fs is the same as the number of Gs if, and only if, the Fs and Gs are in one-one correspondence. Show Abstract
Frege's Theorem: An Overview
In Frege's Theorem, pp. 1-39
An introduction to the book, and an overview of my views on Frege's Theorem and its significance. Show Abstract
Grundgesetze der Arithmetik I §§29-32
Notre Dame Journal of Formal Logic 38 (1998), pp. 437-74
projecteuclid.org, philpapers.org, Request Copy
Frege's intention in section 31 of Grundgesetze is to show that every well-formed expression in his formal system denotes. But it has been obscure why he wants to do this and how he intends to do it. It is argued here that, in large part, Frege's purpose is to show that the smooth breathing, from which names of value-ranges are formed, denotes; that his proof that his other primitive expressions denote is sound and anticipates Tarski's theory of truth; and that the proof that the smooth breathing denotes, while flawed, rests upon an idea now familiar from the completeness proof for first-order logic. The main work of the paper consists in defending a new understanding of the semantics Frege offers for the quantifiers: one which is objectual, but which does not make use of the notion of an assignment to a free variable. Show Abstract
Grundgesetze der Arithmetik I §10
Philosophia Mathematica 7 (1999), pp. 258-92
philmat.oxfordjournals.org, philpapers.org, Request Copy
in section 10 of Grundgesetze, Frege confronts an indeterminacy left by his stipulations regarding his 'smooth breathing', from which names of valueranges are formed. Though there has been much discussion of his arguments, it remains unclear what this indeterminacy is; why it bothers Frege; and how he proposes to respond to it. The present paper attempts to answer these questions by reading section 10 as preparatory for the (fallacious) proof, given in section 31, that every expression of Frege's formal language denotes. Show Abstract
Idiolects
In J. J. Thomson and A. Byrne, eds., Content and Modality: Themes from the Philosophy of Robert Stalnaker (Oxford: Oxford University Press, 2006), pp. 61-92
frege.brown.edu, philpapers.org
Defends the view that the study of language should concern itself, primarily, with idiolects. The main objections considered are forms of the normativity objection. Show Abstract
Is Compositionality a Trivial Principle?
Frontiers of Philosophy in China 8 (2103), pp. 140-55
booksandjournals.brillonline.com, frege.brown.edu
Primarily a response to Paul Horwich's "Composition of Meanings", the paper attempts to refute his claim that compositionality—roughly, the idea that the meaning of a sentence is determined by the meanings of its parts and how they are there combined—imposes no substantial constraints on semantic theory or on our conception of the meanings of words or sentences. Show Abstract
Julius Caesar and Basic Law V
Dialectica 59 (2005), pp. 161-78
Reprinted in Frege's Theorem, pp. 111-26
onlinelibrary.wiley.com, philpapers.org, Request Copy
This paper dates from about 1994: I rediscovered it on my hard drive in the spring of 2002. It represents an early attempt to explore the connections between the Julius Caesar problem and Frege's attitude towards Basic Law V. Most of the issues discussed here are ones treated rather differently in my more recent papers "The Julius Caesar Objection" and "Grundgesetze der Arithmetik I §10". But the treatment here is more accessible, in many ways, providing more context and a better sense of how this issue relates to broader issues in Frege's philosophy. Show Abstract
The Julius Caesar Objection
In Language, Thought, and Logic: Essays in Honour of Michael Dummett, pp. 273-308
Reprinted in Frege's Theorem, pp. 127-55
frege.brown.edu, philpapers.org
This paper argues that that Caesar problem had a technical aspect, namely, that it threatened to make it impossible to prove, in the way Frege wanted, that there are infinitely many numbers. It then offers a solution to the problem, one that shows Frege did not really need the claim that 'numbers are objects', not if that claim is intended in a form that forces the Caesar problem upon us. Show Abstract
A Liar Paradox
Thought 1 (2012), pp. 36-40
onlinelibrary.wiley.com, Request Copy
The purpose of this note is to present some strong forms of the liar paradox. They are strong because the logical resources needed to generate them paradox are weak. The only logical resources used are: (i) conjunction introduction; (ii) substitution of identicals; and (iii) the inference: From ¬(p & p), infer ¬p. We then get a paradox if we assume either (a) the `transparency' of truth and the law of non-contradiction or (b) the schemata: ¬(S & T(¬S); and ¬(¬S & ¬T(¬S).
The lesson I would like to draw is: There can be no consistent solution to the Liar paradox that does not involve abandoning truth-theoretic principles that should be every bit as dear to our hearts as the T-scheme. So we shall have to learn to live with the Liar, one way or another. Show Abstract
A Logic for Frege's Theorem
In Frege's Theorem, pp. 267-96
Also to appear in a A. Miller, ed., Essays for Crispin Wright: Logic, Language and Mathematics
It has been known for a few years that no more than Pi-1-1 comprehension is needed for the proof of "Frege's Theorem". One can at least imagine a view that would regard Pi-1-1 comprehension axioms as logical truths but deny that status to any that are more complex—a view that would, in particular, deny that full second-order logic deserves the name. Such a view would serve the purposes of neo-logicists. It is, in fact, no part of my view that, say, Delta-3-1 comprehension axioms are not logical truths. What I suggest, however, is that there is a special case to be made on behalf of Pi-1-1 comprehension. Making the case involves investigating extensions of first-order logic that do not rely upon the presence of second-order quantifiers. A formal system for so-called "ancestral logic" is developed, and it is then extended to yield what I call "Arché logic". Show Abstract
MacFarlane on Relative Truth
Philosophical Issues 16 (2006), pp. 88-100
onlinelibrary.wiley.com, philpapers.org, Request Copy
John MacFarlane has made relativism popular again. Focusing just on his original discussion, I argue that the data he uses to motivate the position do not, in fact, motivatie it at all. Many of the points made here have since been made, independently, by Hermann Cappelen and John Hawthorne, in their book Relativism and Monadic Truth. Show Abstract
Meaning and Truth-conditions
In D. Griemann and G. Siegwart, eds., Truth and Speech Acts: Studies in the Philosophy of Language (New York: Routledge, 2007), pp. 349-76
frege.brown.edu, philpapers.org
Develops a conception of how knowledge of meaning is put to use in communication. Along the way, it defends the view that understanding can be identified with knowledge of T-sentences against the classical criticisms of Foster and Soames. Show Abstract
Meaning and Truth-conditions: A Reply to Kemp
Philosophical Quarterly 52 (2002), pp. 82-87
onlinelibrary.wiley.com, www.jstor.org, philpapers.org, Request Copy
In his "Meaning and Truth-Conditions", Gary Kemp offers a reconstruction of Frege's infamous 'regress argument', which purports to rely only upon the premises that the meaning of a sentence is its truth-condition and that each sentence expresses a unique proposition. If cogent, the argument would show that only someone who accepts a form of semantic holism can use the notion of truth to explain that of meaning. I respond that Kemp relies heavily upon what he himself styles "a literal, rather wooden" understanding of truth-conditions. I explore alternatives, and say a few words about how Frege's regress argument might best be understood. Show Abstract
Non-conceptual Content and the 'Space of Reasons'
Philosophical Review 109 (2000), pp. 483-523
www.jstor.org, philpapers.org, Request Copy
In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so. Show Abstract
A Note on the Logic of Higher-order Vagueness
Analysis 53 (1993), pp. 201-8
Reprinted in D. Graff and T. Williamson, eds., Vagueness (Dartmouth: Ashgate, 2002), pp. 315-22
frege.brown.edu, analysis.oxfordjournals.org, philpapers.org
A discussion of Crispin Wright's 'paradox of higher-order vagueness', I suggest that the paradox may be resolved by careful attention to the logical principles used in its formulation. In particular, I focus attention on the rule of inference that allows for the inference from A to 'Definitely A', and argue that this rule, though valid, may not be used in subordinate deductions, e.g., in the course of a conditional proof. Wright's paradox uses the rule (or its equivalent) in this way. Show Abstract
On the Consistency of Second-order Contextual Definitions
Noûs 26 (1992), pp. 491-4
Reprinted, with a Postscript, in Frege's Theorem, pp. 227-36
www.jstor.org, philpapers.org, Request Copy
One of the earliest discussions of the so-called 'bad company' objection to Neo-Fregeanism, I show that the consistency of an arbitrary second-order 'contextual definition' (nowadays known as an 'abstraction principle' is recursively undecidable. I go on to suggest that an acceptable such principle should satisfy a condition nowadays known as 'stablity'. Show Abstract
Ramified Frege Arithmetic
Journal of Philosophical Logic 40 (2011), pp. 715-35
www.springerlink.com, Request Copy
Øystein Linnebo has shown that the existence of successors cannot be proven in predicative Frege arithmetic, that is, predicative second-order logic plus "Hume's Principle" and Frege's definitions of zero, predecessor, and natural number. It is shown in the present paper that the existence of successors can be proven if the logic is strengthened to ramified predicative second-order logic. It then follows from work by John Burgess and Allen Hazen that Robinson arithmetic, Q, can be interpreted in ramified Frege arithmetic. Show Abstract
Reason and Language
In C. Macdonald and G. Macdonald, eds., McDowell and His Critics (Oxford: Blackwell Publishing, 2006), pp. 22-45
John McDowell has often emphasized the fact that the use of langauge is a rational enterprise. In this paper, I explore the sense in which this is so, arguing that our use of language depends upon our consciously knowing what our words meana. I call this a 'cognitive conception of semantic competence'. The paper also contains a close analysis of the phenomenon of implicature and some suggestions about how it should and should not be understood. Show Abstract
Reply to Hintikka and Sandu: Frege and Second-order Logic (with Jason Stanley)
Journal of Philosophy 90 (1993), pp. 416-24
www.jstor.org, philpapers.org, Request Copy
Hintikka and Sandu had argued that 'Frege's failure to grasp the idea of the standard interpretation of higher-order logic turns his entire foundational project into a hopeless daydream' and that he is 'inextricably committed to a non-standard interpretation' of higher-order logic. We disagree. Show Abstract
Self-reference and the Languages of Arithmetic
Philosophia Mathematica 15 (2007), pp. 1-29
frege.brown.edu, philmat.oxfordjournals.org, philpapers.org
It is often said that diagonalization allows one to construct sentences that are self-referential. This paper investigates the sense in which that is true. I argue first that, in the standard language of arithmetic, in which we have only the symbols 0, S, +, and ×, truly self-referential sentences cannot be constructed. This problem can be resolved by expanding the language to include function-symbols for all primitive recursive functions. It can also be resolved by proving a stronger form of the diagonal lemma that I call the "structural" diagonal lemma. At the end of the paper, it is argued, however, that there are some contexts in which the latter method is insufficient. Show Abstract
Semantic Accounts of Vagueness
In J.C. Beall, ed., Liars and Heaps (Oxford: Oxford University Press, 2003), pp. 106-27
Read as a comment on Crispin Wright's "Vagueness: A Fifth Column Approach", this paper defends a form of supervaluationism against Wright's criticisms. Along the way, however, it takes up the question what is really wrong with Epistemicism, how the appeal of the Sorities ought properly to be understood, and why Contextualist accounts of vagueness won't do. Show Abstract
The Sense of Communication
Mind 104 (1995), pp. 79-106
mind.oxfordjournals.org, www.jstor.org, philpapers.org, Request Copy
Many philosophers nowadays believe Frege was right about belief, but wrong about language: The contents of beliefs need to be individuated more finely than in terms of Russellian propositions, but the contents of utterances do not. I argue that this 'hybrid view' cannot offer no reasonable account of how communication transfers knowledge from one speaker to another and that, to do so, we must insist that understanding depends upon more than just getting the references of terms right. Show Abstract
Sir Michael Anthony Eardley Dummett, 1925-2011
Philosophia Mathematica 21 (2013), pp. 1-8
philmat.oxfordjournals.org, frege.brown.edu
An account of Dummett's work in the philosophy of mathematics. Show Abstract
Solving Frege's Puzzle
Journal of Philosophy 109 (2012), pp. 132-74
www.journalofphilosophy.org, frege.brown.edu
So-called 'Frege cases' pose a challenge for anyone who would hope to treat the contents of beliefs (and similar mental states) as Russellian propositions: It is then impossible to explain people's behavior in Frege cases without invoking non-intentional features of their mental states, and doing that seems to undermine the intentionality of psychological explanation. In the present paper, I develop this sort of objection in what seems to me to be its strongest form, but then offer a response to it. I grant that psychological explanation must invoke non-intentional features of mental states, but it is of crucial importance which such features must be referenced. It emerges from a careful reading of Frege's own view that we need only invoke what I call 'formal' relations between mental states. I then claim that referencing such 'formal' relations within psychological explanation does not undermine its intentionality in the way that invoking, say, neurological features would. The central worry about this view is that either (a) 'formal' relations bring narrow content in through back door or (b) 'formal' relations end up doing all the explanatory work. Various forms of each worry are discussed. The crucial point, ultimately, is that the present strategy for responding to Frege cases is not available either to the 'psycho-Fregean', who would identify the content of a belief with its truth-value, nor even to someone who would identify the content of a belief with a set of possible worlds. It requires the sort of rich semantic structure that is distinctive of Russellian propositions. There is therefore no reason to suppose that the invocation of 'formal' relations threatens to deprive content of any work to do.
Note: The copy of the paper on frege.brown.edu is of a longer version than the one that was published. Show Abstract
Syntactic Reductionism
Philosophia Mathematica 8 (2000), pp. 124-49
Reprinted in Frege's Theorem, pp. 180-99
philmat.oxfordjournals.org, philpapers.org, Request Copy
Syntactic Reductionism, as understood here, is the view that the 'logical forms' of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as 'most', are examined. It is then argued, on this basis, that Syntactic Reductionism is untenable. Show Abstract
Tarski, Truth, and Semantics
Philosophical Review 106 (1997), pp. 533-54
www.jstor.org, philpapers.org, Request Copy
John Etchemendy has argued that it is but "a fortuitous accident" that Tarski's work on truth has any signifance at all for semantics. I argue, in response, that Etchemendy and others, such as Scott Soames and Hilary Putnam, have been misled by Tarski's emphasis on definitions of truth rather than theories of truth and that, once we appreciate how Tarski understood the relation between these, we can answer Etchemendy's implicit and explicit criticisms of neo-Davidsonian semantics. Show Abstract
That There Might Be Vague Objects (So Far as Concerns Logic)
The Monist 81 (1998), pp. 277-99
Gareth Evans has argued that the existence of vague objects is logically precluded: The assumption that it is indeterminate whether some object a is identical to some object b leads to contradiction. I argue in reply that, although this is true—I thus defend Evans's argument, as he presents it—the existence of vague objects is not thereby precluded. An 'Indefinitist' need only hold that it is not logically required that every identity statement must have a determinate truth-value, not that some such statements might actually fail to have a determinate truth-value. That makes Indefinitism a cousin of mathematical Intuitionism. Show Abstract
Truth and Disquotation
Synthese 142 (2004), pp. 317-52
www.springerlink.com, philpapers.org, Request Copy
Hartry Field has suggested that we should adopt at least a methodological deflationism: "[W]e should assume full-fledged deflationism as a working hypothesis. That way, if full-fledged deflationism should turn out to be inadequate, we will at least have a clearer sense than we now have of just where it is that inflationist assumptions...are needed." I argue here that we do not need to be methodological deflationists. More precisely, I argue that we have no need for a disquotational truth-predicate; that the word 'true', in ordinary language, is not a disquotational truth-predicate; and that it is not at all clear that it is even possible to introduce a disquotational truth-predicate into ordinary language. If so, then we have no clear sense how it is even possible to be a methodological deflationist. My goal here is not to convince a committed deflationist to abandon his or her position. My goal, rather, is to argue, contrary to what many seem to think, that reflection on the apparently trivial character of T-sentences should not incline us to deflationism. Show Abstract
Use and Meaning
In R. E. Auxier and L. E. Hahn, eds., The Philosophy of Michael Dummett (Chicago: Open Court, 2007), pp. 531-57
frege.brown.edu, philpapers.org
Many philosophers have been attracted to the idea that meaning is, in some way or other, determined by use—chief among them, perhaps, Michael Dummett. But John McDowell has argued that Dummett, and anyone else who would seek to draw serious philosophical conclusions from this claim, must face a dilemma: Either the use of a sentence is characterized in terms of what it can be used to say, in which case profound philosophical consequences can hardly follow, or it will be impossible to make out the sense in which the use of language is a rational activity. The paper evaluates McDowell's arguments and, in so doing, attempts to offer an initial sketch of how the notion of use might be so understood that the claim that use determines meaning is a substantive one. (I do not take any stand here on whether one should accept that claim.) Show Abstract
To view these files, you will need an appropriate sort of reader. Adobe Acrobat will work with the PDF files, as will the several (morally superior) open source viewers. If you use Linux, you have loads of choices. But then, you probably already knew that.


