The Reference Principle states that co-referring expressions are everywhere intersubstitutable salva congruitate. On first glance, looks like a truism, but a truism with some bite: transforms difficult philosophical questions about co-reference into easy grammatical questions about substitutability. This has led a number of philosophers to think that we can use to make short work of certain longstanding metaphysical debates. For example, it has been suggested that all we need to do to show that the predicate ‘ is a horse’ does (...) not refer to a property is point out that ‘ is a horse’ and ‘the property of being a horse’ are not everywhere intersubstitutable salva congruitate. However, when we understand ‘substitution’ in the simplest and most straightforward way, is no truism; in fact, natural languages are full of counterexamples to the principle. In this paper, I introduce a new notion of substitution, and then develop and argue for a version of that is immune to these counterexamples. Along the way I touch on the following topics: the relation between argument forms and their natural language instances; the reification of sense; the difference between terms and predicates; and the relation between reference and disquotation. I end by arguing that my new version of cannot be used to settle metaphysical debates quite as easily as some philosophers would like. (shrink)

In a recent article, Hofweber presents a new, and surprising, argument for idealism. His argument is surprising because it starts with an apparently innocent premiss from the philosophy of language: that ‘that’-clauses do not refer. I do not think that Hofweber's argument works, and my first aim in this paper is to explain why. However, I agree with Hofweber that what we say about ‘that’-clauses has important metaphysical consequences. My second aim is to argue that, far from leading us into (...) idealism, denying that ‘that’-clauses refer is the first step toward a kind of direct realism about belief. (shrink)

Keith Hossack argues in his The Metaphysics of Knowledge(2007) that knowledge is a simple and metaphysically fundamental relation between a thinker and a fact: knowledge is uptake of fact. Facts are conceived as combinations of particulars and universals, distinct from true propositions. Hossacks's general argument is, roughly, that one can define central philosophical concepts (belief, content, justification, etc.) if one assumes that knowledge is primitive, but that knowledge cannot be defined in terms of such concepts. In this paper, I will (...) question Hossack's view of knowledge and his use of knowledge in the theory of content. To anticipate one of the main points: there is knowledge that cannot be uptake of a fact, because there is no fact to be taken up. The conclusion is that Hossack needs either to revise his theory of facts or his metaphysics of knowledge. Something has to give. (shrink)

Propositions are a useful tool in philosophical theorizing, even though they are not beyond reasonable nominalistic doubts. Stephen Schiffer’s pleonasticism about propositions is a paradigm example of a realistic account that tries to alleviate such doubts by grounding truths about propositions in ontologically innocent facts. Schiffer maintains two characteristic theses about propositions: first, that they are so-called pleonastic entities whose existence is subject to what he calls something-from-nothing transformations ; and, second, that they are the referents of ‘that’-clauses that function (...) as singular terms in propositional attitude ascriptions. The paper turns the first thesis against the second: if propositions are pleonastic entities, it is argued, we should not take them to be referred to in propositional attitude ascriptions. Rather, propositional attitude ascriptions should be available as bases for propositional something-from-nothing transformations. (shrink)

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

Truthmaker theory has been used to argue for substantial conclusions about the categorial structure of the world, in particular that states of affairs are needed to play the role of truthmakers. In this paper, I argue that closely considering the role of aboutness in truthmaking, that is considering what truthbearers are about, yields the result that there is no good truthmaker-based reason to think that truthmakers must be states of affairs understood as existing entities, whether complex or simple. First, I (...) introduce an aboutness-based account of truthmaking as a metaphysically modest alternative to the orthodox necessitarian account of truthmaking. Second, I discuss the distinction between states and events that has been made on the basis of linguistic evidence regarding aspectual markers and nominalisation. I argue that the modest approach to truthmaking allows us to accept that there is a real distinction between states and events without requiring that the distinction is ontologically substantial. Specifically, what we are talking about with state-truthbearers really differs from what we are talking about with event-truthbearers, but this difference need not be understood as a difference in kinds of entities. Because of its overall modesty, this is a theoretically virtuous result. (shrink)

Naturalized metaphysics is based on the idea that philosophy should be guided by the sciences. The paradigmatic science that is relevant for metaphysics is physics because physics tells us what fundamental reality is ultimately like. There are other sciences, however, that de facto play a role in philosophical inquiries about what there is, one of them being the science of language, i.e. linguistics. In this paper I will be concerned with the question what role linguistics should and does play for (...) the metametaphysical question of how our views about fundamental reality can be reconciled with the everyday truisms about what there is. I will present several examples of two kinds of approaches to this question, linguistics-based accounts and purely philosophical accounts, and will discuss their respective methodological merits and shortcomings. In the end I will argue that even proponents of a purely philosophical answer to the metametaphysical question should take the results of linguistics seriously. (shrink)

