Structured Propositions

Philosophers have traditionally held that propositions mark the domain of rational thought and inference. Many philosophers have held that only conceptually sophisticated creatures like us could have propositional attitudes. But in recent decades, philosophers have adopted increasingly liberal views of propositional attitudes that encompass the mental states of various non-human animals. These views now sit alongside more traditional views within the philosophical mainstream. In this paper I argue that liberalized views of propositional attitudes are so liberal that they encompass states (...) of all sorts of apparently mindless systems like circadian clocks in plants. I begin by arguing that on the most well-developed and widely endorsed theories of underived representation in philosophy, circadian clocks qualify as representations. I then argue that standard reasons for thinking that perceptual states and pictures have propositional content carry over to circadian clocks. Finally, I argue that circadian representations in plants play the kind of functional role that is widely taken to be partly constitutive of belief-like attitudes. So according to mainstream theories of representation, propositions, and attitudes, plants have propositional attitudes. Yet on other more traditional views, this conclusion would seem absurd. So, contrary to appearances, there is no shared, stable understanding of what propositional attitudes are in contemporary philosophy. (shrink)

The paper proposes a way for adherents of Fregean, structured propositions to designate propositions (and other complex senses/concepts), using a special kind of functor. Investigating some formulations by Peacocke, I highlight certain problems that arise when we try to quantify over propositional constituents while referring to propositions using “that”-clauses (I also consider some other kinds of proposition designator). With the functor notation, by contrast, we can quantify over senses/concepts with ordinary quantifiers and speak without further ado about how they can (...) be involved in propositions. In addition to this benefit, the functor notation also turns out to come with an important kind of expressive strengthening, and is shown to be neutral on many central questions about concepts and propositions. (shrink)

Views that treat the contents of sentences as structured, Russellian propositions face a problem with empty names. It seems that those sorts of things cannot be the contents of sentences containing such names. I motivate and defend a solution to the problem according to which a sentence may have a singular proposition as its content at one time, and a nonsingular one at another. When the name is empty the content is a nonsingular Russellian structured proposition; when the name is (...) not empty the content is a singular Russellian structured proposition. (shrink)

Russellians can have a no proposition view of empty names. I will defend this theory against the problem of meaningfulness, and show that the theory is in general well motivated. My solution to the problem of meaningfulness is that speakers’ judgements about meaningfulness are tracking grammaticality, and not propositional content.

Thisness Presentism outlines and defends a novel version of presentism, the view that only present entities exist and what is present really changes. Presentism is a view of time that captures a real and objective difference between what is past, present, and future, and which offers a model of reality that is dynamic and mutable, rather than static and immutable. The book advances a new defence of presentism by developing a novel ontology of thisness, combining insights about the nature of (...) essence, the metaphysics of propositions, and the relationship between true propositions and the elements of reality that make them true, alongside insights about time itself. It shows how, by accepting an ontology of thisness, presentists can respond to a number of pressing challenges to presentism, including claims that presentism cannot account for true propositions about the past, and that it is inconsistent with the reality of temporal passage and the openness of the future. This is one of the only book-length defences of presentism. It will be of interest to students and scholars working on the debate about presentism in the philosophy of time, as well as those interested in the metaphysics of propositions and truth-making, more generally. (shrink)

Singular propositions are structured entities which sometimes include macroscopic concrete things as their elements. That leads to numerous difficulties, also those concerning modalities, good example of which is the famous argument developed by Plantinga, who concludes that accepting a theory of singular propositions leads to necessary existence of (apparently contingent) objects — elements of such propos¬itions. In the paper I present a possible way to avoid such harmful consequences and to undermine Plantinga’s reasoning. My approach involves the idea of two (...) modes of evaluating propositions: “in a possible world” and “with regard to a possible world”, which I try to defend by introducing some solutions from the Hybrid Theory of proper names. I also argue that disposing of singular propositions and accepting Descriptivism does not allow to deal with the modal difficulties. (shrink)

