On what I call absolutist essentialism about modality (AE), the metaphysical necessities are the propositions that are true in virtue of the essence (i.e. Aristotelian, absolute essence) of some entities. Other kinds of necessity can then be defined by restriction – e.g. the conceptual necessities are the propositions that are true in virtue of the essence of conceptual entities specifically. As an account of metaphysical modality and some other kinds (e.g. logical, conceptual), AE may have important virtues. However, (...) when it comes to accounting for further important kinds, like natural or normative necessity, it faces a challenge. Three main options have been defended: treat those kinds as further restricted forms of metaphysical necessity; define them as conditional forms of metaphysical necessity; treat them as primitive kinds. -/- In this paper, I propose a new option, which combines the main idea of AE (reducing necessities to essences) with an idea which has been developed largely independently: that of relative essence. On the proposed view, those kinds (e.g. natural necessity) that cannot be grounded in the essences (i.e. absolute essences) of the relevant entities (e.g. natural entities) may be grounded in their relative essences instead. Thus, I propose a generalized, or extended, version of AE, which I call relativized essentialism about modality (RE). In particular, RE offers prospects for a general framework for kinds of modality which is flexible enough to cover a large range of kinds (both absolute and relative ones) while remaining parsimonious and unified. (shrink)

Content nonconceptualism and State conceptualism are motivated by different readings of what I want to call here Bermúdez’s conditions on content-attribution (2007). In one read- ing, what is required is a neo-Fregean content to solve problems of cognitive significance at the nonconceptual level (Toribio, 2008; Duhau, 2011). In the other reading, what is required is a neo-Russellian or possible-world content to account for how conspecifics join attention and cooperate, contemplating the same things from different perspectives in the same perceptual field. (...) The solution to this apparent contradiction is the rejection of the real content view and the adherence to what I call here Content-pragmatism: there is no such thing as the content of experience. According to content pragmatism, “proposition” is not as real as a mental state, but rather, it is a term of art that semanticists use, as a matter of theoretical convenience, to classify mental states. What follows from Content-pragmatism is Content- pluralism: there are so many contents that are required to meet Bermúdez’s condition on content attribution. Because both criticism and the defense of State conceptualism overlook the real scope of Bermúdez’s condition on content attribution, they are ineffective. In this paper, I will argue that the opposition between State and Content nonconceptualism is a real one, but only a relative one, that is, relative to the opposite constraints to be met. If we want to solve the problems of cognitive significance, the best we can do is to let the content of experience be modeled as neo-Fregean content, namely, a compound of nonconceptual modes of presentation of objects and properties. In this case, Content-nonconceptualism prevails. In contrast, if we want to account for how conspecifics join attention to the same entities in the same perceptual field from different perspectives, the best we can do is let the content of experience be modeled either as a structured Russellian proposition or as a function from possible worlds to truth-values. In this case, State-nonconceptualism prevails. (shrink)

This note aims at critically assessing a little-noticed proposal made by Popper in the second edition of "Objective Knowledge" to the effect that verisimilitude of scientific theories should be made relative to the problems they deal with. Using a simple propositional calculus formalism, it is shown that the "relativized" definition fails for the very same reason why Popper's original concept of verisimilitude collapsed -- only if one of two theories is true can they be compared in terms of the (...) suggested definition of verisimilitude. (shrink)

In this paper, I argue that some philosophers have misinterpreted John Perry’s “Thought without Representation” ([1986] 2000) in two ways. They have taken, on the one hand, his distinction between a representation being about something vs concerning something to be exclusive, and, on the other hand, that he used relativized propositions to capture the truth-conditions of representations with unarticulated constituents. I argue that Perry's distinction is not exclusive and that he argues that unarticulated constituents are part of a (...) representation's truth-conditions, and that representations are about both articulated and unarticulated constituents. I also argue that accepting relativized propositions would directly contradict Perry’s thesis defending in “Thought without Representation”. (shrink)