What are reasons? For example, if you’re aware that your secretary plans to expose you, and you resign to avoid a scandal, what is your reason for resigning? Is your reason the fact that your secretary plans to expose you? If so, what kinds of facts are eligible to be reasons? Can merely possible facts be reasons (for actual subjects)? Can merely apparent facts? Or are reasons rather attitudes? Are your reasons for resigning your belief that your secretary plans to (...) expose you, and your desire to avoid a scandal? Or are reasons propositions? If so, which propositions? Only propositions that the subject believes and desires? Only propositions that are true? (On some views, those will be facts; on other views, not.). (shrink)

In The Things We Mean, Stephen Schiffer defends a novel account of the entities to which belief reports relate us and to which their that-clauses refer. For Schiffer, the referred-to entities—propositions—exist in virtue of contingencies of our linguistic practices, deriving from “pleonastic restatements” of ontologically neutral discourse. Schiffer’s account of the individuation of propositions derives from his treatment of that -clause reference. While that -clauses are referential singular terms, their reference is not determined by the speaker’s referential intentions. Rather, their (...) reference is determined in a top-down manner—in Schiffer’s words, “by what the speaker and audience mutually take to be essential to the truth-value of the belief report.” While this accounts for a deep disanalogy between belief reports and other relational propositions—a disanalogy emphasized by Schiffer—I argue that the proposal runs into trouble when we consider the case of de re belief. I close by showing how a modification of Schiffer’s approach—one differing in essential ways from the theory developed in Things—is capable of handling these difficulties. (shrink)

Russellianism is characterized as the view that ‘that’-clauses refer to Russellian propositions, familiar set-theoretic pairings of objects and properties. Two belief-reporting sentences, S and S*, possessing the same Russellian content, but differing in their intuitive truthvalue, are provided. It is argued that no Russellian explanation of the difference in apparent truthvalue is available, with the upshot that the Russellian fails to explain how a speaker who asserts S but rejects S* can be innocent of inconsistency, either in what she says (...) or, at least, in what she implicates. Yet, while there is no semantic or pragmatic explanation of the substitution failure consistent with Russellianism, there remains the possibility of a purely psychological explanation that is, nonetheless, Russellian. This is an attractive option. It comes at a cost, however, since, in abandoning the project of providing a semantic or pragmatic explanation of anti-substitutivity intuitions, the Russellian is no longer in the business of explaining how a rational, well-informed speaker, with no incentive to mislead, can avoid inconsistency in reporting the facts as they appear. (shrink)

The standard view of "believes" and other propositional attitude verbs is that such verbs express relations between agents and propositions. A sentence of the form “S believes that p” is true just in case S stands in the belief-relation to the proposition that p; this proposition is the referent of the complement clause "that p." On this view, we would expect the clausal complements of propositional attitude verbs to be freely intersubstitutable with their corresponding proposition descriptions—e.g., "the proposition that p"—as (...) they are in the case of "believes." In many cases, however, intersubstitution of that-clauses and proposition descriptions fails to preserve truth value or even grammaticality. These substitution failures lead some philosophers to reject the standard view of propositional attitude reports. Others conclude that propositional attitude verbs are systematically ambiguous. I reject both these views. On my view, the that-clause complements of propositional attitude verbs denote propositions, but proposition descriptions do not. (shrink)

ABSTRACT Recently, in a series of papers, Joshua Spencer has introduced, defended, and developed a modified version of Neo-Russellianism, namely Plenitudinous Russellianism, according to which there are structurally identical but numerically distinct singular Russellian propositions. PR claims to provide novel semantic solutions to all the major problems that NR faces with no radical revision in NR. In this paper, I introduce a semantic puzzle for PR: the view leads to the violation of the principle of substitutivity of co-referential proper names (...) within simple ‘that’-clauses. I consider different responses to my argument, and show that none of them is fully satisfactory for the Russellian. I conclude that PR needs to depart from NR more radically. RÉSUMÉ Récemment, Joshua Spencer a publié une série d'articles où il expose, défend et développe une version modifiée du Néo-Russellianisme, appelée Russellianisme de plénitude, selon laquelle il y a des propositions Russelliennes singulières structurellement identiques mais numériquement distinctes. Ce Russellianisme de plénitude prétend apporter de nouvelles solutions sémantiques à tous les problèmes majeurs auxquels le NR se confronte, sans pour autant procéder à une révision radicale du NR. Dans cet article, je mettrai le PR face à un casse-tête : cette vision mène à la violation du principe de substitution des noms propres co-référentiels au sein des subordonnées complétives simples. Je tâcherai de considérer différentes réponses à mon argument et de montrer qu'aucune d'entre elles n'est pleinement satisfaisante pour un Russellien. Je vais conclure que le PR devrait s’écarter plus radicalement du NR. (shrink)

