Provides a comprehensive overview and introduction to the Routledge Handbook of Propositions.

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.

This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

The paper argues -- against the standard view in metaphysics -- that the existence of ordinary objects like tomatoes is (near-enough) established by the fact that such things are apparently encountered in perception.

Queremos neste ensaio caracterizar de modo introdutório o essencial do legado de Gottlob Frege para a Filosofia da Linguagem contemporânea, identificando e caracterizando os traços distintivos mais genéricos de uma teoria do significado (ou conteúdo semântico) inspirada nas suas ideias seminais e contrastando-a com outras concepções actuais influentes acerca do significado, em especial as posições sobre o conteúdo singular (conteúdo expresso por nomes próprios e outros termos singulares) remotamente inspiradas em ideias de John Stuart Mill.

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)

Can humans and artificial intelligences share concepts and communicate? Making AI Intelligible shows that philosophical work on the metaphysics of meaning can help answer these questions. Herman Cappelen and Josh Dever use the externalist tradition in philosophy to create models of how AIs and humans can understand each other. In doing so, they illustrate ways in which that philosophical tradition can be improved. The questions addressed in the book are not only theoretically interesting, but the answers have pressing practical implications. (...) Many important decisions about human life are now influenced by AI. In giving that power to AI, we presuppose that AIs can track features of the world that we care about (for example, creditworthiness, recidivism, cancer, and combatants). If AIs can share our concepts, that will go some way towards justifying this reliance on AI. This ground-breaking study offers insight into how to take some first steps towards achieving Interpretable AI. (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)

According to the Dependency Theory, truth asymmetrically depends on the world, in the following sense: true propositions are true because the world makes them true. The Dependency Theory strikes many philosophers as incontrovertible, but in this paper I reject it. I begin by presenting a problem for the Dependency Theory. I then develop an alternative to the Dependency Theory which avoids that problem. This alternative is an immodest Identity Theory of Truth, and I end the paper by responding to Dodd’s (...) charge that immodest Identity Theories are incoherent. (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)

In a recent article, Hofweber presents a new, and surprising, argument for idealism. His argument is surprising because it starts with an apparently innocent premiss from the philosophy of language: that ‘that’-clauses do not refer. I do not think that Hofweber's argument works, and my first aim in this paper is to explain why. However, I agree with Hofweber that what we say about ‘that’-clauses has important metaphysical consequences. My second aim is to argue that, far from leading us into (...) idealism, denying that ‘that’-clauses refer is the first step toward a kind of direct realism about belief. (shrink)

Many Russellians endorse the theses that propositions (i) are structured, (ii) have logical forms, (iii) have objects they are directly about as constituents, (iv) cannot exist without their constituents and (v) exist contingently. In his Propositions, Merricks argues against (i)-(v). I respond to his arguments.

The paper reviews the central components of the cognitive theory of propositions and explains both its empirical advantages for theories of language and mind and its foundational metaphysical and epistemological advantages over other theories. It then answers a leading objection to the theory, before closing by raising the issue of how questions, which are the contents of interrogative sentences, and directives, which are the contents of imperative sentences, are related to propositions.

Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...) as well as on the metaphysics of modality. (shrink)

Andrew Torrance has recently argued that we can distinguish analytic theology from analytic philosophy of religion if we understand theology as, fundamentally, a scientific enterprise. However, this distinction holds only if philosophy of religion is not itself a science in the sense intended by Torrance. I argue that philosophy of religion is a science in this sense, and so, that Torrance cannot distinguish theology from philosophy of religion in the way suggested. Nevertheless, I offer two alternative routes to the distinction (...) based on the nature of the respective objects of study in theology and philosophy of religion. Thus, I demonstrate that there is a coherent model available to Torrance which preserves the distinction he seeks. (shrink)

Anderson and Welty have recently advanced an argument for the claim that the laws of logic are ontologically dependent upon a necessarily existent mind, i.e. God. In this paper I argue that a key premise of Anderson and Welty’s argument—viz., a premise which asserts that \(x\) is intrinsically intentional only if \(x\) is mind-dependent—is false, for on a broadly Fregean account of propositions, propositions are intrinsically intentional but not mind-dependent.

