Do representational pictures have propositional contents? The current paper argues that the characteristic contents of pictures are predicative rather than propositional: pictures characterise things as looking certain ways, and they thereby express properties of visual perspectives. The paper argues that the characteristic predicative contents of pictures are nonetheless able to feature in fully-fledged propositional contents once they are combined with contents of other suitable sorts. Various facts about communicative uses of pictures are then explained. The paper concludes by considering the (...) bearing of its conclusions upon questions about the relationships between linguistic representation and pictorial representation. (shrink)

This tutorial is for beginners wanting to learn the basics of propositional logic; the simplest of the formal systems of logic. Leslie Allan introduces students to the nature of arguments, validity, formal proofs, logical operators and rules of inference. With many examples, Allan shows how these concepts are employed through the application of three different methods for proving the formal validity of arguments.

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)

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)

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)

Reprinted in Philosophy of Religion: An Anthology, Wadsworth 2015, 6th edition, eds Michael Rea and Louis Pojman. What is propositional faith? At a first approximation, we might answer that it is the psychological attitude picked out by standard uses of the English locution “S has faith that p,” where p takes declarative sentences as instances, as in “He has faith that they’ll win”. Although correct, this answer is not nearly as informative as we might like. Many people say that there (...) is a more informative answer. They say that, at the very least, propositional faith requires propositional belief. More precisely, they say that faith that p requires belief that p or that it must be partly constituted by belief that p. This view is common enough; call it the Common View. I have two main aims in this paper: (i) to exhibit the falsity of the Common View and the paucity of reasons for it, and (ii) to sketch a more accurate and comprehensive account of what propositional faith is. (shrink)

Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is (...) to explain, expand, and, in one aspect, correct Stalnaker's discussion. (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.

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

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

To understand what non-propositional content is and whether there are any such contents, we first need to know what propositional content is. That issue will be the focus of the first section of this essay. In the second section, with an understanding of propositional content in hand, we will consider representations that fail to have propositional content. In contrast to recent literature, it will be argued that metaphysical considerations concerning what's represented, rather than linguistic considerations, are a more promising way (...) of establishing non-propositional contents. To keep the discussion containable, focus will be on representational mental states, though many of the considerations can be extended to other forms of representation. (shrink)

Two primary roles for propositions are to be i) the objects of the attitudes (especially belief) and ii) the primary bearers of truth and falsity. Interpreters of John Locke are in very broad agreement that propositions, as he presents them, serve this second role. However, whether Locke’s propositions can be said to serve the first role is a more difficult question, as Locke was frequently regarded as having overlooked the force/content distinction, meaning that many interpreters regard him (...) as taking the propositions not to be the objects of the attitudes, but instead, to be identical to the attitudes themselves. In this paper, I present the basics of Locke’s accounts of propositions, truth, and judgment. I then explain the interpretive divide between those scholars who interpret Locke as offering a more philosophically appealing proto-Fregean account of propositions (one which does recognize the force/content distinction), and those who defend the philosophically less satisfying account which identifies propositions with judgments on textual grounds. Finally, I defend the conflation account against one of it’s largest philosophical challenges, by showing how that view can address the Frege-Geach problem. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically (...) attempts to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such mental states (...) in an introductory but opinionated way. (shrink)

In a 2010 article Turri puts forward some powerful considerations which suggest that Williamson's view of knowledge as the most general factive mental state is false. Turri claims that this view is false since it is false that if S sees that p, then S knows that p. Turri argues that there are cases in which (A) S sees that p but (B) S does not know that p. In response I offer linguistic evidence to suppose that in propositional contexts (...) “see” does not have the sort of meaning (a purely perceptual meaning) which would sustain Turri's claims about the cases he offers (specifically, the (A) verdicts). (shrink)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs (...) of denying each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (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)

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)

