Structured Propositions

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)

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)

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)

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)

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)

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.

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)

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

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)

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)

The aim of the paper is to sketch a principle of individuation that is intended to serve the Fregean notion of a proposition, a notion I take for granted. A salient feature of Fregean propositions, i.e. complexes of modes of presentation of objects, is that they are fine-grained items, so fine-grained that even synonymous sentences might express different Fregean propositions. My starting point is the principle labelled by Gareth Evans the Intuitive Criterion of Difference for Thoughts, which states that it (...) is impossible coherently to take different mental attitudes to the same proposition. As a logical truth, this is a synchronic principle, the application of which is restricted to attitudes held at a single time. I argue that such a restriction might be reasonably lifted and, on the basis of an adequate notion of attitude-retention, I propose an admissible diachronic extension of the principle. (shrink)

Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...) and ‘y’ are synonymous, since sentences differing by the total, proper substitution of ‘x’ for ‘y’ always agree in meaning. We offer a precise interpretation of the challenge posed by (i) and (ii). We then develop some neglected passages of Tarski to show that his semantics for variables has the resources to resolve the antinomy without abandoning standard compositional semantics. (shrink)

At the heart of semantics in the 20th century is Frege’s distinction between sense and force. This is the idea that the content of a self-standing utterance of a sentence S can be divided into two components. One part, the sense, is the proposition that S’s linguistic meaning and context associates with it as its semantic interpretation. The second component is S’s illocutionary force. Illocutionary forces correspond to the three basic kinds of sentential speech acts: assertions, orders, and questions. Forces (...) are then kinds of acts in which propositions are deployed with certain purposes. I sketch a speech-act theoretic semantics in which that distinction does not hold. Instead of propositions and forces, the theory proposes proto-illocutionary acts and illocutionary acts. The orthodox notion of a proposition plays no role in the framework, which is a good thing, since that notion is deeply problematic. The framework also shows how expressionists, who embrace a sophisticated speech-act framework, face no Frege-Geach embedding problem, since the latter assumes the Sense/Force distinction. (shrink)

In Jeffrey King’s theory of structured propositions, propositional structure mirrors the syntactic structure of natural language sentences that express it. I provide cases where this claim individuates propositions too finely across languages. Crucially, King’s paradigmatic proposition-fact ^that Dara swims^ cannot be believed by a monolingual Greek speaker, due to Greek syntax requiring an obligatory article in front of proper names. King’s two possible replies are: (i) to try to streamline the syntax of Greek and English; or (ii) to insist that (...) English speakers can believe propositions inexpressible in Greek. I argue that the former option entails giving up a neo-Russelian framework, and the latter makes King’s account arbitrary or trivial. I conclude that the mirroring claim is untenable. (shrink)

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate fine-grained hyperintensional contents. When this is done in a satisfactory way, I’ll argue, it makes heavy use of entities very much like Russellian tuples. The two notions of proposition become inter-definable and inter-substitutable: they are not genuinely distinct accounts of how (...) propositions represent what they represent. Semantic theorists may move freely between the two conceptions of what propositions are. Nevertheless, the two approaches give different accounts of the metaphysical nature of propositions. I argue that the sets-of-worlds view provides an adequate account of the nature of propositions, whereas the Russellian view cannot. (shrink)

In this paper I present two new arguments against the possibility of an omniscient being. My new arguments invoke considerations of cardinality and resemble several arguments originally presented by Patrick Grim. Like Grim, I give reasons to believe that there must be more objects in the universe than there are beliefs. However, my arguments will rely on certain mereological claims, namely that Classical Extensional Mereology is necessarily true of the part-whole relation. My first argument is an instance of a problem (...) first noted by Gideon Rosen and requires an additional assumption about the mereological structure of certain beliefs. That assumption is that an omniscient being’s beliefs are mereological simples. However, this assumption is dropped when I present my second argument. Thus, I hope to show that if Classical Extensional Mereology is true of the part-whole relation, there cannot be an omniscient being. (shrink)

