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)

Book synopsis: Our mental lives are entwined with the world. There are worldly things that we have beliefs about and things in the world we desire to have happen. We find some things fearsome and others likable. The puzzle of intentionality — how it is that our minds make contact with the world — is one of the oldest and most vexed issues facing philosophers. Many contemporary philosophers and cognitive scientists have been attracted to the idea that our minds represent (...) the world. This book explores an important assumption about representation, namely, that when we represent things in the world, we represent them as having properties, and in this way our representations have "propositional" structure. The contributors examine what the commitment to propositionalism amounts to; illuminate why one might find the thesis attractive ; and consider ways in which one might depart from propositionalism. The hope is that this will lead towards a more complete understanding of how the mind and world are connected. (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)

Propositions are the things we believe, intend, desire, and so on, but discussions are often less precise than they could be and an important driver of this deficiency has been a focus on the objects but a neglect of the attitudinal relations we bear to them. In what follows, we will offer some thoughts on what it means for a proposition to be the object of an attitude and we will argue that an important part of the story lies with (...) the attitude relations rather than the propositions. As we will see there are infinitely many relations we might bear to a proposition, but the propositional attitude relations are special amongst them. Accounting for what makes them special will be an important component in the discussion that follows. We will argue that once one appreciates certain facts about propositional attitude relations, various claims that metaphysicians often make regarding propositions themselves begin to look undermotivated. In fact, many views on the metaphysical nature of propositions come to look like plausible candidates for being that to which our propositional attitudes relate us. As will emerge, we will see that the principle role of propositions in the theory of mind is simply to keep track of how our attitudinal states represent things as being. But, we argue, in order to do this work, very few constraints must be placed on the nature of propositions themselves. In particular, contra much of the recent work on the metaphysics of propositions, they need not represent nor must they be structured. In light of these observations, we conclude by sketching our own favored minimalist view of propositions. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

The conventional wisdom has it that between 1905 and 1919 Russell was critical to pragmatism. In particular, in two essays written in 1908–9, he sharply attacked the pragmatist theory of truth, emphasizing that truth is not relative to human practice. In fact, however, Russell was much more indebted to the pragmatists, in particular to William James, as usually believed. For example, he borrowed from James two key concepts of his new epistemology: sense-data, and the distinction between knowledge by acquaintance and (...) knowledge by description. Reasonable explanation of this is that, historically, Russell’s logical realism and James’s pragmatism have the same roots—the German philosopher Rudolph Hermann Lotze (1817–1881). In this paper we are going to explore the fact that in 1905, under Lotze’s influence, Russell married propositions with beliefs. A few years later this step also made Russell prone to embrace the theory of truth-making that has its roots in James. In contrast to the concept of sense-data and to the distinction between knowledge by acquaintance and knowledge by description, however, the understanding that we believe propositions—and not, for example, simply grasp them—was in tension with Russell’s Principle of Extensionality, according to which propositions can be logically connected with other propositions only as truth-functions. The point is that when we judge a mind-relation (for example, a relation of belief) to a proposition, the latter cannot be determined as true or false. The two most talented pupils of Russell, Wittgenstein and Ramsey, severely criticized the central place propositional attitudes play in Russell’s logic. Wittgenstein analyzed “A believes that p” to “ ‘p’ says p” (5.542). Ramsey criticized Russell’s beliefs in propositions the other way round: He stressed that belief is an ambiguous term that can be interpreted for the better in the sense of pragmatism. Prima facie surprisingly, he maintained that his “pragmatism is derived from Mr Russell.” (1927: 51). (shrink)

I explore the possibility that propositional attitudes are not basic in folk psychology, and that what we really ascribe to people are relations to individuals, those that the apparently propositional contents of beliefs, desires, and other states concern. In particular, the relation between a state and the individuals that it tracks shows how ascription of propositional attitudes could grow out of ascription of relations between people and objects.

I argue against the orthodox view of the relationship between propositional and doxastic justification. The view under criticism is: if p is propositionally justified for S in virtue of S's having reason R, and S believes p on the basis of R, then S's belief that p is doxastically justified. I then propose and evaluate alternative accounts of the relationship between propositional and doxastic justification, and conclude that we should explain propositional justification in terms of doxastic justification. (...) If correct, this proposal would constitute a significant advance in our understanding of the sources of epistemic justification. (shrink)

