// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

Provides a comprehensive overview and introduction to the Routledge Handbook of Propositions.

Several philosophers have recently appealed to predication in developing their theories of cognitive representation and propositions. One central point of difference between them is whether they take predication to be forceful or neutral and whether they take the most basic cognitive representational act to be judging or entertaining. Both views are supported by powerful reasons and both face problems. Many think that predication must be forceful if it is to explain representation. However, the standard ways of implementing the idea give (...) rise to the Frege-Geach problem. Others think that predication must be neutral, if we’re to avoid the Frege-Geach problem. However, it looks like nothing neutral can explain representation. In this paper I present a third view, one which respects the powerful reasons while avoiding the problems. On this view predication is forceful and can thus explain representation, but the idea is implemented in a novel way, avoiding the Frege-Geach problem. The key is to make sense of the notion of grasping a proposition as an objectual act where the object is a proposition. (shrink)

Over the course of the past ten-plus years, Peter Hanks and Scott Soames have developed detailed versions of Act-Based views of propositions which operate with the notions of reference to objects, indicating properties, predication, and judgment (or entertaining). In this paper I discuss certain foundational aspects of the Act-Based approach having to do with the relations between these notions. In particular, I argue for the following three points. First, that the approach needs both an atomistically understood thin notion of reference, (...) a bare act of thinking of o, as well as a more involved notion, something like making o a target of predication. Second, that the acts of thinking of o and indication of the property of being F are in no sense parts of the acts of predication of being F of o and judgment that o is F. Rather, the former are simply necessary preconditions for the performance of the latter. The acts of predication or judgment are emphatically not structured sequences of separate acts but unities in and of themselves. Finally, that we should understand the Act-Based theorists’ claim that to predicate is to judge as the claim that judgment can be reductively analyzed in terms of predication. Furthermore, while predication is metaphysically a multiple relation between a predicator, a target, and the property predicated, judgment is a monadic property, just one that has propositional content. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

The meanings of utterances and thoughts are commonly regarded in philosophical semantics as abstract objects, called «propositions», which account for how different utterances and thoughts can be synonymous and which constitute the primary truth-bearers. I argue that meanings are instead natural properties that play causal roles in the world, that the kind of «One over Many» thinking underlying the characterization of shared meanings as abstract objects is misguided and that utterances and thoughts having truth-values in virtue of their meanings does (...) not entail that meanings themselves are truth-bearers. (shrink)

Resumen Según la teoría cognitivista, las proposiciones son tipos de actos predicativos, y un agente lleva a cabo una predicación cada vez que juzga o asevera algo. Ahora bien, la versión predominante de dicha teoría establece que el juicio es una actitud cognitiva hacia un contenido proposicional genuino, lo que significa que se lo entiende como una relación dual entre un agente y una proposición. Tras mostrar algunos problemas con esta versión, argumentaré a favor de una teoría cognitivista de las (...) proposiciones en la que el juicio se entiende como una relación múltiple entre un agente y entidades del mundo tales como objetos, propiedades y relaciones.According to cognitive theory, propositions are types of predicative acts, and an agent performs a predication every time she judges or asserts something. Now, the prevailing version of such a theory states that judgement is a cognitive attitude toward a genuine propositional content, which means that it is seen as a dual relation between an agent and a proposition. After showing some troubles with this version, I will argue for a cognitive theory of propositions in which judgement is seen as a multiple relation between an agent and worldly entities such as objects, properties and relations. (shrink)

It seems uncontroversial that Dalton wrongly believed that atoms are indivisible. However, the correct analysis of Dalton’s belief and the way it relates to contemporary beliefs about atoms is, on closer inspection, far from straightforward. In this paper, I introduce four features that any candidate analysis is plausibly bound to respect. I argue that theories that individuate concepts at the level of understanding are doomed to fail in this endeavor. I formally sketch an alternative and suggest that cases such as (...) the one presented provide support for the claim that the genuine source for concept individuation is public sharable thought. (shrink)