The paper argues that philosophers commonly misidentify the substitutivity principle involved in Russell’s puzzle about substitutivity in “On Denoting”. This matters because when that principle is properly identified the puzzle becomes considerably sharper and more interesting than it is often taken to be. This article describes both the puzzle itself and Russell's solution to it, which involves resources beyond the theory of descriptions. It then explores the epistemological and metaphysical consequences of that solution. One such consequence, it argues, is that (...) Russell must abandon his commitment to propositions. (shrink)

Chalmers (Mind 120(479): 587–636, 2011a) presents an argument against “referentialism” (and for his own view) that employs Bayesianism. He aims to make progress in a debate over the objects of belief, which seems to be at a standstill between referentialists and non-referentialists. Chalmers’ argument, in sketch, is that Bayesianism is incompatible with referentialism, and natural attempts to salvage the theory, Chalmers contends, requires giving up referentialism. Given the power and success of Bayesianism, the incompatibility is prima facie evidence against referentialism. (...) In this paper, I review Chalmers’ arguments and give some responses on behalf of the referentialist. (shrink)

Fine (2007) argues that Frege’s puzzle and its relatives demonstrate a need for a basic reorientation of the field of semantics. According to this reorientation, the domain of semantic facts would be closed not under the classical consequence relation but only under a stronger relation Fine calls “manifest consequence.” I examine Fine’s informally sketched analyses of manifest consequence, showing that each can be amended to determine a class of strong consequence relations. A best candidate relation emerges from each of the (...) two classes, and I prove that the two candidates extensionally coincide. The resulting consequence relation is of independent interest, for it might be held to constitute a cogent standard of reasoning that proceeds under a deficient grasp on the identity of objects. (shrink)

This paper argues that attitudinal objects, entities of the sort of John's judgment, John's thought, and John's claim, should play the role of propositions, as the cognitive products of cognitive acts, not the acts themselves.

It is our contention that an ontological commitment to propositions faces a number of problems; so many, in fact, that an attitude of realism towards propositions—understood the usual “platonistic” way, as a kind of mind- and language-independent abstract entity—is ultimately untenable. The particular worries about propositions that marshal parallel problems that Paul Benacerraf has raised for mathematical platonists. At the same time, the utility of “proposition-talk”—indeed, the apparent linguistic commitment evident in our use of 'that'-clauses (in offering explanations and making (...) predictions)—is also in need of explanation. We account for this with a fictionalist analysis of our use of 'that'-clauses. Our account avoids certain problems that arise for the usual error-theoretic versions of fictionalism because we apply the notion of semantic pretense to develop an alternative, pretense-involving, non-error-theoretic, fictionalist account of proposition-talk. (shrink)

On a traditional or default view of the grasping or understanding of a singular proposition by an individual, it is assumed to be a unitary or holistic activity. However, naturalistic views of cognition plausibly could analyze propositional thinking in terms of more than one distinctive functional stage of cognitive processing, suggesting at least the potential legitimacy of a non-unitary analysis of propositional grasping. We outline a novel dual-component view of this kind, and show that it is well supported by current (...) cognitive science research. (shrink)

Ever since Frege, propositions have played a central role in philosophy of language. Propositions are generally conceived as abstract objects that have truth conditions essentially and fulfill both the role of the meaning of sentences and of the objects or content of propositional attitudes. More recently, the abstract conception of propositions has given rise to serious dissatisfaction among a number of philosophers, who have instead proposed a conception of propositional content based on cognitive acts (Hanks, Moltmann, Soames). This approach is (...) not entirely new, though, but has important precedents in early analytic philosophy and phenomenology. The aim of this volume is bring together some of the most important texts from the relevant historical literature and new contributions from contemporary proponents of act-based conceptions of propositional content. (shrink)

Peter Hanks and Scott Soames have recently developed similar views of propositional attitudes on which they consist at least partly of being disposed to perform mental acts. Both think that to believe a proposition is at least partly to be disposed to perform the primitive propositional act: one the performance of which is part of the performance of any other propositional act. However, they differ over whether the primitive act is the forceless entertaining or the forceful judging. In this paper (...) I argue that Soames’s “forceless” approach has an advantage over Hanks’s “forceful” approach which faces a serious problem. (shrink)