In the paper, I discuss a possibility of defending the Direct Reference theory from its most dangerous threaten which is the notorious Frege's puzzle. I discuss two possible ways of doing that. First is based on King's theory of propositions as facts. I show that tools provided by King's theory are not enough to solve the puzzle. More promising is a method supported by new Soames's theory of propositions as cognitive event-types. I try to show that this framework allows us (...) to develop a satisfying solution of the puzzle, which focuses​ on the notion of the cognitive value of the sentence. (shrink)

Neo-Russellians claim that propositions can be modelled by tuples. A common view is that propositions cannot be tuples. I argue that the interpretivist account of propositions developed by Jeffrey C. King can be adapted for the tuple view.

Explanations deploy theoretical representations of their explananda. One question to ask about such representations is whether to regard them under a realist attitude, i.e. as revealing the nature of what they represent, or under an instrumentalist attitude, i.e. as serving particular explanatory ends without such further revelatory pretension. This question can be raised for representations wielded within metaphysical explanation to fruitful effect. I consider structured propositions as theoretical representations within a particular explanatory enterprise – the metaphysics of what is said (...) – and argue that a realist attitude towards them is in fact unwarranted. I offer various considerations against the widespread tendency to regard structured propositions as revealing the nature of what is said and conclude that they should be considered instead under an instrumentalist attitude. (shrink)

I formulate an account, in terms of essence and ground, that explains why atomic Russellian propositions have the truth conditions they do. The key ideas are that (i) atomic propositions are just 0-adic relations, (ii) truth is just the 1-adic version of the instantiation (or, as I will say, holding) relation (Menzel 1993: 86, note 27), and (iii) atomic propositions have the truth conditions they do for basically the same reasons that partially plugged relations, like being an x and a (...) y such that Philip gave x to y, have the holding conditions they do. The account is meant to be mainly of intrinsic interest, but I hope that it goes some distance toward answering an objection to classical theories of propositions put forward by King (2014), who writes that ‘since the classical conception of propositions as things that have truth conditions by their very natures and independently of minds and languages is incapable of explaining how or why propositions have truth conditions, it is unacceptable’ (2014: 47). Propositions do have their truth conditions ‘by their very natures’ and ‘independently of minds and languages’. But a fact about a given entity can hold by the very nature of that entity without being a fundamental fact. I argue that this is plausibly the case for atomic Russellian propositions and the facts about their truth conditions. A fact about the truth conditions of such a proposition holds by the very nature of the given proposition but is metaphysically grounded in facts about that proposition’s parts and their essences. If my account is correct, then the supposedly intractable problem of explaining why the given propositions have the truth conditions they do reduces to the problem of explaining why relations have the holding essences they do, which few seem to have found worrisome . (shrink)

لم يكن العلم يومًا غريبًا عن الفلسفة، بل لقد أدت العلاقة الجدلية المستمرة بينهما إلى مزيد من المصداقية والقبول لبعض النماذج التفسيرية، سواء منها ما كان في الأصل نموذجًا فلسفيًا ثم وجد دعمًا علميًا – كنموذج الذرات والفـراغ عند «ديمرقــريطس» وتبنى النظرية الذرية الحديثة لإطاره العام – أو ما كان منها نموذجًا علميًا تم تداوله فلسفيًا – كنموذج النقاط المادية المتجاذبة عند »نيوتن« وتبنى معظم فلاسفة الحقبة الحديثة له. وفي هذا المقال يهتم الدكتور صلاح عثمان بمناقشة نموذج شجرة الكون لفيلسوف (...) العلم الكندي المعاصر «ستورس مكال»، وأوجه الاختلاف بينه وبين النماذج التفسيرية المماثلة القائمة على فكرة متصل الزمان – مكان، ويُركز على ما يقترحه النموذج من حلٍ لواحدةٍ من أصعب مشكلات العلم والمنطق والفلسفة، ألا وهى مشكلة تحديد شروط الصدق للقضايا المنطقية الشرطية المناقضة للواقع؛ أعني تلك التي لا تُعبر عن حوادث وقعت بالفعل، بل كان من المفترض أن تقع، وبالتالي يصعب تحديد قيمة صدق (صادقة أو كاذبة) لها. هذا النوع من القضايا يرتبط ارتباطًا وثيقًا بتصور القانون العلمي، وتحفل به المقاربات التاريخية والخطط المستقبلية للأفراد والحكومات، لذا تعددت محاولات معالجته من قبل الفلاسفة، وهو ما تجلى مثلاً في النظرية الاستدلالية للقضايا الشرطية التي اقترحها «نيلسون جودمان», ونظرية العقول واعتقاداتها للفيلسوف الإنجليزي «فرانك رامزي», ونظرية العوالم الممكنة للفيلسوفين الأمريكيين المعاصـرين «روبرت ستالنيكر»، و«ديفيد لويس»، وأخيرًا نظرية النموذج الشجري لـ «ستورس مكال». وينتهي المقال إلى نتيجة مؤداها نجاح النموذج في معالجة المشكلة، وإن كان ذلك مرهونًا بالتأكيد على موضوعية قيم الصدق والاحتمال التي تحوزها القضايا الشرطية في مقابل الذات المُدركة، تلك التي تنتقل عبر غُرف انتظار متعددة تقترب رويدًا رويدًا من الحقيقة. . (shrink)