We defend a contextualist account of deontic judgments as relativized both to (i) information and to (ii) standards or ends, against recent objections that turn on practices of moral disagreement. Kolodny & MacFarlane argue that information-relative contextualism cannot accommodate the connection between deliberation and advice; we suggest in response that they misidentify the basic concerns of deliberating agents. For pragmatic reasons, semantic assessments of normative claims sometimes are evaluations of propositions other than those asserted. Weatherson, Schroeder and others (...) have raised parallel objections to standard-relative contextualism; we argue for a parallel solution. (shrink)

In the past few years, a number of philosophers ; Horgan and Tienson 2002; Pitt 2004) have maintained the following three theses: there is a distinctive sort of phenomenology characteristic of conscious thought, as opposed to other sorts of conscious mental states; different conscious thoughts have different phenomenologies; and thoughts with the same phenomenology have the same intentional content. The last of these three claims is open to at least two different interpretations. It might mean that the phenomenology of a (...) thought expresses its intentional content, where intentional content is understood as propositional, and propositions are understood as mind-and language-independent abstract entities. And it might mean that the phenomenology of a thought is its intentional content—that is, that the phenomenology of a thought, like the phenomenology of a sensation, constitutes its content. The second sort of view is a kind of psychologism. Psychologistic views hold that one or another sort of thing—numbers, sentences, propositions, etc.—that we can think or know about is in fact a kind of mental thing. Since Frege, psychologism has been in bad repute among analytic philosophers. It is widely held that Frege showed that such views are untenable, since, among other things, they subjectivize what is in fact objective, and, hence, relativize such things as consistency and truth to the peculiarities of human psychology. The purpose of this paper is to explore the consequences of the thesis that intentional mental content is phenomenological and to try to reach a conclusion about whether it yields a tenable view of mind, thought and meaning. I believe the thesis is not so obviously wrong as it will strike many philosophers of mind and language. In fact, it can be defended against the standard objections to psychologism, and it can provide the basis for a novel and interesting account of mentality. (shrink)

In solving judgment aggregation problems, groups often face constraints. Many decision problems can be modelled in terms the acceptance or rejection of certain propositions in a language, and constraints as propositions that the decisions should be consistent with. For example, court judgments in breach-of-contract cases should be consistent with the constraint that action and obligation are necessary and sufficient for liability; judgments on how to rank several options in an order of preference with the constraint of transitivity; and (...) judgments on budget items with budgetary constraints. Often more or less demanding constraints on decisions are imaginable. For instance, in preference ranking problems, the transitivity constraint is often contrasted with the weaker acyclicity constraint. In this paper, we make constraints explicit in judgment aggregation by relativizing the rationality conditions of consistency and deductive closure to a constraint set, whose variation yields more or less strong notions of rationality. We review several general results on judgment aggregation in light of such constraints. (shrink)

This article presents a dual purpose: to carefully consider objections against the existentialist conception of the content of visual experience and to develop and defend a version of it that avoids such objections, specifically addressing the so-called "problem of particularity." The main thesis is that the existential content of visual experience should be understood as relativized, being incomplete content (rather than classical, complete propositions), modeled as a function of the sextuple of the object, agent, time, place, causal relation, (...) and world to absolute values. (shrink)

Group decisions must often obey exogenous constraints. While in a preference aggregation problem constraints are modelled by restricting the set of feasible alternatives, this paper discusses the modelling of constraints when aggregating individual yes/no judgments on interconnected propositions. For example, court judgments in breach-of-contract cases should respect the constraint that action and obligation are necessary and sufficient for liability, and judgments on budget items should respect budgetary constraints. In this paper, we make constraints in judgment aggregation explicit by relativizing (...) the rationality conditions of consistency and deductive closure to a constraint set, whose variation yields more or less strong notions of rationality. This approach of modelling constraints explicitly contrasts with that of building constraints as axioms into the logic, which turns compliance with constraints into a matter of logical consistency and thereby conflates requirements of ordinary logical consistency and requirements dictated by the environment . We present some general impossibility results on constrained judgment aggregation; they are immediate corollaries of known results on judgment aggregation. (shrink)