I argue for a theory of the optimal function of the speech act of referring, called the edenic theory. First, the act of singular reference is defined directly in terms of Gricean communicative intentions. Second, I propose a doxastic constraint on the optimal performance of such acts, stating, roughly, that the speaker must not have any relevant false beliefs about the identity or distinctness of the intended object. In uttering a singular term on an occasion, on this theory, one represents (...) oneself as not having any confused beliefs about the object to which one intends to refer. This paves the way for an intentionalist theory of reference that circumvents well-known problems, which have not been adequately addressed before in the literature. (shrink)

Theories of propositions as complex acts, of the sort recently defended by Peter Hanks and Scott Soames, make room for the existence of distinct propositions which nonetheless represent the same objects as having the same properties and standing in the same relations. This theoretical virtue is due to the claim that the complex acts with which propositions are identified can include particular ways of cognizing, or referring to, objects and properties. I raise two questions about this sort of view—one about (...) what it means to stand in a propositional attitude relation to a complex act of this sort, and one about which ways of cognizing can be parts of propositions. Both questions turn out to be difficult for the complex act theorist to answer in a satisfactory way. (shrink)

In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views and explain some of its advantages  chief amongst which are the following. On this view, propositions are unified and intrinsically truth-bearing. They are mind- and language-independent and they are governed by logic. The theory of propositions is ontologically innocent. It makes room for an appropriate interface with (...) formal semantics and it does not enforce an overly fine or overly coarse level of granularity. (shrink)

Wilfrid Sellars is widely known for two positions that he calls “nominalism.” On the one hand, there is his “psychological nominalism,” according to which any awareness one might have of abstract entities—be they properties, relations, or facts—is a thoroughly linguistic affair, and so cannot be presupposed in thinking about the process of learning a (first) language. On the other hand, there is his ontological nominalism, according to which the world, as it is in itself, is fundamentally a world of concrete (...) particulars and so does not ultimately contain such things as properties, relations, or propositionally-structured facts. Sellars clearly takes these two sorts of “nominalism” to go together. However, one of the most influential inheritors of Sellars's philosophy, Robert Brandom, thinks that they do not. Brandom endorses the former, but denies that the latter “is in the end so much as intelligible.” In this paper, I articulate the connection between Sellars's psychological and ontological nominalism and draw on Brandom's own development of Sellars's functional role semantics to argue, against Brandom, that Sellars's ontological nominalism not only harmonizes with the rest of his philosophical commitments, but is actually made fully intelligible by the very aspect of Sellars's theory that Brandom himself develops. (shrink)

In this paper, I argue against a dispositional account of the intentionality of belief states that has been endorsed by proponents of phenomenal intentionality. Specifically, I argue that the best characterization of a dispositional account of intentionality is one that takes beliefs to be dispositions to undergo occurrent judgments. I argue that there are cases where an agent believes that p, but fails to have a disposition to judge that p.

ABSTRACT Act-based theories of content hold that propositions are identical to acts of predication that we perform in thought and talk. To undergo an occurrent thought with a particular content is just to perform the act of predication that individuates that content. But identifying the content of a thought with the performance of an act of predication makes it difficult to explain the intentionality of bouletic mental activity, like wanting and desiring. In this paper, I argue that this difficulty is (...) insurmountable: the contents of occurrent desires cannot be determined by acts of predication. (shrink)

Peter Hanks and Scott Soames both defend pragmatic solutions to the problem of the unity of the proposition. According to them, what ties together Tim and baldness in the singular proposition expressed by ‘Tim is bald’ is an act of the speaker : the act of predicating baldness of Tim. But Soames construes that act as force neutral and noncommittal while, for Hanks, it is inherently assertive and committal. Hanks answers the Frege–Geach challenge by arguing that, in complex sentences, the (...) force inherent in the content of an embedded sentence is cancelled. Indrek Reiland has recently objected to Hanks’s proposal that it faces a dilemma: either force cancellation dissolves the unity of the proposition secured by the cancelled act of assertion, or Hanks’s proposal reduces to Soames’s. In this paper, I respond to Reiland by offering an analysis of force cancellation which gets rid of the alleged dilemma. The proposal is based on a set of distinctions from speech act theory : between two senses of ’force’, two types of act, and two types of context. The role of simulation in force cancellation is emphasized, and connections drawn to broader issues such as the evolution of complex language. (shrink)

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