Peter Hanks and Scott Soames both defend pragmatic solutions to the problem of the unity of the proposition. According to them, what ties together Tim and baldness in the singular proposition expressed by ‘Tim is bald’ is an act of the speaker : the act of predicating baldness of Tim. But Soames construes that act as force neutral and noncommittal while, for Hanks, it is inherently assertive and committal. Hanks answers the Frege–Geach challenge by arguing that, in complex sentences, the (...) force inherent in the content of an embedded sentence is cancelled. Indrek Reiland has recently objected to Hanks’s proposal that it faces a dilemma: either force cancellation dissolves the unity of the proposition secured by the cancelled act of assertion, or Hanks’s proposal reduces to Soames’s. In this paper, I respond to Reiland by offering an analysis of force cancellation which gets rid of the alleged dilemma. The proposal is based on a set of distinctions from speech act theory : between two senses of ’force’, two types of act, and two types of context. The role of simulation in force cancellation is emphasized, and connections drawn to broader issues such as the evolution of complex language. (shrink)

Davidson conjectured that suitably formulated Tarski-style theories of truth can “do duty” as theories of meaning for the spoken languages that humans naturally acquire. But this conjecture faces a pair of old objections that are, in my view, fatal when combined. Foster noted that given any theory of the sort Davidson envisioned, for a language L, there will be many equally true theories whose theorems pair endlessly many sentences of L with very different specifications of whether or not those sentences (...) are true. And if L includes words ‘true’, then for reasons stressed by Tarski, it’s hard to see how any truth theory for L could be correct. Moreover, each of these concerns amplifies the other. Appealing to possible worlds will not help with Foster’s Problem, for reasons that Chomsky discussed in the 1950s, and appealing to trivalent models of truth will not avoid concerns illustrated with Liar Sentences. (shrink)

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

Structured propositions are often invoked to explain why intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. As the semantics is standardly developed—for example, in Salmon, Soames :47–87, 1987) and King :516–535, 1995), the semantic value of a complex expression is an ordered complex consisting of the semantic values of its components. Such views, however, trivialize semantic composition since they do not allow for independent constraints on the meaning of complexes. Trivializing semantic composition risks “trivializing semantics” Semantics versus (...) pragmatics, Oxford University Press, Oxford, 2005). Yet, proponents of structured propositions suggest a route to reimpose substantive compositionality. While the mapping from a sentence to the structured proposition it expresses is trivially compositional, there is a non-trivial mapping from the structured proposition to its truth-value. This non-trivial level of semantic composition allows the meanings assigned to complex expressions to impose substantive constraints on the meanings of the simple ones. I first articulate the basic desiderata: an account of structured propositions capable of explaining attitude attributions and of delivering a non-trivially compositional semantics. I then show that the two-stage semantics proposed by standard proponents of structured propositions does not satisfy these joint goals. (shrink)

Jeffrey King argues that nothing has truth conditions except by being taken to be true or false by rational agents. But – for good reason – King claims that propositions possess truth conditions essentially and intrinsically. I will argue that King cannot have both: if the truth conditions of a proposition depend on the reactions of rational agents, then the possession of truth conditions can't follow from the intrinsic nature or existence of the proposition. This leaves two options. Either, nothing (...) can do the job that motivates positing propositions. Or, there is no need to explain what bestows a truth condition on a proposition. (shrink)

This paper exposits and makes steps towards solving a puzzle about epistemic value. The puzzle is that several principles about the epistemic value of true beliefs and epistemic disvalue of false beliefs are, individually, plausible but, collectively, contradictory. My solution claims that sometimes false beliefs are epistemically valuable. I nonetheless show how my solution is not in deep tension with the Jamesian idea that true beliefs are epistemically valuable and false beliefs are epistemically disvaluable. I conclude by indicating how the (...) results here are relevant to formulating and defending Veritism. (shrink)

This paper is about the nature of conscious sensory properties. My initial thesis is that these properties should not be equated with representational properties. I argue that any such representationalist view is in danger of implying that conscious sensory properties are constituted by relations to propositions or other abstract objects outside space and time; and I add that, even if this implication can be avoided, the broadness of representational properties in any case renders them unsuitable to constitute conscious properties. In (...) place of the representational account, I then defend an equation of conscious sensory properties with intrinsic non‐relational properties of subjects, and I show how this view deals naturally with all the difficulties facing representationalism. I conclude by defending this non‐relational account of conscious experience against arguments from the ‘transparency’ and the ‘intrinsic intentionality’ of experience. (shrink)

The standard argument against ordered tuples as propositions is that it is arbitrary what truth-conditions they should have. In this paper we generalize that argument. Firstly, we require that propositions have truth-conditions intrinsically. Secondly, we require strongly equivalent truth-conditions to be identical. Thirdly, we provide a formal framework, taken from Graph Theory, to characterize structure and structured objects in general. The argument in a nutshell is this: structured objects are too fine-grained to be identical to truth-conditions. Without identity, there is (...) no privileged mapping from structured objects to truth-conditions, and hence structured objects do not have truth-conditions intrinsically. Therefore, propositions are not structured objects. (shrink)