Philosophers often talk about the things we say, or believe, or think, or mean. The things are often called ‘propositions’. A proposition is what one believes, or thinks, or means when one believes, thinks, or means something. Talk about propositions is ubiquitous when philosophers turn their gaze to language, meaning and thought. But what are propositions? Is there a single class of things that serve as the objects of belief, the bearers of truth, and the meanings of utterances? How do (...) our utterances express propositions? Under what conditions do two speakers say the same thing, and what (if anything) does this tell us about the nature of propositions? There is no consensus on these questions—or even on whether propositions should be treated as things at all. During the second Propositions and Same-Saying workshop, which took place on July 19–21 2010 at the University of Sydney, philosophers debated these (and related) questions. The workshop covered topics in the philosophy of language, perception, and metaphysics. The present volume contains revised and expanded versions of the papers presented at the workshop. (shrink)

Belief in propositions no longer brings about the sorts of looks it did when Quine's affinity for desert landscapes held sway in the Anglo-American philosophical scene. People are doing work in the metaphysics of propositions, trying to figure out what sorts of creatures propositions are. In philosophers like Frege, Russell, and Moore we have strong shoulders upon which to stand. But, there is much more work that needs to be done. I will try to do a bit of that work (...) here. In the paper, I will probe the notion that propositions are structured entities, and that it is useful to think of their structure as resembling the structure of the sentences which express them. First, I will speak briefly to the issue of why one might find it rational to believe that propositions exist. In the second part of the paper, I will argue that we should think of propositions as having structure. In the last section, I will examine the nature of the structure of propositions. I will consider a recent account given by Jeffrey King of the nature of the relation that unifies constituents. I conclude by sketching my own view of the relation that holds between propositional constituents in virtue of which they compose a proposition. 1 I Why Believe in Propositions? Propositions are taken to be abstract entities that are a) the primary bearers of truth and falsity, b) the objects of our propositional attitudes, and c) the referents of "that-. (shrink)

In an earlier paper, "Non-conceptual Content and the 'Space of Reasons'", I distinguished two forms of the view that perceptual content is non-conceptual, which I called the 'state view' and the 'content view'. On the latter, but not the former, perceptual states have a different kind of content than do cognitive states. Many have found it puzzling why anyone would want to make this claim and, indeed, what it might mean. This paper attempts to address these questions.

Do Russellian propositions have their constituents as parts? One reason for thinking not is that if they did, they would generate apparent counterexamples to plausible mereological principles. As Frege noted, they would be in tension with the transitivity of parthood. A certain small rock is a part of Etna but not of the proposition that Etna is higher than Vesuvius. So, if Etna were a part of the given proposition, parthood would fail to be transitive. As William Bynoe has noted (...) (speaking of facts rather than propositions), they would seem to violate certain supplementation principles. Consider the singular proposition, concerning identity, that it is identical with itself. Given the relevant form of Russellianism, this proposition would have identity as a proper part, but it would not have any parts disjoint from identity, and indeed it would not have even a single pair of disjoint parts, in violation of various supplementation principles. This chapter offers a unified solution to the problems about transitivity and supplementation. One key ingredient in the solution is the view that parthood is a four-place relation expressed by ‘x at y is a part of z at w’. Another key ingredient is the view that the semantic contents of predicates and sentential connectives have ‘slots’ or ‘argument positions’ in them. (Both ingredients are independently motivated elsewhere.) Four-place analogues of the transitivity and supplementation principles are set out, and it is argued that these are not threatened by the examples from Frege and Bynoe. (shrink)

In this paper I shall deal with the role of "understanding a thought" in the debate on the definition of the content of an assertion. I shall present a well known tension in Frege's writings, between a cognitive and semantic notion of sense. This tension is at the source of some of the major contemporary discussions, mainly because of the negative influence of Wittgenstein's Tractatus, which did not give in-depth consideration to the tension found in Frege. However many contemporary authors, (...) after the first attempt by Carnap himself, have tried to make room both for a cognitive and semantic aspect of meaning. I claim that at least some of these attempts (Dummett, Perry and Chalmers) are seriously flawed, mainly due to the difficulty in making a proper connection between the two different conceptions of sense. I shall outline an alternative project, which takes into consideration Frege's requirements on antipsychologism and of the objectivity of thought, while maintaining a close connection between the two aspects of sense. (shrink)