In this critical review of Robert Hanna's ingenious book (2006), I aim to support Hanna‟s main insightful reading of Kant, namely what he calls “a priori truth with a human face," without appealing to Kant's divide between a priori and a posteriori and analytic and synthetic truths. My suggestion is that transcendental propositions are necessary neither in the usual epistemological sense that analytic propositions are, let alone in the metaphysical sense that some empirical propositions are. Instead, they (...) are necessary in the theoretical domain in the weak alternative sense that they make possible the empirical recognition of appearances as an object as an indispensable condition of our self-consciousness experience, and they are a priori in the practical domain in the sense that their truth is vital for our self-comprehension as human beings. (shrink)

According to Lynne Rudder Baker’s Practical Realism, we know that we have beliefs, desires, and other propositional attitudes independent of any scientific investigation. Propositional attitudes are an indispensable part of our everyday conception of the world and not in need of scientific validation. This paper asks what is the nature of the attitudes such that we may know them so well from a commonsense perspective. I argue for a self-ascriptivist view, on which we have propositional attitudes in virtue of ascribing (...) them to ourselves. On this view, propositional attitudes are derived representational states, deriving their contents and their attitude types from our self-ascriptions. (shrink)

ABSTRACTIn a series of articles, Asbjørn Steglich-Petersen and Nick Zangwill argue that, since propositional attitude ascription judgements do not behave like normative judgements in being subject to a priori normative supervenience and the Because Constraint, PAs cannot be constitutively normative.1 I argue that, for a specific version of normativism, according to which PAs are normative commitments, these arguments fail. To this end, I argue that commitments and obligations should be distinguished. Then, I show that the intuitions allegedly governing all normative (...) judgements do not even purport to hold for commitment-attributing judgements.RÉSUMÉDans une série d'articles, Asbjørn Steglich-Petersen et Nick Zangwill font valoir que, puisque les jugements d'attribution d'attitude propositionnelle ne se comportent pas comme des jugements normatifs en étant soumis à la survenance normative a priori et à la contrainte du Parce que, les AP ne peuvent être constitutivement normatives. Je soutiens que, pour une version spécifique du normativisme, selon laquelle les AP sont des engagements normatifs, ces arguments échouent. À cette fin, je soutiens d'abord que les engagements et les obligations devraient être séparés. Ensuite, je démontre que les intuitions qui régiraient prétendument tous les jugements normatifs ne prétendent même pas s'appliquer aux jugements attributifs d'un engagement. (shrink)

An important objection to sententialist theories of attitude reports is that they cannot accommodate the principle that one cannot know that someone believes that p without knowing what it is that he believes. This paper argues that a parallel problem arises for propositionalist accounts that has gone largely unnoticed, and that, furthermore, the usual resources for the propositionalist do not afford an adequate solution. While non-standard solutions are available for the propositionalist, it turns out that there are parallel solutions that (...) are available for the sententialist. Since the difficulties raised seem to show that the mechanism by which sentential complements serve to inform us about attitudes and about sentence meaning does not depend on their referring to propositions, this casts doubt on whether talk of propositions should retain a significant theoretical role in the enterprise of understanding thought, language and communication. (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)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent (...) with propositional contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

Propositions are traditionally regarded as performing vital roles in theories of natural language, logic, and cognition. This chapter offers an opinionated survey of recent literature to assess whether they are still needed to perform three linguistic roles: be the meaning of a declarative sentence in a context, be what is designated by certain linguistic expressions, and be the content of illocutionary acts. After considering many of the relevant choice-points, I suggest that there remains a linguistic basis for propositions, (...) but not for some of the traditional reasons. (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)

Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.

Skyrms, building on the work of Dretske, has recently developed a novel information-theoretic account of propositional content in simple signalling systems. Information-theoretic accounts of content traditionally struggle to accommodate the possibility of misrepresentation, and I show that Skyrms’s account is no exception. I proceed to argue, however, that a modified version of Skyrms’s account can overcome this problem. On my proposed account, the propositional content of a signal is determined not by the information that it actually carries, but by the (...) information that it would carry at the nearest separating equilibrium of the underlying evolutionary dynamics. I show that this amended account yields reasonable ascriptions of false propositional content in a well-known formal model of the evolution of communication , and close with a discussion of the serious but perhaps not insuperable difficulties we face in applying the account to examples of signalling in the real world. (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)