In this paper, I argue that sentences that contain ‘omission’ tokens that appear to function as singular terms are meaningful while maintaining the view that omissions are nothing at all or mere absences. I take omissions to be fictional entities and claim that the way in which sentences about fictional characters are true parallels the way in which sentences about omissions are true. I develop a pragmatic account of fictional reference and argue that my fictionalist account of omissions implies a (...) plausible account of the metaphysics of omissions. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

Sometimes a proposition is ‘opaque’ to an agent: he doesn't know it, but he does know something about how coming to know it should affect his or her credence function. It is tempting to assume that a rational agent's credence function coheres in a certain way with his or her knowledge of these opaque propositions, and I call this the ‘Opaque Proposition Principle’. The principle is compelling but demonstrably false. I explain this incongruity by showing that the principle is ambiguous: (...) the term ‘know’ as it appears in the principle can be interpreted in two different ways, as either basic-know or super-know. I use this distinction to construct a plausible version of the principle, and then to similarly construct plausible versions of the Reflection Principle and the Sure-Thing Principle. (shrink)

On the most prominent account, understanding what was said is always propositional knowledge of what was said. I develop a more minimal alternative, according to which understanding is sometimes a distinctive attitude towards what was said—to a first approximation, entertaining what was said. The propositional knowledge account has been supported on the basis of its capacity to explain testimonial knowledge transmission. I argue that it is not so supported.

In this paper, I argue that Scott Soames’ theory of naturalized cognitive propositions faces a serious objection: there are true propositions for which NCP cannot account. More carefully, NCP cannot account for certain truths of mathematics unless it is possible for there to be an infinite intellect. For those who reject the possibility of an infinite intellect, this constitutes a reductio of NCP.

Je défends ici la nécessité, et ébauche une première version, d’une théorie iconique des propositions. Selon celle-ci, les propositions sont comme les objets de représentation, ou similaires à eux. Les propositions, suivant cette approche, sont des propriétés que l’esprit instancie lorsqu’il modélise le monde. Je connecte cette théorie aux récents développements de la littérature académique sur les propositions, ainsi qu’à une branche de recherches en sciences cognitives, qui explique certains types de représentations mentales en termes d’iconicité. I motivate the need (...) for, and then sketch, an iconic theory of propositions according to which propositions are like or similar to their objects of representation. Propositions on this theory are properties that the mind instantiates when it models the world. I connect the theory to recent developments in the propositions literature as well as to a strain of cognitive science that explains some kinds of mental representation in terms of iconicity. (shrink)

Soames's cognitive propositions are strings of acts to be performed by an agent, such as predicating a property of an individual. King takes these structured propositions to task for proliferating too easily. King's objection is based on an example that purports to show that three of Soames's propositions are really just one proposition. I translate the informally stated propositions King attributes to Soames into the intensional λ-calculus. It turns out that they are all β-equivalent to the proposition King claims Soames's (...) three propositions are identical to. I argue on philosophical grounds against identifying β-equivalent propositions. The reason is that β-conversion obliterates too many of the procedural distinctions that are central to an act-based theory such as Soames's and which are worth preserving. In fact, β-expansion allows the addition of a fifth proposition that highlights additional procedural distinctions and propositional structure. The welcome conclusion is that we have five procedurally distinct, if equivalent, propositions. (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)

Factive mental states, such as knowing or being aware, can only link an agent to the truth; by contrast, nonfactive states, such as believing or thinking, can link an agent to either truths or falsehoods. Researchers of mental state attribution often draw a sharp line between the capacity to attribute accurate states of mind and the capacity to attribute inaccurate or “reality-incongruent” states of mind, such as false belief. This article argues that the contrast that really matters for mental state (...) attribution does not divide accurate from inaccurate states, but factive from nonfactive ones. (shrink)

Sentences in context have semantic contents determined by a range of factors both internal and external to speakers. I argue against the thesis that semantic content is transparent to speakers in the sense of being immediately accessible to speakers in virtue of their linguistic competence.

Russellians can have a no proposition view of empty names. I will defend this theory against the problem of meaningfulness, and show that the theory is in general well motivated. My solution to the problem of meaningfulness is that speakers’ judgements about meaningfulness are tracking grammaticality, and not propositional content.

Hanks has defended a novel account of what propositions are. His key argument against Soames' rival view is that predication is not neutral. According to Hanks, predication is essentially committal. I show that Hanks' argument for this conclusion raises problems for his own account of questions and orders.

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.