The standard argument against ordered tuples as propositions is that it is arbitrary what truth-conditions they should have. In this paper we generalize that argument. Firstly, we require that propositions have truth-conditions intrinsically. Secondly, we require strongly equivalent truth-conditions to be identical. Thirdly, we provide a formal framework, taken from Graph Theory, to characterize structure and structured objects in general. The argument in a nutshell is this: structured objects are too fine-grained to be identical to truth-conditions. Without identity, there is (...) no privileged mapping from structured objects to truth-conditions, and hence structured objects do not have truth-conditions intrinsically. Therefore, propositions are not structured objects. (shrink)

Jeffrey King, Scott Soames, and others have recently challenged the familiar identification of a Russellian proposition, such as the proposition that Brutus stabbed Caesar, with an ordered sequence constructed out of objects, properties, and relations. There is, as they point out, a surplus of candidate sequences available that are each equally serviceable. If so, any choice among these candidates will be arbitrary. In this paper, I show that, unless a controversial assumption is made regarding the nature of nonsymmetrical relations, none (...) of the proffered candidate sequences are in fact adequate to the play the role. Moreover, as I argue, the most promising alternative theory of relations—one that avoids the problematic assumption and, in addition, fits most naturally into the sequentialist’s framework—fails to meet a basic requirement: it cannot distinguish between the proposition that Brutus stabbed Caesar and the proposition that Caesar stabbed Brutus. The upshot is that the conspicuously structured entities that are widely assumed to be up to the task of “playing the proposition role” shed no light on the very structure they are invoked to represent. (shrink)

In recent years, a variety of philosophers have argued that the fundamental bearers of representational properties like truth are concrete particulars produced by cognitive agents—representational vehicles (“RVs”), as I will call them. This view apparently conflicts with other judgments that are part of our common sense understanding of truth. For instance, it is plausible that there are truths about the Milky Way that have and never will never be articulated by anyone. Whatever these truths are, it looks like they cannot (...) be RVs, because an RV is articulated just in case it exists. In this paper, I argue that it is consistent to hold that the fundamental truth-bearers are representational vehicles, while also acknowledging the existence of unarticulated truths. I argue that truth is a property that derivatively holds of kinds of RVs, that these provide the basis for our judgments that there are unarticulated truths, and I defend the view against putative counter-examples. (shrink)

In this paper, I defend a tripartite metaphysics of intentional mental states, according to which mental states are divided into subject, content, and attitude, against recent attempts at eliminating the attitude component (e.g., Montague, Oxford studies in philosophy of mind, 2022, 2, Oxford University Press). I suggest that a metaphysics composed of only subject and content cannot account for (a) multisensory perceptual experiences and (b) phenomenological differences between episodes of perception and imagination. Finally, I suggest that some of the motivations (...) behind the rejection of the attitude component can be accommodated within the tripartite framework. (shrink)

In this paper, I argue that Scott Soames’ theory of naturalized cognitive propositions faces a serious objection: there are true propositions for which NCP cannot account. More carefully, NCP cannot account for certain truths of mathematics unless it is possible for there to be an infinite intellect. For those who reject the possibility of an infinite intellect, this constitutes a reductio of NCP.

This paper explores the relation of thought and the stream of consciousness in the light of an ontological argument raised against cognitive phenomenology views. I argue that the ontological argument relies on a notion of ‘processive character’ that does not stand up to scrutiny and therefore it is insufficient for the argument to go through. I then analyse two more views on what ‘processive character’ means and argue that the process-part account best captures the intuition behind the argument. Following this (...) view, I reconstruct the ontological argument and argue that it succeeds in establishing that some mental episodes like judging, understanding and occurrent states of thought do not enter into the stream but fails to exclude episodes like entertaining. Contrary to what it might seem, this conclusion fits well with cognitive phenomenology views, given that, as I show, there is a way for non-processive mental episodes to be fundamentally related to processive ones, such that they cannot be excl.. (shrink)