According to Frege, expressions shift their reference when they occur in indirect contexts: in “Anna believes that Plato is wise” the expression “Plato” no longer refers to Plato but to what is ordinarily its sense. Many philosophers, including Carnap, Davidson, Burge, Parsons, Kripke and Künne, believe that on Frege's view the iteration of indirect context creating operators gives rise to an infinite hierarchy of senses. While the former two take this to be problematic, the latter four welcome the hierarchy with (...) open arms. In this paper I argue that the hierarchy should be avoided and that it can be avoided. (shrink)

Propositionalism is the view that all intentional states are propositional states, which are states with a propositional content, while objectualism is the view that at least some intentional states are objectual states, which are states with objectual contents, such as objects, properties, and kinds. This paper argues that there are two distinct ways of understanding propositionalism and objectualism: (1) as views about the deep nature of the contents of intentional states, and (2) as views about the superficial character of the (...) contents of intentional states. I argue that we should understand the views in the second way. I also argue that the propositionalism debate is fairly independent from debates over the deep nature of intentionality, and that this has implications for arguments for propositionalism and objectualism from claims about the nature of intentional content. I close with a short discussion of how related points apply to the debate over singular content. (shrink)

Sentences in context have semantic contents determined by a range of factors both internal and external to speakers. I argue against the thesis that semantic content is transparent to speakers in the sense of being immediately accessible to speakers in virtue of their linguistic competence.

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)

There are two common reactions to Frege’s claim that some senses and thoughts are private. Privatists accept both private senses and thoughts, while intersubjectivists don’t accept either. Both sides agree on a pair of tacit assumptions: first, that private senses automatically give rise to private thoughts; and second, that private senses and thoughts are the most problematic entities to which Frege’s remarks on privacy give rise. The aim of this paper is to show that both assumptions are mistaken. This will (...) motivate a so far neglected, reconciliatory position between privatism and intersubjectivism according to which all thoughts are public while some senses are private. (shrink)

Bertrand Russell and the Nature of Propositions offers the first book-length defence of the Multiple Relation Theory of Judgement (MRTJ). Although the theory was much maligned by Wittgenstein and ultimately rejected by Russell himself, Lebens shows that it provides a rich and insightful way to understand the nature of propositional content. In Part I, Lebens charts the trajectory of Russell’s thought before he adopted the MRTJ. Part II reviews the historical story of the theory: What led Russell to deny the (...) existence of propositions altogether? Why did the theory keep evolving throughout its short life? What role did G. F. Stout play in the evolution of the theory? What was Wittgenstein’s concern with the theory, and, if we can’t know what his concern was exactly, then what are the best contending hypotheses? And why did Russell give the theory up? In Part III, Lebens makes the case that Russell’s concerns with the theory weren’t worth its rejection. Moreover, he argues that the MRTJ does most of what we could want from an account of propositions at little philosophical cost. This book bridges the history of early analytic philosophy with work in contemporary philosophy of language. It advances a bold reading of the theory of descriptions and offers a new understanding of the role of Stout and the representation concern in the evolution of the MRTJ. It also makes a decisive contribution to philosophy of language by demonstrating the viability of a no-proposition theory of propositions. (shrink)