The distinction between propositional and doxastic justification is well-known among epistemologists. Propositional justification is often conceived as fundamental and characterized in an entirely apsychological way. In this chapter, I focus on beliefs based on deductive arguments. I argue that such an apsychological notion of propositional justification can hardly be reconciled with the idea that justification is a central component of knowledge. In order to propose an alternative notion, I start with the analysis of doxastic justification. I then offer a notion (...) of propositional justification, intersubjective propositional justification, that is neither entirely apsychological nor idiosyncratic. To do so, I argue that to be able to attribute propositional justification to a subject, we have to consider her social context as well as broad features of our human cognitive architecture. (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)

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 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)

Proposition and sentence are two separate entities indicating their specific purposes, definitions and problems. A proposition is a logical entity. A proposition asserts that something is or not the case, any proposition may be affirmed or denied, all proportions are either true (1’s) or false (0’s). All proportions are sentences but all sentences are not propositions. Propositions are factual contains three terms: subject, predicate and copula and are always in indicative or declarative mood. While sentence is a grammatical (...) entity, a unit of language that expresses a complete thought; a sentence may express a proposition, but is distinct from the proposition it may be used to express: categories, declarative sentences, exclamatory, imperative and interrogative sentences. Not all sentences are propositions, propositions express sentence. Sentence is a proposition only in condition when it bears truth values i.e. true or false. We use English sentences governed by imprecise rule to state the precise rules of proposition. In logic we use sentence as logical entity having propositional function but grammatical sentences are different from logical sentences while the former are having only two divisions namely subject and predicate and may express wishes, orders, surprise or facts and also have multiple subjects and predicates and the latter must be in a propositional form which states quantity of the subject and the quality of the proposition and multiple subjects and multiple predicate make the proposition multiple. (shrink)

It is shown that Gqp↑, the quantified propositional Gödel logic based on the truth-value set V↑ = {1 - 1/n : n≥1}∪{1}, is decidable. This result is obtained by reduction to Büchi's theory S1S. An alternative proof based on elimination of quantifiers is also given, which yields both an axiomatization and a characterization of Gqp↑ as the intersection of all finite-valued quantified propositional Gödel logics.

Our online interaction with information-systems may well provide the largest arena of formal logical reasoning in the world today. Presented here is a critique of the foundations of Logic, in which the metaphysical assumptions of such 'closed world' reasoning are contrasted with those of traditional logic. Closed worlds mostly employ a syntactic alternative to formal language namely, recording data in files. Whilst this may be unfamiliar as logical syntax, it is argued here that propositions are expressed by data stored (...) in files which are essentially non-linguistic and so cannot be expressed by simple formulae F(a), with the inference-rules normally used in Logic. Hence, the syntax of data may be said to define a fundamentally new kind of logical form for simple propositions. In this way, the logic of closed systems is shown to be non-classical, differing from traditional logic in its truth-conditions, inferences and metaphysics. This paper will be concerned mainly with how the reference and certain inferences in such a closed system differ metaphysically from classical logic. (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)

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)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate (...) that the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (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)

Some philosophers claim that propositions are simple—i.e., lack parts. In this paper, I argue that this claim is mistaken. I start with the widely accepted claim that propositions are the objects of beliefs. Then I argue that the objects of beliefs have parts. Thus, I conclude that propositions are not simple. My argument for the claim that the objects of beliefs have parts derives from the fact that beliefs are productive and systematic. This fact lurks in the (...) background of debates about the metaphysics of propositions. But its import for these debates has yet to be fully appreciated. So here I bring the point to the fore, and thus make manifest a powerful argument against simple propositions. (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)

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of a sentence at a context (...) is (or determines) a function from worlds to truth values. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as (...) set-theoretic constructions out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (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 argue first that attention is a (maybe the) paradigmatic case of an object-directed, non-propositional intentional mental episode. In addition attention cannot be reduced to any other (propositional or non-propositional) mental episodes. Yet, second, attention is not a non-propositional mental attitude. It might appear puzzling how one could hold both of these claims. I show how to combine them, and how that combination shows how propositionality and non-propositionality can co-exist in a mental life. The crucial move is one away from (...) an atomistic, building block picture to a more holistic, structural picture. (shrink)