In Descartes theological writing, he promotes two jointly puzzling theses: T1) God freely creates the eternal truths (i.e. the Creation Doctrine) and T2) The eternal truths are necessarily true. According to T1 God freely chooses which propositions to make necessary, contingent and possible. However the Creation Doctrine makes the acceptance of T2 tenuous for the Creation Doctrine implies that God could have acted otherwise--instantiating an entirely different set of necessary truths. Jonathan Bennett seeks to reconcile T1 and T2 by (...) relativizing modality to human understanding. I argue that Bennett’s approach to Cartesian modality is misplaced: One does not have to resort to conceptualism about modality in order to explain the subjective language found in Descartes or to reconcile Descartes’ Creation Doctrine with the necessity of the eternal truths. After showing that Bennett’s argument implies that Descartes held the non-eternality of the eternal truths and the independence of the eternal truths from God, I show that if one understands Descartes’ use modal terms as indexed to God’s willing, then apparent contradictions vanish. In addition, I show that if one evaluates the truth value of modal propositions ‘non-bivalently’, then one can also unravel the apparent contradiction. One can reconcile Descartes’ Creation Doctrine (T1) and the necessity of the eternal truths (T2) without Bennett’s conceptualism. (shrink)

In this paper I consider two paradoxes that arise in connection with the concept of demonstrability, or absolute provability. I assume—for the sake of the argument—that there is an intuitive notion of demonstrability, which should not be conflated with the concept of formal deducibility in a (formal) system or the relativized concept of provability from certain axioms. Demonstrability is an epistemic concept: the rough idea is that a sentence is demonstrable if it is provable from knowable basic (“self-evident”) premises (...) by means of simple logical steps. A statement that is demonstrable is also knowable and a statement that is actually demonstrated is known to be true. By casting doubt upon apparently central principles governing the concept of demonstrability, the paradoxes of demonstrability presented here tend to undermine the concept itself—or at least our understanding of it. As long as we cannot find a diagnosis and a cure for the paradoxes, it seems that the coherence of the concepts of demonstrability and demonstrable knowledge are put in question. There are of course ways of putting the paradoxes in quarantine, for example by imposing a hierarchy of languages a` la Tarski, or a ramified hierarchy of propositions and propositional functions a` la Russell. These measures, however, helpful as they may be in avoiding contradictions, do not seem to solve the underlying conceptual problems. Although structurally similar to the semantic paradoxes, the paradoxes discussed in this paper involve epistemic notions: “demonstrability”, “knowability”, “knowledge”... These notions are “factive” (e.g., if A is demonstrable, then A is true), but similar paradoxes arise in connection with “nonfactive” notions like “believes”, “says”, “asserts”.3 There is no consensus in the literature concerning the analysis of the notions involved—often referred to as “propositional attitudes”—or concerning the treatment of the paradoxes they give rise to. (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)

A cause is proportional to its effect when, roughly speaking, it is at the right level of detail. There is a lively debate about whether proportionality is a necessary condition for causation. One of the main arguments against a proportionality constraint on causation is that many ordinary and seemingly perfectly acceptable causal claims cite causes that are not proportional to their effects. In this paper, I suggest that proponents of a proportionality constraint can respond to this objection by developing an (...) idea that is present in Yablo’s early work on proportionality, but which has strangely been ignored by both Yablo and others in the subsequent debate. My suggestion is that proportionality—and, indeed, causation itself—is relative to a domain of events. At the metaphysical level, this means that the causal relation has an extra relatum—namely, a domain of events. At the level of language, it introduces a new way in which causal claims are context-sensitive: what is expressed by a causal claim depends on the contextually relevant domain of events. As I argue, this suggestion allows us to accommodate the truth of ordinary causal claims while extending the explanatory benefits of a proportionality constraint. (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)

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)