This paper addresses a certain objection to the quantificational theory of definite descriptions. According to this objection, the quantificational account cannot provide correct interpretations of definite descriptions embedded in the non-doxastic attitude ascriptions and therefore ought to be rejected. In brief, the objection says that the quantificational theory is committed to the view that a sentence of the form “The F is G” is equivalent to the claim that there is a unique F and it is G, while the ascription (...) such as, e.g., “S wants the F to be G” is not equivalent to the statement that S wants there to be a F and for it to be G. I argue that this objection is invalid as it rests on a false assumption concerning the substitutivity of the relative clauses in the non-doxastic attitude ascriptions. (shrink)

The distinctions among facts, propositions, and events are supported by linguistic analyses segregating factive, propositional, and eventive predicates. The concepts of fact, proposition, and event may be basic categories of human understanding, as well as being ontologically significant. FPE theory was developed in part to reject the identification of facts with true propositions. The degree of ‘fineness’ of individuations within each category results from how closely event-, fact-, or proposition-individuation mirrors linguistic semantic structure. Event structure is not reflected in many (...) event phrases. Fact- and proposition-structure typically does reflect semantic structures of factive and propositional clauses. The relevant properties for event individuation are all expressible by eventive predicates. Fact and proposition individuation is not as straightforward, because so many factives and propositionals do not express properties relevant to the Leibnizian principle. The intractability of proposition individuation may be overcome through an explanation of fact cognition. (shrink)

This paper argues for a particular view about in what metaphysical equivalence consists: namely, that any two metaphysical theories are metaphysically equivalent if and only if those theories are strongly hyperintensionally equivalent. It is consistent with this characterisation that said theories are weakly hyperintensionally distinct, thus affording us the resources to model the content of propositional attitudes directed towards metaphysically equivalent theories in such a way that non-ideal agents can bear different propositional attitudes towards metaphysically equivalent theories.

After introducing Millianism and touching on two problems raised by genuinely empty names for Millianism (section I), I provide a brief exposition of the Gappy Proposition View (GPV) and of how different versions of this view can reply to the problems in question (section II). In the following sections I develop my reasons against the GPV. First, I will try to argue that apparently promising arguments for the claim that gappy propositions are propositions are not successful (section III). Then, I (...) will develop two arguments against GPs via demonstrating two odd consequences of the GPV: (a) that there can be an atomic proposition which contains other propositions that are not the semantic contents of any part of the .. (shrink)

(No abstract is available for this citation).

InThe Nature and Structure of Content Jeffrey C. King formulates a detailed account of the metaphysical nature of propositions, and explains what it is that binds together the constituents of structured propositions and imposes structure on them. Scholars and students of philosophy, metaphysics, and linguistics will find this book rewarding reading.

Unbound anaphoric pronouns or ‘E-type pronouns’ have presented notorious problems for semantic theory, leading to the development of dynamic semantics, where the primary function of a sentence is not considered that of expressing a proposition that may act as the object of propositional attitudes, but rather that of changing the current information state. The older, ‘E-type’ account of unbound anaphora leaves the traditional notion of proposition intact and takes the unbound anaphor to be replaced by a full NP whose semantics (...) is assumed to be known (e.g. a definite description). In this paper, I argue that there are serious problems with any version of the E-type account as well as the (original form of the) dynamic account. I will explore a new account based on structured propositions, which can be considered a conservative extension of a traditional proposition-based semantics, but which at the same time incorporates some crucial insights of the dynamic account. (shrink)