Bertrand Russell was neither the first nor the last philosopher to engage in serious theorizing about propositions. But his work between 1903, when he published The Principles of Mathematics, and 1919, when his final lectures on logical atomism were published, remains among the most important on the subject. And its importance is not merely historical. Russell’s rapidly evolving treatment of propositions during this period was driven by his engagement with – and discovery of – puzzles that either continue to shape (...) contemporary theorizing about propositions, or ought to do so. Russell’s creative responses to these puzzles also laid the foundation for many later accounts (most obviously, contemporary ‘Russellian’ accounts of propositions). In this entry we provide an opinionated overview of Russell’s influential treatment of propositions, with a focus on the evolution of his views from 1903 to 1919. A growing secondary literature is dedicated to Russell’s changing views during this period, and their often complex or opaque motivations. We do not intervene overmuch in this ongoing scholarly discussion. Instead, our aim is to trace some of the central motivations for Russell’s evolving views, and highlight the extent to which these motivations remain relevant to contemporary theorizing about propositions. (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)

Higher-order theories of properties, relations, and propositions are known to be essentially incomplete relative to their standard notions of validity. It turns out that the first-order theory of PRPs that results when first-order logic is supplemented with a generalized intensional abstraction operation is complete. The construction involves the development of an intensional algebraic semantic method that does not appeal to possible worlds, but rather takes PRPs as primitive entities. This allows for a satisfactory treatment of both the modalities and the (...) propositional attitudes, and it suggests a general strategy for developing a comprehensive treatment of intensional logic. (shrink)

According to relationism, for Alice to believe that some rabbits can speak is for Alice to stand in a relation to a further entity, some rabbits can speak. But what could this further entity possibly be? Higher-order metaphysics seems to offer a simple, natural answer. On this view (roughly put), expressions in different syntactic categories (for instance: names, predicates, sentences) in general denote entities in correspondingly different ontological categories. Alice's belief can thus be understood to relate her to a sui (...) generis entity denoted by "some rabbits can speak", belonging to a different ontological category than Alice herself. This straightforward account of the attitudes has historically been deemed so attractive that it was seen as providing an important motivation for higher-order metaphysics itself (Prior [1971]). But I argue that it is not as straightforward as it might seem, and in fact that propositional attitudes present a foundational challenge for higher-order metaphysics. (shrink)

Language was central to Hobbes's understanding of human beings and their mental abilities, and criticism of other philosophers' uses of language became a favorite critical tool for him. This paper connects Hobbes's theories about language to his criticisms of others' language, examining Hobbes's theories of propositions and truth, and how they relate to his claims that various sorts of proposition are absurd. It considers whether Hobbes in fact means anything more by 'absurd' than 'false'. And it pays particular attention to (...) Hobbes's categorization of causes of absurdity and of types of incoherent proposition, arguing that Hobbes's approach is only loosely related to later discussions of category mistakes. (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)

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)

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)

According to the classical account, propositions are sui generis, abstract, intrinsically-representational entities and our cognitive attitudes, and the token states within us that realize those attitudes, represent as they do in virtue of their propositional objects. In light of a desire to explain how it could be that propositions represent, much of the recent literature on propositions has pressured various aspects of this account. In place of the classical account, revisionists have aimed to understand propositions in terms of more (...) familiar entities such as facts, types of mental or linguistic acts, and even properties. But we think that the metaphysical story about propositions is much simpler than either the classical theorist or the revisionist would have you believe. In what follows, we argue that a proper understanding of the nature of our cognitive relations to propositions shows that the question of whether propositions themselves represent is, at best, a distraction. We will argue that once this distraction is removed, the possibility of a very pleasing, minimalist story of propositions emerges; a story that appeals only to assumptions that are shared by all theorists in the relevant debate. (shrink)

