The paper contains a critical analysis of pluripropositionalism (or: multiple proposition approach), the view defended in recent years by authors such as Eros Corazza, Kepa Korta and John Perry.

A ‘multiple-proposition phenomenon’ is a putative counterexample to the widespread implicit assumption that a simple indicative sentence semantically expresses at most one proposition. Several philosophers and linguists have recently developed hypotheses concerning this notion. The guiding questions motivating this research are: Is there an interesting and homogenous semantic category of MP phenomena? If so, what is the import? Do MP theories have any relevance to important current questions in the study of language? I motivate an affirmative answer to, and (...) then argue that MP theorizing is quite relevant to debates at the semantics/ pragmatics interface. (shrink)

The paper argues that colouring is a conventional ingredient of literal meaning characterized by a considerable degree of semantic under-determination and a high degree of context-sensitivity. The positive, though tentative, suggestion made in the paper is that whereas in the case of words such as "but" and "damn" we are dealing with words lacking in specificity, in the case of pejoratives in general, and racist jargon in particular, we are dealing with words that express concepts that purport to describe the (...) world as being in a certain way. The circumstance that in certain contexts of utterance colouring can be cancelled out, does not show that it forms a detachable part of a word's literal meaning. It only shows that to account for the interplay between context, literal meaning and assertoric content is much trickier than meets the eye. (shrink)

Contextualism about many expressions faces a common objection: in some discourses it appears that there is no single interpretation which can explain how a speaker is justified in making her assertion and how a hearer with different information or standards is justified in negatively evaluating what the speaker said. According to the Multiple Proposition Strategy , contextualists may attempt to explain these competing features pragmatically in terms of different propositions in play. In this paper I argue against the (...) Multiple Proposition Strategy, first focusing on epistemic modals and then generalising the results to other expressions. I show how when purportedly contextualist terms are embedded in belief reports, we get similar problems but that the Multiple Proposition Strategy does not provide a satisfactory explanation of such cases. I suggest, therefore, that we reject the Multiple Proposition Strategy in favour of a theory that explains the unembedded and embedded cases in similar ways. (shrink)

I model sequential decisions over multiple interconnected propositions and investigate path-dependence in such decisions. The propositions and their interconnections are represented in propositional logic. A sequential decision process is path-dependent if its outcome depends on the order in which the propositions are considered. Assuming that earlier decisions constrain later ones, I prove three main results: First, certain rationality violations by the decision-making agent—individual or group—are necessary and sufficient for path-dependence. Second, under some conditions, path-dependence is unavoidable (...) in decisions made by groups. Third, path-dependence makes decisions vulnerable to strategic agenda setting and strategic voting. I also discuss escape routes from path-dependence. My results are relevant to discussions on collective consistency and reason-based decision-making, focusing not only on outcomes, but also on underlying reasons, beliefs, and constraints. (shrink)

It is argued that propositions cannot be the compositional semantic values of sentences (in context) simply due to issues stemming from the compositional semantics of modal operators (or modal quantifiers). In particular, the fact that the arguments for double indexing generalize to multiple indexing exposes a fundamental tension in the default philosophical conception of semantic theory. This provides further motivation for making a distinction between two sentential semantic contents—what (Dummett 1973) called “ingredient sense” and “assertoric content”.

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

Drawing on the so-called “doctrinal paradox”, List and Pettit (2002) have shown that, given an unrestricted domain condition, there exists no procedure for aggregating individual sets of judgments over multiple interconnected propositions into corresponding collective ones, where the procedure satisfies some minimal conditions similar to the conditions of Arrow’s theorem. I prove that we can avoid the paradox and the associated impossibility result by introducing an appropriate domain restriction: a structure condition, called unidimensional alignment, is shown to open (...) up a possibility result, similar in spirit to Black’s median voter theorem. Specifically, I prove that, given unidimensional alignment, propositionwise majority voting is the unique procedure for aggregating individual sets of judgments into collective ones in accordance with the above mentioned minimal conditions. (shrink)