Many philosophers believe in things, propositions, which are the things that we believe, assert etc., and which are the contents of sentences. The act-type theory of propositions is an attempt to say what propositions are, to explain how we stand in relations to them, and to explain why they are true or false. The core idea of the act-type theory is that propositions are types of acts of predication. The theory is developed in various ways to offer explanations of the (...) important properties of propositions. I present the core idea of the theory, and some developments of it. I discuss the relationship between the theory and the content–force distinction. I also present an important type of objection that has been raised to the explanations offered by the act-type theory. (shrink)

In Hanks I defend a theory of propositions that locates the source of propositional unity in acts of predication that people perform in thought and speech. On my account, these acts of predication are judgmental or assertoric in character, and they commit the speaker to things being the way they are represented to be in the act of predication. This leads to a problem about negations, disjunctions, conditionals, and other kinds of embeddings. When you assert that a is F or (...) b is G you do not assert that a is F, nor do you commit yourself to a’s being F. According to my theory, however, in uttering the disjunction you predicate F of a. What is going on? I account for these cases using the concept of cancellation. In uttering the disjunction, the act of predicating F of a is cancelled, and when an act of predication is cancelled it does not count as an assertion and does not commit the speaker to anything. But what is it for an act of predication to be cancelled? One immediate concern is that cancelled predication won’t provide a unified proposition to be the input to disjunction. In this paper I answer this and related objections by explaining and defending my concept of cancellation. (shrink)

Propositions represent the entities from which they are formed. This fact has puzzled philosophers and some have put forward radical proposals in order to explain it. This paper develops a primitivist account of the representational properties of propositions that centers on the operation of application. As we will see, this theory wins out over its competitors on grounds of strength, systematicity and unifying power.

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

© The Authors 2017. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For Permissions, please email: [email protected] of the central goals of Propositions is to argue that propositions exist. My plan for the following is to explore the options for Merricks’s opponents. I’m not sure whether, in the end, they have any entirely satisfactory strategy, but the discussion will still be of some interest. At least I hope to achieve some clarification of the initial (...) arguments of the book and to prompt Merricks to elaborate on a few issues. Before continuing, I should say that I found many other challenging arguments throughout the book as well as much to agree with. I focus on the first chapter due to its foundational status with respect to the rest of the book, but every chapter... (shrink)

Theories of propositions as sets of truth-supporting circumstances are committed to the thesis that sentences or other representations true in all and only the same circumstances express the same proposition. Theories of propositions as complex, structured entities are not committed to this thesis. As a result, structured propositions can play a role in our theories of language and thought that sets of truth-supporting circumstances cannot play. To illustrate this difference, I sketch a theory of transparent, non-deflationary truth consistent with some (...) theories of structured propositions, but inconsistent with any theory of propositions as sets of truth-supporting circumstances. (shrink)

Building on recent work by Delia Graff Fara and Ora Matushansky on appellative constructions like ‘Mirka called Roger handsome’, I argue that if Millianism about proper names is true, then the quantifier ‘something’ in ‘Mirka called Roger something’ is best understood as a kind of substitutional quantifier. Any adequate semantics for such quantifiers must explain both the logical behavior of ‘Mirka called Roger something’ and the acceptability of ‘so’-anaphora in ‘Mirka called Roger something, and everyone so called is handsome’. Millianism (...) about proper names is inconsistent with such quantifiers being standard non-substitutional second-order quantifiers. But this is not the only option for Millianism: I provide two different propositional semantics for substitutional quantification, each of which is adequate in the sense above, given Millianism. One of these is based on Tobias Rosefeldt’s work on non-nominal quantification, and I identify in what way Rosefeldt’s semantics is substitutional. (shrink)

The standard truth-conditional semantics for substitutional quantification, due to Saul Kripke, does not specify what proposition is expressed by sentences containing the particular substitutional quantifier. In this paper, I propose an alternative semantics for substitutional quantification that does. The key to this semantics is identifying an appropriate propositional function to serve as the content of a bound occurrence of a formula containing a free substitutional variable. I apply this semantics to traditional philosophical reasons for interest in substitutional quantification, namely, theories (...) of truth and ontological commitment. (shrink)

In this paper we take up the question of the explanatory significance of the notion of propositional content. Our first goal is to disentangle two types of approach: According to what we call inflationism, propositions should be taken seriously enough to expect explanatory payoffs from them. The alternative deflationary approach rejects this claim. Our second goal is to explore the inflationism vs. deflationism contrast in depth by focusing on the distinction between singular and general propositions. We argue that inflationism fails (...) and outline a variety of deflationism that offers the best prospects for explaining the singular/general divide. (shrink)