Propositions have played a central role in philosophy of language since Frege. I will argue that the notion of a proposition, because of a range of philosophical problems as well as problems of linguistic adequacy, should be replaced by a different notion, for almost all the roles for it has been invoked, namely by the notion of an attitudinal object. Attitudinal objects are entities like ‘John’s belief that S’, ‘John’s claim that S’, and ‘John’s desire to do X’. Attitudinal objects (...) are closely related to, yet ontologically distinct from mental events and speech acts. (shrink)

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)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (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)

This paper considers the question of what knowing a logical rule consists in. I defend the view that knowing a logical rule is having propositional knowledge. Many philosophers reject this view and argue for the alternative view that knowing a logical rule is, at least at the fundamental level, having a disposition to infer according to it. To motivate this dispositionalist view, its defenders often appeal to Carroll’s regress argument in ‘What the Tortoise Said to Achilles’. I show that (...) this dispositionalist view, and the regress that supposedly motivates it, operate with the wrong picture of what is involved in knowing a logical rule. In particular I show that it gives us the wrong picture of the relation between knowing a logical rule and actions of inferring according to it, as well as of the way in which knowing a logical rule might be a priori. (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

What is it to know someone? Epistemologists rarely take up this question, though recent developments make such inquiry possible and desirable. This paper advances an account of how such interpersonal knowledge goes beyond mere propositional and qualitative knowledge about someone, giving a central place to second-personal treatment. It examines what such knowledge requires, and what makes it distinctive within epistemology as well as socially. It assesses its theoretic value for several issues in moral psychology, epistemic injustice, and philosophy of (...) mind. And it offers an account of the complex content in play if interpersonal knowledge is to be understood in terms of its mental states and their functions. (shrink)

In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS.

The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.

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)

Most contemporary philosophical discussions of intentionality start and end with a treatment of the propositional attitudes. In fact, many theorists hold that all attitudes are propositional attitudes. Our folk-psychological ascriptions suggest, however, that there are non-propositional attitudes: I like Sally, my brother fears snakes, everyone loves my grandmother, and Rush Limbaugh hates Obama. I argue that things are as they appear: there are non-propositional attitudes. More specifically, I argue that there are attitudes that relate individuals to (...) non-propositional objects and do so not in virtue of relating them to propositions. I reach this conclusion by not only showing that attempted analyses of apparently non-propositional attitudes in terms of the propositional fail, but that some non-propositional attitudes don’t even supervene on propositional attitudes. If this is correct, then the common discussions of intentionality that address only propositional attitudes are incomplete and those who hold that all intentional states are propositional are mistaken. (shrink)

Those arguing for the existence of non-propositional content appeal to emotions for support, although there has been little engagement in those debates with developments in contemporary theory of emotion, specifically in connection with the kind of mental states that emotional experiences are. Relatedly, within emotion theory, one finds claims that emotional experiences per se have non-propositional content without detailed argument. This paper argues that the content of emotional experience is propositional in a weak sense, associated with aspectual (...) experience and correctness conditions. Furthermore, it provides an interpretation of purely-objectual emotional experiences which satisfies this weak view of propositional content. (shrink)

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are facts (...) of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