Stewart Shapiro and John Myhill tried to reproduce some features of the intuitionistic mathematics within certain formal intensional theories of classical mathematics. Basically they introduced a knowledge operator and restricted the ways of referring to numbers and to finite hereditary sets. The restrictions are very interesting, both because they allow us to keep substitutivity of identicals notwithstanding the presence of an epistemic operator and, especially, because such restrictions allow us to see, by contrast, which ways of reference are not compatible (...) with the simultaneous maintenance of substitutivity of identicals and the classical notions of truth and knowledge. In this paper the difference between the restricted and the unrestricted kind of reference is put in relation with Russell's ideas on naming and it is argued that the latter as well is compatible with a certain Russellian conception of the understanding of sentences. Then it is discussed whether and how numbers could be conceived as objects of acquaintance. Finally a general question about the notion of logical form is raised. (shrink)

A number of traditional roles that propositions are supposed to play are outlined. Philosophical theories of the nature of propositions are then surveyed, together with considerations for and against, with an eye on the question whether any single notion of a proposition is suited to play all or any of these roles. Approaches discussed include: (1) the structureless possible-worlds theory; (2) the structured Russellian theory; and (3) the structured Fregean theory. It is noted that it is often unclear whether these (...) are accounts of what propositions are, ontologically speaking, or whether they are accounts of how propositions are best represented in a formal semantic theory. (shrink)

Jeffrey King argues that nothing has truth conditions except by being taken to be true or false by rational agents. But – for good reason – King claims that propositions possess truth conditions essentially and intrinsically. I will argue that King cannot have both: if the truth conditions of a proposition depend on the reactions of rational agents, then the possession of truth conditions can't follow from the intrinsic nature or existence of the proposition. This leaves two options. Either, nothing (...) can do the job that motivates positing propositions. Or, there is no need to explain what bestows a truth condition on a proposition. (shrink)

(2013). Introduction. Canadian Journal of Philosophy: Vol. 43, Essays on the Nature of Propositions, pp. 515-517.

(2013). Unnecessary existents. Canadian Journal of Philosophy: Vol. 43, Essays on the Nature of Propositions, pp. 766-775.

Are there any things that are such that any things whatsoever are among them. I argue that there are not. My thesis follows from these three premises: (1) There are two or more things; (2) for any things, there is a unique thing that corresponds to those things; (3) for any two or more things, there are fewer of them than there are pluralities of them.

Are there ‘self-referential’ propositions? That is, propositions that say of themselves that they have a certain property, such as that of being false. There can seem reason to doubt that there are. At the same time, there are a number of reasons why it matters. For suppose that there are indeed no such propositions. One might then hope that while paradoxes such as the Liar show that many plausible principles about sentences must be given up, no such fate will befall (...) principles about propositions. But the existence of self-referential propositions would dash such hopes. Further, the existence of such propositions would also seem to challenge the widespread claim that Liar sentences fail to express propositions. The aim of this paper is thus to settle the question–at least given an assumption. In particular, I argue that if propositions are structured, then self-referential propositions exist. (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

Rather than considering ordinary language as deficient and incapable of grasping the structure of reality, the Stoics set out a theory, based on their notion of a lekton, by which ordinary language is a reflection of the structure of lekta which themselves are constitutive of reality.

‘Ahab is a whaler’ and ‘Holmes is a whaler’ express different propositions, even though neither ‘Ahab’ nor ‘Holmes’ has a referent. This seems to constitute a theoretical puzzle for the Russellian view of propositions. In this paper, I develop a variant of the Russellian view, Plenitudinous Russellianism. I claim that ‘Ahab is a whaler’ and ‘Holmes is a whaler’ express distinct gappy propositions. I discuss key metaphysical and semantic differences between Plenitudinous Russellianism and Traditional Russellianism and respond to objections that (...) stem from those differences. (shrink)

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. (shrink)

This paper claims that there is no such thing as the 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 semantics. The first part of the paper outlines the thesis that a unique notion of logical form fulfils both roles, and argues that the alleged best candidate for making it true is unsuited for one of the two roles. (...) The second part spells out a considerably different notion which is free from that problem, although it does not fit the other role. As it will be suggested, each of the two notions suits at most one role, so the uniqueness thesis is ungrounded. (shrink)