We propose an account of the subject’s cognition that allows for a full articulation of the phenomenon of ideology. We argue that ideology operates at the level of the a priori: it transcendentally conditions the intelligibility of thought and practice. But we draw from strands of post-Kantian philosophy of science and social philosophy in repudiating Kant’s view that the a priori is necessary and fixed. Instead, we argue, it is contingent, and therefore revisable. More precisely, it is conditioned materially: it (...) must be understood as an activity, continuous with and shaped by material social practice. We conclude with some remarks about the possibility of agency over one’s relativized, materially conditioned a priori; that is, over the possibility of critique. (shrink)

Looking out the window, I see that it's raining outside. Do I know that it’s raining outside? According to proponents of the Entailment Thesis, I do. If I see that p, I know that p. In general, the Entailment Thesis is the thesis that if S perceives that p, S knows that p. But recently, some philosophers (McDowell 2002, Turri 2010, Pritchard 2011, 2012) have argued that the Entailment Thesis is false. On their view, we can see p and not (...) know that p. In this paper, I argue that their arguments are unsuccessful. (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)

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.

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)

In traditional consequentialism the good is position-neutral. A single evaluative ranking of states of affairs is correct for everyone, everywhere regardless of their positions. Recently, position-relative forms of consequentialism have been developed. These allow for the correct rankings of states to depend on connections that hold between the state being evaluated and the position of the evaluator. For example, perhaps being an agent who acts in a certain state requires me to rank that state differently from someone else who lacks (...) this connection. In this chapter several different kinds of position-relative rankings related to agents, times, physical locations, and possible worlds are explored. Arguments for and against adopting a position-relative axiology are examined, and it is suggested that position-relative consequentialism is a promising moral theory that has been underestimated. (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)

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)

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)

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)

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)

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.

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)

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

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)

Using William Shakespeare’s Hamlet and the play-within-the play, The Murder of Gonzago, as a case study, this essay argues that theatrical utterances constitute a special case of language usage not previously elucidated: the utterance of a statement with propositional content in theatre functions as an event. In short, the propositional content of a particular p (e.g. p1, p2, p3 …), whether or not it is true, is only understood—and understood to be true—if p1 is uttered in a particular time, place, (...) and situation (i.e. during a theatrical event); otherwise, the propositional content in those theatrical utterances can either be false or contingently true. (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 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)

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)

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.

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.

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)

I present an argument that propositional attitudes are not mental states. In a nutshell, the argument is that if propositional attitudes are mental states, then only minded beings could have them; but there are reasons to think that some non-minded beings could bear propositional attitudes. To illustrate this, I appeal to cases of genuine group intentionality. I argue that these are cases in which some group entities bear propositional attitudes, but they are not subjects of mental states. Although propositional attitudes (...) are not mental states, I propose that they are typically co-instantiated with mental states. In an attempt to explain this co-instantiation, I suggest that propositional attitudes of minded beings are typically realized by mental states. (shrink)

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

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)

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)

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)

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)

The anime phenomenon conquers the world through the wise philosophy and mesmerizing art style that it combines, gaining a growing number of fans from all over the world and of all ages. The effect of anime on the mentality of fans is becoming easier to notice. Religious truths are presented extremely relatively and diverse in anime, and this causes, over time, a change in the mentality of societies. This article discusses and exemplifies how religious relativization is influenced and sustained by (...) anime in the post-truth era. To reinforce the ideas exposed, there are presented interviews with anime fans from several countries, whose answers are interpreted functionally and framed theoretically. How does such a media product affect religions, since its fandom has grown? Is there any way that this relativization sustained by anime helps religion and the world as a whole? (What) is the press reporting on these things? (shrink)