Proposition are the material of our reasoning. Proposition are the basic building blocks of the world/thought. Proposition have intense relation with the world. World is a series of atomic facts and these facts are valued by the proposition although sentences explain the world of reality but can’t have any truth values, only proposition have truth values to describe the world in terms of assertions. Propositions are truth value bearers, the only quality of proposition is truth & falsity, that they are (...) either true or false. Proposition mirrors the world and explains how world is arranged in an orderly manner. It scans the world(object) and are composed of atomic facts experienced and can be analyzed into propositions. Propositions are the basic units of logic. The truth (affirm) and falsity (nego) are the qualities of the propositions and universality (generality) and Particularity are the quantities of the propositions. There are propositions which are neither true nor false, they are called Pseudo-Propositions and their quality are ipso-facto i.e meaningless. Propositions are used in computers with the modifications brought by the modern logicians in the form of statements or logical sentences. The truth table of the logical gates and binary operations (1,s or 0,s are due to the revolution of the modern logic or mathematical logic. It is a fact that proposition cannot change the word but it shows the relation between the object and of the word. Objectives: The objectives of this research is to explore the importance and need of propositions in logic. It also shows the analysis of propositions and how a philosopher thoughts in terms of propositions or concepts. In this research problem it is shown that propositions had been described in many ways by most of the philosophers and logicians from Aristotle to contemporary philosophers. It also analysis the contribution of the philosophers towards proposition and its relation to the world of reality. This research also describes the definition and nature of proposition. (shrink)

Is the way we use propositions to individuate beliefs and other intentional states analogous to the way we use numbers to measure weights and other physical magnitudes? In an earlier paper [2], I argued that there is an important disanalogy. One and the same weight can be 'related to' different numbers under different units of measurement. Moreover, the choice of a unit of measurement is arbitrary,in the sense that which way we choose doesn't affect the weight attributed to the object. (...) But it makes little sense to say that one and the same belief can be related to different propositions: different proposition means different belief. So there is no analogous arbitrary choice. (shrink)

History witnesses alternative approaches to “the proposition”. The proposition has been referred to as the object of belief, disbelief, and doubt: generally as the object of propositional attitudes, that which can be said to be believed, disbelieved, understood, etc. It has also been taken to be the object of grasping, judging, assuming, affirming, denying, and inquiring: generally as the object of propositional actions, that which can be said to be grasped, judged true or false, assumed for reasoning purposes, (...) etc. The proposition has also been taken to be the subject of truth and falsity: generally as the subject of propositional properties, that which can be said to be true, false, tautological, informative, inconsistent,etc. It has also been taken as the subject and object of logical relations, e.g. that which can be said to imply, be implied, contradict, be contradicted, etc. Prima facie, such properties and relations are non-mental and objective. It has also been taken to be the resultants or products of propositional operations, usually mental or linguistic; e.g. judging, affirming, and denying have been held to produce propositions called judgments, affirmations, and negations, respectively. Propositions have also been taken to be certain declarative sentences. Finally,propositions have been taken to be meanings of certain declarative sentences. This essay is an informal, selective, and incomplete survey of alternative approaches to “the proposition” with special attention to the views of the late American philosopher Peter Hare (1935–2008)and of those who influenced him. DOI: 10.5007/1808-1711.2011v15n1p51. (shrink)

A central dispute in discussions of self-locating attitudes is whether attitude relations like believing and knowing are relations between an agent and properties (things that vary in truth value across individuals) or between an agent and propositions (things that do not so vary). Proponents of the proposition view have argued that the property view is unable to give an adequate account of relations like communication and agreement. We agree with this critique of the property view, and in this essay we (...) show that the problems facing the property view are much more serious than has been appreciated. We then develop and explore two versions of the proposition view. In each case, we show how facts about the self-ascription of properties may be determined by facts about propositional attitudes in conjunction with certain other facts. (shrink)

Frege's puzzle is a fundamental challenge for accounts of mental and linguistic representation. This piece surveys a family of recent approaches to the puzzle that posit representational relations. I identify the central commitments of relational approaches and present several arguments for them. I also distinguish two kinds of relationism—semantic relationism and formal relationism—corresponding to two conceptions of representational relations. I briefly discuss the consequences of relational approaches for foundational questions about propositional attitudes, intentional explanation, and compositionality.

The folk Psychology frames propositional attitudes as fundamental theoretical entities for the construction of a model designed to predict the behavior of a subject. A trivial, such as grasping a pen and writing reveals - something complex - about the behavior. When I take a pen and start writing I do, trivially, because I believe that a certain object in front of me is a pen and who performs a specific function that is, in fact, that of writing. When (...) I believe that the object that stands before me is a pen, I am in relation to "believe" with the propositional content: that in front of me is a pen. Philosophers of the proposition, from Frege onwards, have dedicated their studies to the analysis of what kinds of entities are the propositional attitudes. Jerry Fodor says that now, the proper prediction of the psychology of common sense, can not be questioned and that the propositional attitudes represent the most effective way to describe our behavior. What Fodor says, however, is that propositional attitudes function, but not how they work. Most philosophers interested in the issue, we are dedicated to the search for a theory that can account consistently both a semantics for propositional attitudes, both of these entities that seem to cause the behavior of a rational subject. There are two main paradigms in the theory of the proposition that contributed to the discussion of the propositional attitudes. One is the one that begins with Gottlob Frege, the other with Bertrand Russell. Defenders of Frege argue that the paradigm scrub objects and properties can not be constituents of the propositional content which have a purely conceptual. In other words, the philosophers belonging to the paradigm of Frege, but not all, mean that you can test in a rigorous way the truth conditions of propositional attitudes. Who defends the russellian’s paradigm argues that the propositional content are made by the objects and properties on which propositional attitudes relate. The purpose of this article is not to rebuild - in detail - both paradigms, nor to reconstruct one but, in a sense, my work will be a completely partial objective is to demonstrate how the paradigm is more profitable russell not only to make a coherent semantic theory for propositional attitudes2 but also to predict the behavior of a rational subject thing, completely innovative, given the repeated objections in contemporary literature3. At the end of this paper will be drafted a proposal to build a consistent model to predict the behavior,of a rational agent, based on a referential theory of propositional attitudes. (shrink)

In 'On the nature of truth and falsehood' Russell offers both a multiple relation theory of judgment and a correspondence theory of truth. It has been a prevailing understanding of the Tractatus that Wittgenstein rejects Russell’s multiple relation idea but endorses the correspondence theory. Ramsey took the opposite view. In his 'Facts and Propositions', Ramsey endorses Russell’s multiple relation idea, rejects the correspondence theory, and then asserts that these moves are both due to Wittgenstein. This chapter will argue that Ramsey’s (...) ascriptions are both correct. The extent of the agreement between Ramsey and Wittgenstein will be argued, moreover, to count definitively against standard understandings of Ramsey as a redundancy theorist of truth. Wittgenstein is no correspondence theorist and Ramsey is no redundancy theorist; rather, both philosophers offer identity theories of truth. (shrink)

Agents are often assumed to have degrees of belief (“credences”) and also binary beliefs (“beliefs simpliciter”). How are these related to each other? A much-discussed answer asserts that it is rational to believe a proposition if and only if one has a high enough degree of belief in it. But this answer runs into the “lottery paradox”: the set of believed propositions may violate the key rationality conditions of consistency and deductive closure. In earlier work, we showed that this problem (...) generalizes: there exists no local function from degrees of belief to binary beliefs that satisfies some minimal conditions of rationality and non-triviality. “Locality” means that the binary belief in each proposition depends only on the degree of belief in that proposition, not on the degrees of belief in others. One might think that the impossibility can be avoided by dropping the assumption that binary beliefs are a function of degrees of belief. We prove that, even if we drop the “functionality” restriction, there still exists no local relation between degrees of belief and binary beliefs that satisfies some minimal conditions. Thus functionality is not the source of the impossibility; its source is the condition of locality. If there is any non-trivial relation between degrees of belief and binary beliefs at all, it must be a “holistic” one. We explore several concrete forms this “holistic” relation could take. (shrink)

The aim of this paper is to survey a number of features which are constitutive of the Millian account of attitude-ascription and which I take to be irremediably defective. The features in question, some of which have not been fully appreciated, relate mainly to the failure of that account to accommodate certain fundamental aspects of our ordinary practise of attitude attribution. I take it that one’s definitive method of assessment of a given semantical theory consists in checking out whether or (...) not the theory is able to accommodate our pre-theoretical linguistic intuitions; to use Keith Donnellan’s phrase, such intuitions are the bottom line in philosophical argumentation about language. And I argue that the Millian appeal to modes of presentation taken both as semantically irrelevant and external to the singular contents believed, known, etc., as well as the associated pragmatic strategy employed to discard our ground-floor judgements, are insufficient to palliate the manifest implausibility of a number of Millian descriptions of our attitudes, especially descriptions of our second-order attitudes. (shrink)

proposition. Universal proposition is defined as the proposition in which the relation between the subject term and the predicate term is without any condition, in which the predicate is either affirmed or denied of the subject unconditionally. In nyaya logic the term vyapti is a universal proposition or invariable relation between the middle term (linga/hetu) and the major term (sadya) . According to the category of relation propositions are divided into categorical and the conditional. Although proposition is a logical entity (...) which is an assertion, either affirm or deny the subject. Truth and falsity are the values of proposition. Universal proposition is of two kinds: universal affirmative proposition and universal negative proposition while universality is the quantity of the subject and affirmation or negation is the quality of the proposition. Anumana (inference) is the knowledge of the objects which follows some other knowledge. In nyaya logic Inference is a combined deductive-inductive reasoning consisting of at least three categorical propositions and in it there are at least three propositions consisting of three terms, viz. the paksa or minor term about which we infer something, the sadhya or major term which inferred object, and the linga(probans) or sadana or middle which is invariably related to the major, and is present in the minor. Indian inference resembles to the categorical syllogism of western logic. In nyaya logic inference consisting of three propositions the first proposition is the conclusion of the syllogism , the second is the minor premise and last the major premise which is totally opposite of western logic. Syllogism of nyaya logic contains five propositions, called its Avayavas or members. These are pratijna, hetu, udarana, upanaya, and nigamana. Middle term have five characteristics in order to make five Figures of syllogism as Figure is the form of the syllogism. These five characteristics, or at least four of them , must be found in the middle term of a valid inference. If not, there will be fallacies(error in reasoning). Nyayikas give us three classifications of inference. According to first inference is of two kinds, namely, svartha and parartha. According to another inference is of three kinds, purvavat, sesavat and samanyatodrsta. According to third classification inference is distinguished into kevalanvayi, kevala-vyatireki and anvaya-vyatireki. (shrink)

The word pro-tasis is etymologically a near equivalent of pre-mise, pro-position, and ante-cedent—all having positional, relational connotations now totally absent in contemporary use of proposition. Taking protasis for premise, Aristotle’s statement (24a16) -/- A protasis is a sentence affirming or denying something of something…. -/- is not a definition of premise—intensionally: the relational feature is absent. Likewise, it is not a general definition of proposition—extensionally: it is too narrow. This paper explores recent literature on these issues.

In he Problems of Philosophy and other works of the same period, Russell claims that every proposition must contain at least one universal. Even fully general propositions of logic are claimed to contain “abstract logical universals”, and our knowledge of logical truths claimed to be a species of a priori knowledge of universals. However, these views are in considerable tension with Russell’s own philosophy of logic and mathematics as presented in Principia Mathematica. Universals generally are qualities and relations, but if, (...) for example, PM’s disjunction (∨) is a relation, what is it a relation between? There is no obvious answer to this given Russell’s other philosophical commitments at this time, although hints are left in some of the pre-PM manuscripts. In this paper, I explore this tension in Russell's philosophy and relate it to developments both before and after Problems. (shrink)

Quine introduced a famous distinction between the ‘notional’ sense and the ‘relational’ sense of certain attitude verbs. The distinction is both intuitive and sound but is often conflated with another distinction Quine draws between ‘dyadic’ and ‘triadic’ (or higher degree) attitudes. I argue that this conflation is largely responsible for the mistaken view that Quine’s account of attitudes is undermined by the problem of the ‘exportation’ of singular terms within attitude contexts. Quine’s system is also supposed to suffer from the (...) problem of ‘suspended judgement with continued belief’. I argue that this criticism fails to take account of a crucial presupposition of Quine’s about the connection between thought and language. The aim of the paper is to defend the spirit of Quine’s account of attitudes by offering solutions to these two problems. (shrink)

There are two ways to characterize symmetric relations. One is intensional: necessarily, _Rxy_ iff _Ryx_. In some discussions of relations, however, what is important is whether or not a relation gives rise to the same completion of a given type (fact, state of affairs, or proposition) for each of its possible applications to some fixed relata. Kit Fine calls relations that do ‘strictly symmetric’. Is there is a difference between the notions of necessary and strict symmetry that would prevent them (...) from being used interchangeably in such discussions? I show that there is. While the notions coincide assuming an intensional account of relations and their completions, according to which relations/completions are identical if they are necessarily coinstantiated/equivalent, they come apart assuming a hyperintensional account, which individuates relations and completions more finely on the basis of relations’ real definitions. I establish this by identifying two definable relations, each of which is necessarily symmetric but nonetheless results in distinct facts when it applies to the same objects in opposite orders. In each case, I argue that these facts are distinct because they have different grounds. (shrink)

Turri argues against what he calls an “orthodox” view of the relationship between propositional and doxastic justification, according to which (Basis) it is sufficient for S to be doxastically justified in believing p that p is propositionally justified for S in virtue of having reason(s) R and S believes p on the basis of R. According to Turri, (Basis) is false and hence the orthodox view is wrong. Turri offers “an alternative proposal,” the definitive thesis of which is that (...) the subject’s intellectual abilities explain why a given proposition, p, is justified for her, and argues that, contra the orthodoxy, this proposal leads to explaining propositional justification in terms of doxastic justification rather than vice versa. In this paper, I argue for the following claims: (i) There are good reasons to think that Turri misidentifies “the orthodox view” and his objection thereby misfires, (ii) Even if we assume that Turri’s identification of the orthodox view is correct, his counter-examples to that view are far from being decisive, and (iii) Turri’s own proposal is not “an alternative” to the orthodox view but can be accommodated by it. (shrink)

In order to fulfil their essential roles as the bearers of truth and the relata of logical relations, propositions must be public and shareable. That requirement has favoured Platonist and other nonmental views of them, despite the well-known problems of Platonism in general. Views that propositions are mental entities have correspondingly fallen out of favour, as they have difficulty in explaining how propositions could have shareable, objective properties. We revive a mentalist view of propositions, inspired by Artificial Intelligence work on (...) perceptual algorithms, which shows how perception causes persistent mental entities with shareable properties that allow them to fulfil the traditional roles of (one core kind of) propositions. The clustering algorithms implemented in perception produce outputs which are (implicit) atomic propositions in different minds. Coordination of them across minds proceeds by game-theoretic processes of communication. The account does not rely on any unexplained notions such as mental content, representation, or correspondence (although those notions are applicable in philosophical analysis of the result). (shrink)

Propositional attitude sentences, such as "John believes that snow is white," are traditionally taken to express the holding of a relation between a subject and what ‘that’-clauses like ‘that snow is white’ denote, i.e. propositions. On the traditional account, propositions are abstract, mind- and language-independent entities. Recently, some have raised some serious worries for the traditional account and thought that we were mistaken about the kind of entities propositions are. Over the last ten years there has then been a (...) boom of accounts of propositions in terms of mental acts. But Friederike Moltmann has recently suggested that in accounting for attitudes we should forget about mindand language-independent entities and acts and follow Twardowski in focusing instead on attitudinal objects, which are the products of our mental life. In this paper, I will focus on some semantic problems that any product-based account seems to face. Moreover, I will show that product-based accounts may be also criticised on ontological grounds. My conclusion will be that we lack a reason to think that in accounting for propositional attitudes we should focus on the alleged products of our mental lives. (shrink)

Scott Soames has recently argued that traditional accounts of propositions as n-tuples or sets of objects and properties or functions from worlds to extensions cannot adequately explain how these abstract entities come to represent the world. Soames’ new cognitive theory solves this problem by taking propositions to be derived from agents representing the world to be a certain way. Agents represent the world to be a certain way, for example, when they engage in the cognitive act of predicating, or cognizing, (...) an act that takes place during cognitive events, such as perceiving, believing, judging and asserting. On the cognitive theory, propositions just are act types involving the act of predicating and certain other mental operations. This theory, Soames argues, solves not only the problem of how propositions come to represent but also a number of other difficulties for traditional theories, including the problem of de se propositions and the problems of accounting for how agents are capable of grasping propositions and how they come to stand in the relation of expression to sentences. I argue here that Soames’ particular version of the cognitive theory makes two problematic assumptions about cognitive operations and the contents of proper names. I then briefly examine what can count as evidence for the nature of the constituents of the cognitive operation types that produce propositions and argue that the common nature of cognitive operations and what they operate on ought to be determined empirically in cross-disciplinary work. I conclude by offering a semantics for cognitive act types that accommodates one type of empirical evidence. (shrink)

In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear on what (...) domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)