Investigation into the reality of time can be pursued within the ontological domain or it can also span human thought and natural language. I propose to approach time by correlating three domains of inquiry: metaphysical time, the human concept of time, and temporal reference in natural language, entertaining the possibility of what I call a ‘horizontal reduction’ and ‘vertical reduction’. I present a view of temporalityL/E as epistemic modality, drawing on evidence from the L domain and its correlates in the (...) E and M domains. On this view, the human concept of time is a complex, ‘molecular’ concept and can be broken down into primitive concepts that are modal in nature, featuring as degrees of epistemic commitment to representations of states of affairs. I present evidence from tensed and tenseless languages and point out its compatibility with the view of real time as metaphysical modality. (shrink)

Many philosophers believe in things, propositions, which are the things that we believe, assert etc., and which are the contents of sentences. The act-type theory of propositions is an attempt to say what propositions are, to explain how we stand in relations to them, and to explain why they are true or false. The core idea of the act-type theory is that propositions are types of acts of predication. The theory is developed in various ways to offer explanations of the (...) important properties of propositions. I present the core idea of the theory, and some developments of it. I discuss the relationship between the theory and the content–force distinction. I also present an important type of objection that has been raised to the explanations offered by the act-type theory. (shrink)

Propositions represent the entities from which they are formed. This fact has puzzled philosophers and some have put forward radical proposals in order to explain it. This paper develops a primitivist account of the representational properties of propositions that centers on the operation of application. As we will see, this theory wins out over its competitors on grounds of strength, systematicity and unifying power.

Although Kripke’s œuvre has had a major impact on analytic philosophy and nearly every aspect of his studies has been thoroughly examined, this does not hold for his schmidentity argument, which, so far, has been widely neglected. To the extent to which it has been treated at all, it has been for the most part radically misunderstood. I hold that this argument, in its correctly reconstructed form, has general relevance for a treatment of Frege’s Puzzle and points towards a fundamental (...) methodological restriction for philosophy of language and especially for semantics, as far as informativity and the general topic of cognitive significance are concerned. To show this, I will briefly set out the context of the schmidentity argument and, in Sects. 2 and 4, sketch a reconstruction thereof, including some criticisms of the argument, and an excursion about Kit Fine’s semantic relationism, which stands in stark contrast to this paper’s central claim. Moreover, I will draw a genuinely new and probably quite unexpected conclusion from all the above, to finally give a glimpse at a bigger picture of where this conclusion should lead our thinking about a theoretical treatment of informativity and a linguistic expression’s cognitive value. (shrink)

In both the historical and contemporary literature on the metaphysics of space, a core dispute is that between relationism and substantivalism. One version of the latter is supersubstantivalism, according to which space is the only kind of substance, such that what we think of as individual material objects are actually just parts of spacetime which instantiate certain properties. If those parts are ontologically dependent on spacetime as a whole, then we arrive at an ontology with only a single genuinely independent (...) substance, namely the entire spacetime manifold. This is monist supersubstantivalism. A view on which the parts of spacetime are ontologically prior to the whole has been called pluralistic supersubstantivalism. As currently formulated, supersubstantivalism carries significant advantages and encounters major difficulties. I argue that some of the latter motivate... (shrink)

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of propositional attitudes. I show how identifying propositions (...) with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (shrink)

ABSTRACT In recent work, Scott Soames has declared that we need a new conception of propositions to overcome critical objections to traditional theories of semantics and propositional attitudes. Propositions must be cognitive to account for their inherent intentionality, structure, and epistemic accessibility, and to overcome Frege’s and Russell’s problems. I have previously worked out a foundational semantics in which cognitive propositions are what sentences express. My objective in this paper is to identify some of the limitations of Soames’s theory, and (...) show how they can be overcome within the cognitive framework. Soames’s conception of propositions is needlessly encumbered by identifying them with acts rather than objects. Soames has not fully exploited the possibilities opened up by embracing cognitive propositions, and is still too attached to Russellian propositions and Millian semantics. As a result, his conception of the constituents of propositions is untenable, and his semantics still faces Frege’s and Russell’s problem, which are easily avoidable with the resources of cognitive propositions. Soames was led astray by a mistaken assumption about transparent attitude reports. (shrink)

In this paper, I argue that, when it comes to explaining what can be described as “representational” properties of propositions, Soames’s new conception of propositions—on which the proposition that Seattle is sunny is the act of predicating the property being sunny of Seattle and to entertain that proposition is to perform that act—does not have an advantage over traditional ones.