On the most prominent account, understanding what was said is always propositional knowledge of what was said. I develop a more minimal alternative, according to which understanding is sometimes a distinctive attitude towards what was said—to a first approximation, entertaining what was said. The propositional knowledge account has been supported on the basis of its capacity to explain testimonial knowledge transmission. I argue that it is not so supported.

There has been much discussion of the indispensability argument for the existence of mathematical objects. In this paper I reconsider the debate by using the notion of grounding, or non-causal dependence. First of all, I investigate what proponents of the indispensability argument should say about the grounding of relations between physical objects and mathematical ones. This reveals some resources which nominalists are entitled to use. Making use of these resources, I present a neglected but promising response to the indispensability argument—a (...) liberalized version of Field’s response—and I discuss its significance. I argue that if it succeeds, it provides a new refutation of the indispensability argument; and that, even if it fails, its failure may bolster some of the fictionalist responses to the indispensability argument already under discussion. In addition, I use grounding to reply to a recent challenge to these responses. (shrink)

There are two broad approaches to theorizing about ontological categories. Quineans use first-order quantifiers to generalize over entities of each category, whereas type theorists use quantification on variables of different semantic types to generalize over different categories. Does anything of import turn on the difference between these approaches? If so, are there good reasons to go type-theoretic? I argue for positive answers to both questions concerning the category of propositions. I also discuss two prominent arguments for a Quinean conception of (...) propositions, concerning their role in natural language semantics and apparent quantification over propositions within natural language. It will emerge that even if these arguments are sound, there need be no deep question about Quinean propositions’ true nature, contrary to much recent work on the metaphysics of propositions. (shrink)

Although higher-order metaphysics seems prima facie to be a promising new approach to metaphysics, it is nonetheless based on a mistake. This mistake is tied to a misuse of formal languages in metaphysics in general, not just to the use of higher-order rather than lower-order languages. I hope to highlight the mistake by discussing a popular recent example of higher- order metaphysics: the argument that reality is not structured using reasoning inspired by the Russell-Myhill paradox. A key issue will be (...) the relationship between higher-order quantification in formal languages and quantification in English, in particular the questions whether such quantifiers are already to be found in English, and whether they could simply be added to English if not in order to gain expressive strength. I will conclude that little of metaphysical significance follows from this Russell-Myhill inspired argument against structure. The reason why the results of higher-order logic show little of metaphysical significance generalizes to other uses of higher-order logic in metaphysical theorizing, and with it supports that higher-order metaphysics is a flawed research program. I end with some reflections on what positive role formal tools like higher-order logic can have in metaphysics, and what the fundamental mistake is on which higher-order metaphysics is based. (shrink)

My thanks to Matti Eklund and Gabriel Uzquiano for their thoughtful and challenging critical essays. In these replies I hope to respond to what I took to be their main points. The focus of their essays is different for the most part, but there is overlap in their discussion of the ineffable. I will thus largely reply to their essays separately, with the exception of the discussion of the ineffable, where I will reply to their points jointly. Let’s start, alphabetically, (...) with Eklund. (shrink)

Although idealism was widely defended in the history of philosophy, it is nowadays almost universally considered a non-starter. This holds in particular for a strong form of idealism, which asserts that not just minds or the mental in general, but our human minds in particular are metaphysically central to reality. Such a view seems to be excessively anthropocentric and contrary to what we by now know about our place in the universe. Nonetheless, there is reason to think that such a (...) strong form of idealism is indeed correct. In this paper, I will present an argument for idealism of this kind through considerations about a harmony between our thought and reality. The central argument in favour of idealism will come from a possibly unexpected source: we can see that a strong form of idealism is true simply from considerations about our language alone. I shall argue that thinking about how we represent reality allows us to conclude that idealism is true, and thus that reality must be a certain way. But no argument of this kind seems to allow for a metaphysical conclusion like idealism, since considerations about our language alone only show how we represent reality, not how reality is. And thus idealism can’t possibly follow, since it concerns how reality is, not just how we represent it to be. A good part of the second half of the paper is devoted to showing how such an argument is possible after all, and that it really does establish idealism. (shrink)