The more we rely on digital assistants, online search engines, and AI systems to revise our system of beliefs and increase our body of knowledge, the less we are able to resort to some independent criterion, unrelated to further digital tools, in order to asses the epistemic reliability of the outputs delivered by them. This raises some important questions to epistemology in general and pressing questions to applied to epistemology in particular. In this paper, we propose an experimental method for (...) the assessment of GPT-3’s capacity to generate consistent and coherent sets of outputs. When several outputs to one and the same input are very repetitive they tend to be consistent with each other, that is they do not contradict each other. But consistency does not make the set of outputs as a whole more informative than the outputs considered individually. We argue that the less informative a set of outputs is, the less coherent it is. We establish a conceptual distinction between consistency and coherence in the light of what some epistemologists refer to as a coherence theories of truth and justification. While much attention has been given to GPT-3’s capacity to produce internally coherent individual outputs, we argue, instead, that more attention should be given to its capacity to produce consistent and coherent outputs generated on a single-input-multiple-outputs basis. (shrink)

Book Review: Samuel Lebens (2017) "Bertrand Russell and the Nature of Propositions: a History and Defense of the Multiple Relation Theory of Judgement".

Identification of propositions as the core of attitudes and beliefs (De Houwer, 2014) has resulted in the development of implicit measures targeting personal evaluations of complex sentences (e.g., the IRAP or the RRT). Whereas their utility is uncontested, these paradigms are subject to limitations inherent in their block based design, such as allowing assessment of only a single belief at a time. We introduce the Propositional Evaluation Paradigm (PEP) for assessment of multiple propositional beliefs within a single experimental (...) block. Two experiments provide first evidence for the PEP’s validity. In Experiment 1 endorsement of racist beliefs measured with the PEP was related to criterion variables such as explicit racism assessed via questionnaire and indicators of behavioral tendencies. Experiment 2 indicates that the PEP’s implicit racism scores may predict actual behavior over and above explicit, self-report measures. Finally, Experiment 3 tested the PEP's applicability in the domain of hiring discrimination. Whereas general PEP based gender stereotypes were not related to hiring bias, results suggest a possible role of female stereotypes in hiring discrimination. In the context of these findings, we discuss both the potential and possible challenges in adopting the PEP to different beliefs. In sum, these initial findings suggest that the PEP may offer researchers a reliable and easily administrable option for the indirect assessment of propositional evaluations. (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)

A common misconception among logicians is to think that intuitionism is necessarily tied-up with single conclusion calculi. Single conclusion calculi can be used to model intuitionism and they are convenient, but by no means are they necessary. This has been shown by such influential textbook authors as Kleene, Takeuti and Dummett, to cite only three. If single conclusions are not necessary, how do we guarantee that only intuitionistic derivations are allowed? Traditionally one insists on restrictions on particular rules: implication right, (...) negation right and universal quantification right are required to be single conclusion rules. In this note we show that instead of a cardinality restriction such as one-conclusion-only, we can use a notion of dependency between formulae to enforce the constructive character of derivations. The system we obtain, called FIL for full intuitionistic logic, satisfies basic properties such as soundness, completeness and cut elimination. We present two motivating applications of FIL and discuss some future work. (shrink)

We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. (...) We consider and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (shrink)

