In 1902 there arrived in Jena a letter from Russell laying out a proof that shattered Frege’s confidence in logicism, which is widely taken to be the doctrine according to which every truth of arithmetic is re-expressible without relevant loss as a provable truth about a purely logical object. Frege was persuaded that Russell had exposed a pathology in logicism, which faced him with the task of examining its symptoms, diagnosing its cause, assessing its seriousness, arriving at a treatment option, (...) and making an estimate of future prospects. The symptom was the contradiction that had crept into naïve set theory in the form of the set that provably is and is not its own member. The diagnosis was that it is caused by Basic Law V of the Grundgesetze (Frege, In: Grundgesetze der Arithmetik: Begrifsschriftlich abgeleitet, Jena: Herman Pohle, 1893/1903. Translated into English as Basic Laws of Arithmetic, also edited by Philip A. Ebert and Marcus Rossberg, with Crispin Wright, Oxford: Oxford University Press, 2013). Triage answers the question, “How bad is it?” The answer was that the contradiction irreparably destroys the logicist project. The treatment option was nil. The disease was untreatable. In due course, the prognosis turned out to be that a scaled-down Fregean logic could have an honourable life as a theory inference for various domains of mathematical discourse, but not for domains containing the logical objects required for logicism. Since there aren’t such objects, there aren’t such domains. On the face of it, Frege’s logicist collapse is astonishing. Why wouldn’t he have repaired the fault in Law V and gone back to the business of bringing logicism to an assured realization? In the course of our reflections, we will have nice occasion to consider the good it might have done Frege to have booked some time with Aristotle had he been able to. By the time we’re finished, we’ll have cause to think that in the end the Russell might well have begged the question against Frege. (shrink)

Theoretical representations in discussions surrounding the semantic significance of words and their analogs in thought should not be viewed under a realist interpretation as individually revealing what the represented items really are. Instead, they should be viewed under an instrumentalist interpretation as having other roles to play within their respective explanatory contexts. I consider some case studies for this broad methodological claim: theoretical representations of the semantic significance of words within semantics, theoretical representations of what determines the semantic significance of (...) words within metasemantics – both under the auspices of the so-called new theory of reference – and theoretical representations of cognitive attitudes within the Representational Theory of Mind. (shrink)

There is a salient contrast in how theoretical representations are regarded. Some are regarded as revealing the nature of what they represent, as in familiar cases of theoretical identification in physical chemistry where water is represented as hydrogen hydroxide and gold is represented as the element with atomic number 79. Other theoretical representations are regarded as serving other explanatory aims without being taken individually to reveal the nature of what they represent, as in the representation of gold as a standard (...) for pre-20th century monetary systems in economics or the representation of the meaning of an English sentence as a function from possible worlds to truth values in truth-conditional semantics. Call the first attitude towards a theoretical representation *realist* and the second attitude *instrumentalist*. Philosophical explanation purports to reveal the nature of whatever falls within its purview, so it would appear that a realist attitude towards its representations is a natural default. I offer reasons for skepticism about such default realism that emerge from attending to several case studies of philosophical explanation and drawing a general metaphilosophical moral from the foregoing discussion. (shrink)

A centerpiece of Juhani Yli-Vakkuri and John Hawthorne’s Narrow Content (OUP 2018) is the parameter proliferation argument. The authors consider a series of cleverly constructed cases of pairs of corresponding thoughts of qualitatively identical twins and argue that divergence in truth value for such thoughts forces the internalist to admit novel alethic parameters for semantic evaluation that are not independently motivated. I argue that the internalist will resist this argument by denying that such pairs of thoughts diverge in truth value. (...) I then argue that the construal of content presupposed by the argument should be rejected or amended by the internalist on independent grounds. I end in a more diagnostic vein by considering why parameter proliferation might have seemed pressing for internalism to begin with. (shrink)

I consider two competing approaches to metasemantics: productivism, whereby endowment with semantic significance emerges directly from conditions surrounding the production or employment of the items semantically endowed; and interpretationism, whereby endowment with semantic significance emerges directly from conditions surrounding the interpretive consumption of such items. Focusing on the version of interpretationism developed by Lewis and his followers, I present a novel argument to the conclusion that such an approach cannot secure determinacy for singular reference. I then draw a larger moral (...) for metasemantics and its relation to truth-conditional semantics. (shrink)

I tried to tease out what Gilbert means by "normative". It isn't obvious. I conclude that assumptions about ideal agents – not just ideal in the sense of error-free but also ideal in the sense of unlimited – and assumptions about ideal placement of oneself in another person's situation, are essential to what he means. I conclude that what he says is very plausible given these assumptions, though they themselves are very problematic. Especially problematic is the idea of an unlimited (...) simulation of a limited agent's perspective. (shrink)

The Barcan formula (BF) is commonly paraphrased as the schematic conditional that if it is possible that there be a phi then something or other is possibly a phi. It is validated by the most straightforward systems of quantified modal logic. It is also widely considered to pose a threat to the commonsensical metaphysical view that there are no non-actual (or ‘merely possible’) things. I show how BF can be cleared of such a charge by construing it as a bridge (...) principle connecting modality de dicto and modality de re while retaining a Russellian robust sense of reality in modal matters. (shrink)

I take up a question raised by David Kaplan at the very end of his 1990 paper "Words": Is it possible for a name that in fact names a given individual to have named a different individual? I argue for a negative answer to Kaplan's question via the essentialist claims that, first, it is of the nature of a referring token of a name to be produced by a particular referential intention, and, second, that it is of the nature of (...) a referential intention to specify the particular thing it specifies. (shrink)

Disquotationalism is the view that the only notion of truth we really need is one that can be wholly explained in terms of such trivialities as: “Snow is white” is true iff snow is white. The 'Classical Disquotational Strategy' attempts to establish this view case by case, by showing that each extant appeal to truth, in philosophical or scientific explanations, can be unmasked as an appeal only to disquotational truth. I argue here that the Classical Strategy fails in at least (...) two cases: attributions of truth to context-dependent utterances and uses of truth psychological explanations of behavioral success or, more fundamentally, appeals to falsity in psychological explanations of behavioral failure. -/- It's my intention to turn this paper into two papers. It's become quite unwieldy as it is---not unlike "The Strength of Truth Theories". (shrink)