In philosophical logic necessity is usually conceived as a sentential operator rather than as a predicate. An intensional sentential operator does not allow one to express quantified statements such as 'There are necessary a posteriori propositions' or 'All laws of physics are necessary' in first-order logic in a straightforward way, while they are readily formalized if necessity is formalized by a predicate. Replacing the operator conception of necessity by the predicate conception, however, causes various problems and forces one to reject (...) many philosophical accounts involving necessity that are based on the use of operator modal logic. We argue that the expressive power of the predicate account can be restored if a truth predicate is added to the language of first-order modal logic, because the predicate 'is necessary' can then be replaced by 'is necessarily true'. We prove a result showing that this substitution is technically feasible. To this end we provide partial possible-worlds semantics for the language with a predicate of necessity and perform the reduction of necessities to necessary truths. The technique applies also to many other intensional notions that have been analysed by means of modal operators. (shrink)

Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express the same proposition. Theories of propositions as complex, structured entities are not committed to this thesis. As a result, structured propositions can play a role in our theories of language and thought that sets of truth-supporting circumstances cannot play. To illustrate this difference, I sketch a theory of transparent, non-deflationary truth consistent with some (...) theories of structured propositions, but inconsistent with any theory of propositions as sets of truth-supporting circumstances. (shrink)

Building on recent work by Delia Graff Fara and Ora Matushansky on appellative constructions like ‘Mirka called Roger handsome’, I argue that if Millianism about proper names is true, then the quantifier ‘something’ in ‘Mirka called Roger something’ is best understood as a kind of substitutional quantifier. Any adequate semantics for such quantifiers must explain both the logical behavior of ‘Mirka called Roger something’ and the acceptability of ‘so’-anaphora in ‘Mirka called Roger something, and everyone so called is handsome’. Millianism (...) about proper names is inconsistent with such quantifiers being standard non-substitutional second-order quantifiers. But this is not the only option for Millianism: I provide two different propositional semantics for substitutional quantification, each of which is adequate in the sense above, given Millianism. One of these is based on Tobias Rosefeldt’s work on non-nominal quantification, and I identify in what way Rosefeldt’s semantics is substitutional. (shrink)

In English, in order to speak about Arthur’s attitudes, we use sentences like “Arthur believes that natural language is messy”. For sentences of this kind we have a standard theory, according to which the ‘that’-clause ‘that natural language is messy’ denotes a proposition. As Prior showed for the first time, the standard theory appears to be at odds with some linguistic data. Geach and Prior both assumed that linguistic data are to be taken as reliable guides to a correct semantic (...) account and I will start by raising some worries concerning their methodology. Because of these data, Prior and Geach suggested some non-standard accounts. I will then show that if we take linguistic data seriously, their non-standard accounts do not fare any better than the standard theory. My general conclusion will thus not only be that Prior’s and Geach’s methodology is disputable, but also that their conclusions do not seem to follow even if we grant the reliability of their methodology. (shrink)

For sentences such as (1), "Columbus knows that the sea is unpredictable", there is a face-value theory, according to which ‘that’-clauses are singular terms denoting propositions. Famously, Prior raised an objection to the theory, but defenders of the face-value theory such as Forbes, King, Künne, Pietroski and Stanley urged that the objection could be met by maintaining that in (1) ‘to know’ designates a complex relation along the lines of being in a state of knowledge having as content. Is the (...) theory safe, then? The aim of this paper is to show that a new problem for the theory arises if we consider attributions of skills, knacks, propensities and abilities. (shrink)

Traditionally, ‘that’-clauses occurring in attitude attributions are taken to denote the objects of the attitudes. Prior raised a famous problem: even if Frege fears that the Begriffsschrift leads to a paradox, it is unlikely that he fears a proposition, a sentence or what have you as the alleged object denoted by the ‘that’-clause. The usual way out is to say that ‘that’-clauses do not contribute the objects of the attitudes but their contents. I will show that, if we accept this (...) answer, either we’d better stop working on attitude attributions or we’d better work harder on them. (shrink)