In recent work, Peter Hanks and Scott Soames argue that propositions are types whose tokens are acts, states, or events. Let’s call this view the type view. Hanks and Soames think that one of the virtues of the type view is that it allows them to explain why propositions have semantic properties. But, in this paper, we argue that their explanations aren’t satisfactory. In Section 2, we present the type view. In Section 3, we present one explanation—due to Hanks (2007, (...) 2011) and Soames (2010)—of why propositions have semantic properties. We criticize this first explanation in Section 4. In Section 5, we present another explanation—due to Soames (2104)—of why propositions have semantic properties. We criticize this second explanation in Section 6. (shrink)

It is often presumed by those who use propositions in their theories that propositions are representational; that is, that propositions represent the world as being some way. This paper makes two claims against this presumption. First, it argues that it does not follow from the fact that propositions play the theoretical roles usually attributed to them that they are representational. This conclusion is reached by rebutting three arguments that can be made in support of the claim that propositions are representational. (...) This paper then advances the further claim that propositions are not representational. It considers several ways to overcome the difficulties traditionally associated with this claim, particularly how to account for falsity. (shrink)

Expressivists about normative thought and discourse traditionally deny that there are nondeflationary normative propositions. However, it has recently been suggested that expressivists might avoid a number of problems by providing a theory of normative propositions compatible with expressivism. This paper explores the prospects for developing an expressivist theory of propositions within the framework of cognitive act theories of propositions. First, I argue that the only extant expressivist theory of cognitive propositions—Michael Ridge's ‘ecumenical expressivist’ theory—fails to explain identity conditions for normative (...) propositions. Second, I argue that this failure motivates a general constraint—the ‘unity requirement’—that any expressivist theory of propositions must provide a unified nonrepresentational explanation of that in virtue of which propositional attitudes have the content that they have. Third, I argue that conceptual role accounts of content provide a promising framework in which to develop an expressivist theory of cognitive propositions. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

Michael Ridge argues that metaethical expressivism can avoid its most worrisome problems by going ‘Ecumenical’. Ridge emphasizes that he aims to develop expressivism at the level of metasemantics rather than at the level of semantics. This is supposed to allow him to avoid a mentalist semantics of attitudes and instead offer an orthodox, truth-conditional or propositional semantics. However, I argue that Ridge's theory remains committed to mentalist semantics, and that his move to go metasemantic doesn't bring any clear advantages to (...) the debate between expressivism and its opponents. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper is (...) a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

This thesis addresses three challenges posed by intentionality - the ability of our mental states and language to be about something - to a logician: an apparent reference to non-existent objects, intentional indeterminacy and the failure of substitutivity of coextensive terms in an intentional context. Since intentionality plays an important role in our everyday reasoning, a proper formal account of it is highly desirable, yet it requires a departure from classical logic. One can modify classical logic and adapt the formal (...) apparatus to account for the aforementioned problems (Graham Priest’s logic for intentionality serves as an example of such an approach in this work) or one can make an even more radical shift and seek for inspiration in a different logical tradition like the terminist logic developed in the Late Middle Ages by figures like William of Ockham or John Buridan. The second path is explored here as a modest attempt to show that once we abandon the bias against the history of logic as irrelevant, we can actually get access to firm logical solutions inaccessible from a classical perspective, while still practising logic proper. (shrink)

I here discuss two problems facing Russellian act-type theories of propositions, and argue that Fregean act-type theories are better equipped to deal with them. The first relates to complex singular terms like '2+2', which turn out not to pose any special problem for Fregeans at all, whereas Soames' theory currently has no satisfactory way of dealing with them (particularly, with such "mixed" propositions as the proposition that 2+2 is greater than 3). Admittedly, one possibility stands out as the most promising (...) one, but it requires that the Russellian treat complex properties as constituents of propositions. This leads to the second major problem for Russellians: that of proliferating propositions. I show how the most direct solution to this problem, that of rejecting complex predicative propositional constituents is available to Fregeans but very implausible for Russellians, since this virtually means rejecting complex properties. (shrink)