The most common account of attitude reports is the relational analysis according towhich an attitude verb taking that-clause complements expresses a two-placerelation between agents and propositions and the that-clause acts as an expressionwhose function is to provide the propositional argument. I will argue that a closerexamination of a broader range of linguistic facts raises serious problems for thisanalysis and instead favours a Russellian `multiple relations analysis' (which hasgenerally been discarded because of its apparent obvious linguistic implausibility).The resulting account (...) can be given independent philosophical motivations within anintentionalist view of truth and predication. (shrink)

L'histoire philosophique montre, ou au moins suggère, que toute remise en cause de l'Un s'est accompagnée d'une mise en ordre, et que tout ébranlement de l'ordre s'est achevé en réduction unitaire. Ce balancement se déploie de la métaphysique jusqu'à l'épistémologie. Pour des raisons différentes et avec des méthodes disjointes, Derrida et Goodman ont, chacun, ébranlé l'un des deux piliers qui sous-tendent l'essentiel de la tradition philosophique. Derrida, par le jeu subtil de la différance, a fait vaciller la vaste entreprise de (...) mise en ordre. Goodman, par la profusion de mondes construits et irréductibles les uns aux autres, remet en cause l'aspiration à l'unité. Notre hypothèse consiste à supposer que la mise en échec - si tant est qu'elle soit possible - du diktat de l'unité demande à être pensée conjointement avec la ruine du primat de la mise en ordre. Utilisées à cette fin (qui n'est pas la seule signifiante), les propositions de Goodman et de Derrida, qui charrient les scories de deux longues traditions réputées indépendantes voire antagonistes, bénéficieraient sans doute d'une exploration synchrone. Mais c'est d'abord à la vérité qu'il faudra faire face. Commencer par ce qui aurait dû être l'achèvement. La vérité en tant que garde-fou et en tant que produit de la pensée qui la fonde et s'y confronte. Il s'agit d'ouvrir une brèche dans les obsessions de cette tradition philosophique qui, aussi riche et foisonnante fût-elle, demeure une coupe et donc une incise dans les possibles du réel qu'elle explore et invente. (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)

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.

Since Sun-Joo Shin's groundbreaking study (2002), Peirce's existential graphs have attracted much attention as a way of writing logic that seems profoundly different from our usual logical calculi. In particular, Shin argued that existential graphs enjoy a distinctive property that marks them out as "diagrammatic": they are "multiply readable," in the sense that there are several di erent, equally legitimate ways to translate one and the same graph into a standard logical language. Stenning (2000) and Bellucci and Pietarinen (2016) have (...) retorted that similar phenomena of multiple readability can arise for sentential notations as well. Focusing on the simplest kinds of existential graphs, called alpha graphs (AGs), this paper argues that multiple readability does point to important features of AGs, but that both Shin and her critics have misdiagnosed its source. As a preliminary, and because the existing literature often glosses over such issues, we show that despite their non-linearity, AGs are uniquely parsable and allow for inductive de nitions. Extending earlier discussions, we then show that that in principle, all propositional calculi are multiply readable, just like AGs: contrary to what has been suggested in the literature, multiple readability is linked neither to non-linearity nor to AGs' dearth of connectives. However, we argue that in practice, AGs are more amenable to multiple readability than our usual notations, because the patterns that one needs to recognize to multiply translate an AG form what we call complex symbols, whose structural properties make it easy to perceive and process them as units. Nevertheless, we show that such complex symbols, though largely absent from our usual notations, are not inherently diagrammatic and can be found in seemingly sentential languages. Hence, while ultimately vindicating Shin's idea of multiple readability, our analysis traces it to a di erent source and thus severs its link with diagrammaticity. (shrink)

The paper presents a ‘multiple agent’ logic where formulas are pairs of the form, made of a proposition and a subset of agents. The formula is intended to mean ‘ all agents in believe that is true’. The formal similarity of such formulas with those of possibilistic logic, where propositions are associated with certainty levels, is emphasised. However, the subsets of agents are organised in a Boolean lattice, while certainty levels belong to a totally ordered scale. The semantics (...) of a set of ‘multiple agent’ logic formulas is expressed by a mapping which associates a subset of agents with each interpretation. Soundness and completeness results are established. Then a joint extension of the multiple agent logic and possibilistic logic is outlined. In this extended logic, propositions are then associated with both sets of agents and certainty levels. A formula then expresses that ‘all agents in set believe that is true at least at some level’. The semantics is then given in terms of fuzzy sets of agents that find an interpretation more or less possible. A specific feature of possibilistic logic is that the inconsistency of a knowledge base is a matter of degree. The proposed setting enables us to distinguish between the global consistency of a set of agents and their individual consistency. In particular, given a set of multiple agent possibilistic formulas, one can compute the subset of agents that are individually consistent to some degree. (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)

The problem of approximating a propositional calculus is to find many-valued logics which are sound for the calculus (i.e., all theorems of the calculus are tautologies) with as few tautologies as possible. This has potential applications for representing (computationally complex) logics used in AI by (computationally easy) many-valued logics. It is investigated how far this method can be carried using (1) one or (2) an infinite sequence of many-valued logics. It is shown that the optimal candidate matrices for (1) can (...) be computed from the calculus. (shrink)

Russell's 1913 manuscript Theory of Knowledge was not published until 1984. He supposedly abandoned the main part of the manuscript, while publishing the first six chapters as articles in The Monist, due to Wittgenstein's criticisms of his “multiple relation” analysis of belief. There have been numerous unsuccessful and erroneous attempts to interpret the manuscript, including those of D. Pears and G. Landini. The paper explores the Russell‐Wittgenstein “controversy” and shows the radical way Russell altered his earlier versions of his (...) analysis of belief and the connections the changes had to his new, and very important, analyses of relational order, of truth as correspondence, and of propositions. Russell's analysis of relational order reveals the first recognition by a correspondence theorist of a fundamental problem the correspondence theory faces as well as a long overlooked and unappreciated application Russell made of his theory of definite descriptions. (shrink)

Following Russell, philosophers like Moltmann, Jubien, Boër, and Newman analyse ‘John believes that Mary is French’ as ‘R ’, instead of analysing it as ‘R ’. Thus, for these philosophers, instead of relations holding between agents and truth-bearing entities, propositional attitude verbs, like ‘belief’, express relations holding between agents and the properties and objects our thoughts and speech acts are about. This is also known as the Multiple Relation Theory. In this paper, I will discuss the Multiple Relation (...) Theory primarily in connection with a problem known as Schiffer’s puzzle. Schiffer first presented the puzzle to argue against the so called direct-reference theory of belief reports advocated, among others, by Salmon and Braun. I will argue that, unlike the direct-reference theory of belief reports, the Multiple Relation Theory does not provide a solution to Schiffer’s puzzle. In this connection, I will also discuss a slight modification of the Multiple Relation Theory according to which the ways the properties and objects our thoughts and speech acts are about are presented to us are part of the truth-conditions of sentences like ‘John believes that Mary is French’. We will see that prima facie such a contextualist version of the Multiple Relation Theory provides a solution to Schiffer’s puzzle. However, concluding, I will argue with new Schiffer cases that, ultimately, also a contextualist version of the Multiple Relation Theory cannot explain all instances of Schiffer’s puzzle. This will undermine the Multiple Relation Theory in general. (shrink)

The paper introduces a semantics for the language of propositional additive-multiplicative linear logic. It understands formulas as tasks that are to be accomplished by an agent (machine, robot) working as a slave for its master (user, environment). This semantics can claim to be a formalization of the resource philosophy associated with linear logic when resources are understood as agents accomplishing tasks. I axiomatically define a decidable logic TSKp and prove its soundness and completeness with respect to the task semantics in (...) the following intuitive sense: iff can be accomplished by an agent who has nothing but its intelligence (that is, no physical resources or external sources of information) for accomplishing tasks. (shrink)

In this paper, we discuss three probabilistic arguments for the existence of multiple universes. First, we provide an analysis of total evidence and use that analysis to defend Roger White's "this universe" objection to a standard fine-tuning argument for multiple universes. Second, we explain why Rodney Holder's recent cosmological argument for multiple universes is unconvincing. Third, we develop a "Cartesian argument" for multiple universes. While this argument is not open to the objections previously noted, we show (...) that, given certain highly plausible assumptions about evidence and epistemic probability, the proposition which it treats as evidence cannot coherently be regarded as evidence for anything. This raises the question of whether to reject the assumptions or accept that such a proposition cannot be evidence. (shrink)

Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions. Characterizations are given for pairs of isomorphic formulae, which lead to decision procedures for this isomorphism.

In line with the Principle of Uniform Solution, Graham Priest has challenged advocates like myself of the “multiple-meanings” solution to the paradoxes of truth and knowledge, due to the medieval logician Thomas Bradwardine, to extend this account to a similar solution to the paradoxes of denotation, such as Berry’s, König’s and Richard’s. I here rise to this challenge by showing how to adapt Bradwardine’s principles of truth and signification for propositions to corresponding principles of denotation and signification for (...) descriptive phrases, applying them to give a “multiple-meanings” solution to the denotational paradoxes. (shrink)

Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. This accounting is made possible by removing the ‘structural’ rules of contraction and weakening, adding a modal operator and adding finer versions of the propositional connectives. Linear logic has fundamental logical interest and applications to computer science, particularly to Petri nets, concurrency, storage allocation, garbage collection and the control structure of logic programs. In addition, there is a direct correspondence between polynomial-time computation (...) and proof normalization in a bounded form of linear logic. In this paper we show that unlike most other propositional logics, full propositional linear logic is undecidable. Further, we prove that without the modal storage operator, which indicates unboundedness of resources, the decision problem becomes PSPACE-complete. We also establish membership in NP for the multiplicative fragment, NP-completeness for the multiplicative fragment extended with unrestricted weakening, and undecidability for fragments of noncommutative propositional linear logic. (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)

This chapter argues that epistemologists should replace a “standard alternatives” picture of knowledge, assumed by many fallibilist theories of knowledge, with a new “multipath” picture of knowledge. The chapter first identifies a problem for the standard picture: fallibilists working with this picture cannot maintain even the most uncontroversial epistemic closure principles without making extreme assumptions about the ability of humans to know empirical truths without empirical investigation. The chapter then shows how the multipath picture, motivated by independent arguments, saves fallibilism (...) from this problem. The multipath picture is based on taking seriously the idea that there can be multiple paths to knowing some propositions about the world. An overlooked consequence of fallibilism is that these multiple paths to knowledge may involve ruling out different sets of alternatives, which should be represented in a fallibilist picture of knowledge. The chapter concludes by considering inductive knowledge and strong epistemic closure from this multipath perspective. (shrink)

Beliefs have what I will call ‘propositional content’. A belief is always a belief that so-and-so: a belief that grass is green, or a belief that snow is white, or whatever. Other things have propositional content too, such as sentences, judgments and assertions. The Standard View amongst philosophers is that what it is to have a propositional content is to stand in an appropriate relation to a proposition. Moreover, on this view, propositions are objects, i.e. the kind of thing (...) you can refer to with singular terms. For example, on the Standard View, we should parse the sentence ‘Simon believes that Sharon is funny’ as: [Simon] believes [that Sharon is funny]; ‘Simon’ is a term referring to a thinking subject, ‘that Sharon is funny’ is a term referring to a proposition, and ‘x believes y’ is a dyadic predicate expressing the believing relation. In this paper, I argue against the Standard View. This is how I think we should parse ‘Simon believes that Sharon is funny’: [Simon] believes that [Sharon is funny]; here we have a singular term, ‘Simon’, a sentence ‘Sharon is funny’, and a ‘prenective’ joining them together, ‘x believes that p’. On this Prenective View, we do not get at the propositional content of someone’s belief by referring to a reified proposition with a singular term; we simply use the sentence ‘Sharon is funny’ to express that content for ourselves. I argue for the Prenective View in large part by showing that an initially attractive version of the Standard View is actually vulnerable to the same objection that Wittgenstein used against Russell’s multiple-relation theory of judgment. (shrink)

This paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, (...) fine-grained structures. I identify propositions with particular kinds of molecular procedures containing multiple sub-procedures as parts. Procedures are among the basic entities of my ontology, while propositions are derived entities. The core of a structured proposition is the procedure of predication, which is an instance of the procedure of functional application. The main thesis I defend is that procedurally conceived propositions are their own unifiers detailing how their parts interact so as to form a unit. They are not unified by one of their constituents, e.g., a relation or a sub-procedure, on pain of regress. The relevant procedural semantics is Transparent Intensional Logic, a hyperintensional, typed λ-calculus, whose λ-terms express four different kinds of procedures. While demonstrating how the theory works, I place my solution in a wider historical and systematic context. (shrink)

Some people have supposed that utility is good in itself, non-in-strumentally good, as distinct from good because conducive to other good things. And in modern versions of this view, utility often means want-satisfaction, as distinct from pleasure or happiness. For your want that p to be satisfied, is it necessary that you know or believe that p, or sufficient merely that p is true? However that question is answered, there are problems with the view that want-satisfaction is a non-instrumental good. (...) What if you want something only because you have a false belief? What if the time at which you want that p is fifty or five hundred years before the time to which p itself refers? To meet these difficulties, qualifications have to be introduced, and much has been written about how exactly these qualifications are to be framed.1 There is however what may be a rather more serious objection to the view that want-satisfaction is a non-instrumental good, or rather to the combination of that view with the principle that it is sufficient for your want that p to be satisfied simply that p is true. The objection is that this combination forces you to give undue weight to the mere acquisition of desires when you come to make judgements about changes in the value of things. It forces you to say that for any true proposition p, which initially you do not want to be true, your mere acquisition of a desire that p will, other things being equal, make the world better. Non-instrumental value can be increased merely by multiplying desires, even though everything else remains the same. Surely, however, improving the world is not as easy as that. (shrink)

Pluralism about truth is the view that there is more than one way for a proposition to be true. When taken to imply that there is more than one concept and property of truth, this position faces a number of troubling objections. I argue that we can overcome these objections, and yet retain pluralism's key insight, by taking truth to be a multiply realizable property of propositions.

Reductionist realist accounts of certain entities, such as the natural numbers and propositions, have been taken to be fatally undermined by what we may call the problem of arbitrary identification. The problem is that there are multiple and equally adequate reductions of the natural numbers to sets (see Benacerraf, 1965), as well as of propositions to unstructured or structured entities (see, e.g., Bealer, 1998; King, Soames, & Speaks, 2014; Melia, 1992). This paper sets out to solve the (...) problem by canvassing what we may call the arbitrary reference strategy. The main claims of such strategy are 2. First, we do not know which objects are the referents of proposition and numerical terms since their reference is fixed arbitrarily. Second, our ignorance of which object is picked out as the referent does not entail that no object is referred to by the relevant expression. Different articulations of the strategy are assessed, and a new one is defended. (shrink)

Questions with a quantificational subject have readings that seemingly involve quantification into questions (called ‘QiQ’ for short). In particular, in single-wh questions with a universal quantifier, QiQ-readings call for pair-list answers, similar to pair-list readings of multiple-wh questions. This paper unifies the derivation of QiQ-readings and distinguishes QiQ-readings from pair-list readings of multiple-wh questions. I propose that pair-list multiple-wh questions and QiQ-questions both involve a wh-dependency, namely, that the wh-/quantificational subject stands in a functional dependency with the (...) trace of the wh-object. In particular, in a pair-list multiple-wh question, the wh-subject binds into the trace of the wh-object across an identity operator; in a QiQ-question, the quantificational subject binds into the trace of the wh-object across a predication operator. These operations give rise to distinct definedness requirements, which vary with the quantificational force of the wh-/quantificational subject. The proposed analysis explains a contrast in domain exhaustivity between the pair-list readings of multiple-wh questions and questions with a universal quantifier, while also doing justice to the intuitive similarities between these two types of questions. I further propose that the observed QiQ-effect in a QiQ-question is derived by extracting one of the minimal proposition sets that satisfy the aforementioned quantificational predication condition. The values of these sets determine whether the QiQ-reading is available and whether a QiQ-question admits pair-list answers and/or has a choice flavor. (shrink)

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

Linguistic meaning underdetermines what is said. This has consequences for philosophical accounts of meaning, communication, and propositional attitude reports. I argue that the consequence we should endorse is that utterances typically express many propositions, that these are what speakers mean, and that the correct semantics for attitude reports will handle this fact while being relational and propositional.

In this paper, I defend the heterogeneity problem for sensitivity accounts of knowledge against an objection that has been recently proposed by Wallbridge in Philosophia. I argue in, 479–496, 2015) that sensitivity accounts of knowledge face a heterogeneity problem when it comes to higher-level knowledge about the truth of one’s own beliefs. Beliefs in weaker higher-level propositions are insensitive, but beliefs in stronger higher-level propositions are sensitive. The resulting picture that we can know the stronger propositions without (...) being in a position to know the weaker propositions is too heterogeneous to be plausible. Wallbridge objects that there is no heterogeneity problem because beliefs in the weaker higher-level propositions are also sensitive. I argue against Wallbridge that the heterogeneity problem is not solved but only displaced. Only some beliefs in the weaker higher-level propositions are sensitive. I conclude that the heterogeneity problem is one of a family of instability problems that sensitivity accounts of knowledge face and that Wallbridge’s account raises a further problem of this kind. (shrink)

I claim that Wittgenstein’s reference to Hertz’s “dynamical models” at 4.04 in the Tractatus provides evidence for the view that the Tractatus does not explain the sense of propositions by offering an account of the fundamental structure of reality. Just as Hertz’s dynamical models capture what all mechanical descriptions of the same system have in common, so Tractarian analysis captures what all propositions that express the same sense have in common, and in neither case is there a need (...) to appeal to an underlying ontology. (shrink)

The theory of rough sets starts with the notion of an approximation space , which is a pair ( U , R ), U being the domain of discourse, and R an equivalence relation on U . R is taken to represent the knowledge base of an agent, and the induced partition reflects a granularity of U that is the result of a lack of complete information about the objects in U . The focus then is on approximations of concepts (...) on the domain, in the context of the granularity. The present article studies the theory in the situation where information is obtained from different sources. The notion of approximation space is extended to define a multiple-source approximation system with distributed knowledge base , which is a tuple , where N is a set of sources and P ranges over all finite subsets of N . Each R P is an equivalence relation on U satisfying some additional conditions, representing the knowledge base of the group P of sources. Thus each finite group of sources and hence individual source perceives the same domain differently (depending on what information the group/individual source has about the domain), and the same concept may then have approximations that differ with the groups. In order to express the notions and properties related with rough set theory in this multiple-source situation, a quantified modal logic LMSAS D is proposed. In LMSAS D , quantification ranges over modalities, making it different from modal predicate logic and modal logic with propositional quantifiers. Some fragments of LMSAS D are discussed and it is shown that the modal system KTB is embedded in LMSAS D . The epistemic logic is also embedded in LMSAS D , and cannot replace the latter to serve our purpose. The relationship of LMSAS D with first and second-order logics is presented. Issues of expressibility, axiomatization and decidability are addressed. (shrink)

Resumen Según la teoría cognitivista, las proposiciones son tipos de actos predicativos, y un agente lleva a cabo una predicación cada vez que juzga o asevera algo. Ahora bien, la versión predominante de dicha teoría establece que el juicio es una actitud cognitiva hacia un contenido proposicional genuino, lo que significa que se lo entiende como una relación dual entre un agente y una proposición. Tras mostrar algunos problemas con esta versión, argumentaré a favor de una teoría cognitivista de las (...) proposiciones en la que el juicio se entiende como una relación múltiple entre un agente y entidades del mundo tales como objetos, propiedades y relaciones.According to cognitive theory, propositions are types of predicative acts, and an agent performs a predication every time she judges or asserts something. Now, the prevailing version of such a theory states that judgement is a cognitive attitude toward a genuine propositional content, which means that it is seen as a dual relation between an agent and a proposition. After showing some troubles with this version, I will argue for a cognitive theory of propositions in which judgement is seen as a multiple relation between an agent and worldly entities such as objects, properties and relations. (shrink)

We prove that for sufficiently large N, there are tautologies of size O that require proofs containing Ω lines in axiomatic systems of propositional logic based on axioms and the rule of substitution for single variables. These tautologies have proofs with O lines in systems with the multiple substitution rule.