Propositional attitude sentences, such as (1) Pierre believes that snow is white, have proved to be formidably difficult to account for in a semantic theory. It is generally agreed that the that-clause ‘that snow is white’ purports to refer to the proposition that snow is white, but no agreement has been reached on what this proposition is. Sententialism is a semantic theory which tries to undermine the very enterprise of understanding what proposition is referred to in (1): according to sententialists, (...) in (1) reference is made to the sentence “Snow is white”. Sententialism is generally considered doomed. The two main reasons why are the famous translation argument, firstly suggested by Alonzo Church, and a problem raised by Stephen Schiffer. The purpose of this paper is to provide a unified solution to both criticisms. What I take to be the key ingredient sententialists may exploit is an observation that concerns the nature of languages and quotations: since quotation marks display the quoted material, if you are a speaker of the language the quoted material belongs to, you usually cannot but understand what is quoted. Moreover, I show that sententialists may appeal to that very observation also in order to answer another problem, pointed out by Kent Bach. I conclude that there are good reasons for resisting the temptation of introducing propositions in order to account for propositional attitude sentences. (shrink)

Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...) rather than merely in the complements of propositional attitude verbs. The generalized puzzle shows that a range of proposed solutions to the original puzzle fail, or are radically incomplete, and also reveals the connections between Prior’s puzzle and debates over the nature of semantic types and higher-order quantification. I go on to develop a novel, higher-order solution to the generalized form of the puzzle, and I argue that this higher-approach is superior to its first-order alternatives. (shrink)

Ramsification is a well-known method of defining theoretical terms that figures centrally in a wide range of debates in metaphysics. Prior's puzzle is the puzzle of why, given the assumption that that-clauses denote propositions, substitution of "the proposition that P" for "that P" within the complements of many propositional attitude verbs sometimes fails to preserve truth, and other times fails to preserve grammaticality. On the surface, Ramsification and Prior's puzzle appear to have little to do with each other. But Prior's (...) puzzle is much more general than is ordinarily appreciated, and Ramsification requires a solution to the generalized form of Prior's puzzle. Without such a solution, a wide range of theories will either fail to imply their Ramsey sentences, or have Ramsey sentences that are ill-formed. As a consequence, definitions of theoretical terms given using the Ramsey sentence will be either incorrect or nonsensical. I present a partial solution to the puzzle that requires making use of a neo-Davidsonian language for scientific theorizing, but the would-be Ramsifier still faces serious challenges. (shrink)

Propositionalism is the view that intentional attitudes, such as belief, are relations to propositions. Propositionalists argue that propositionalism follows from the intuitive validity of certain kinds of inferences involving attitude reports. Jubien (2001) argues powerfully against propositions and sketches some interesting positive proposals, based on Russell’s multiple relation theory of judgment, about how to accommodate “propositional phenomena” without appeal to propositions. This paper argues that none of Jubien’s proposals succeeds in accommodating an important range of propositional phenomena, such as the (...) aforementioned validity of attitude-report inferences. It then shows that the notion of a predication act-type, which remains importantly Russellian in spirit, is sufficient to explain the range of propositional phenomena in question, in particular the validity of attitude-report inferences. The paper concludes with a discussion of whether predication act-types are really just propositions by another name. (shrink)

Proper names are generally taken to be count nouns. This paper argues that this is mistaken and that at least in some languages, for example German, names divide into mass and count. Making use of Kayne's (2005, 2010) theory of light nouns, this paper argues that light nouns are part of (simple) names and that a mass-count distinction among light nouns explains the behavior of certain types of names in German as mass rather than count. The paper elaborates the role (...) of light nouns with new generalizations regarding their linguistic behavior in quantificational and pronominal NPs, their selection of relative pronouns in German, and a general difference in the support of plural anaphora between English and German. (shrink)

It is a standard view among philosophers that an attitude is propositional if a that clause could represent its content. One way of challenging this view is to argue that attitudes whose content can be represented in that way have categorically different content. A number of authors adopted such a strategy and imposed various restrictions on the propositional attitude class. In this paper, I will argue that such restrictions are not tenable because the arguments that are used to support them (...) turn against such restrictions as well. As a consequence, if one cannot adequately deal with these arguments from the perspective of the standardview, one is forced to discard generally the propositionality of attitudes, perhaps even their relational nature. I will consider a strategy for resolving this challenge in favour of the standard view. (shrink)

Distributive egalitarians believe that distributive justice is to be explained by the idea of distributive equality (DE) and that DE is of intrinsic value. The socio-relational critique argues that distributive egalitarianism does not account for the “true” value of equality, which rather lies in the idea of “equality as a substantive social value” (ESV). This paper examines the socio-relational critique and argues that it fails because – contrary to what the critique presupposes –, first, ESV is not conceptually distinct from (...) DE, and second, the idea of ESV cannot serve as a “foundation” or “root” of distributive egalitarianism. (shrink)