Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

Speakers are confused about identity if they mistake one thing for two or two things for one. I present two plausible models of confusion, the Frege model and the Millikan model. I show how a prominent objection to Fregean models fails and argue that confusion consists in having false implicit beliefs involving the identity relation. Further, I argue that confused identity has characteristic corruptive effects on singular cognition and on the proper function of singular terms in linguistic communication.

This paper addresses a certain objection to the quantificational theory of definite descriptions. According to this objection, the quantificational account cannot provide correct interpretations of definite descriptions embedded in the non-doxastic attitude ascriptions and therefore ought to be rejected. In brief, the objection says that the quantificational theory is committed to the view that a sentence of the form “The F is G” is equivalent to the claim that there is a unique F and it is G, while the ascription (...) such as, e.g., “S wants the F to be G” is not equivalent to the statement that S wants there to be a F and for it to be G. I argue that this objection is invalid as it rests on a false assumption concerning the substitutivity of the relative clauses in the non-doxastic attitude ascriptions. (shrink)

A central dispute in understanding Frege’s philosophy concerns how the sense of a complex expression relates to the senses of its component expressions. According to one reading, the sense of a complex expression is a whole built from the senses of the component expressions. On this interpretation, Frege is an early proponent of structured propositions. A rival reading says that senses compose by functional application: the sense of a complex expression is the value of the function denoted by its functional (...) component for the arguments denoted by its remaining components. I argue that two non-negotiable Fregean theses entail that senses compose by functional application. One thesis is that referents compose by functional application. The other thesis is that an expression in an indirect context refers to its customary sense. (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)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

The dominant account of propositions holds that they are structured entities that have, as constituents, the semantic values of the constituents of the sentences that express them. Since such theories hold that propositions are structured, in some sense, like the sentences that express them, they must provide an answer to what I will call Soames’ Question: “What level, or levels, of sentence structure does semantic information incorporate?”. As it turns out, answering Soames’ Question is no easy task. I argue in (...) this paper that the two most promising ways of answering it, the Logical Form Account and the LF Account, are both unsatisfactory. This result casts doubt on the very idea that propositions are structured. (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)

It is a common view among philosophers of language that both propositions and sentences are structured objects. One obvious question to ask about such a view is whether there is any interesting connection between these two sorts of structure. The author identifies two theses about this relationship. Identity (ID) – the structure of a sentence and the proposition it expresses are identical. Determinism (DET) – the structure of a sentence determines the structure of the proposition it expresses. After noting that (...) ID entails DET, the author argues against DET (and therefore also against ID). This argument is based on considerations to do with unarticulated constituents, but it is not ultimately empirical. As well as answering a question suggested by contemporary theories of propositions, the conclusion is significant because some, but not all, of the theories of propositions currently popular entail ID and/or DET. Unless there is a response to the argument here, those theories are refuted. (shrink)

Neo-Russellian theories of structured propositions face challenges to do with both representation and structure which are sometimes called the problem of unity and the Benacerraf problem. In §i, I set out the problems and Jeffrey King's solution, which I take to be the best of its type, as well as an unfortunate consequence for that solution. In §§ii–iii, I diagnose what is going wrong with this line of thought. If I am right, it follows that the Benacerraf problem cannot be (...) used to motivate the view that propositions are irreducible elements of our ontology. (shrink)

The aim of this paper is to relate the debate about the status of S4 and S5 as modal logics for metaphysical modality to the debate about the identity of propositions. The necessary truth of the characteristic axioms of S4 and S5 (when interpreted in terms of metaphysical modality) is derived from a view about the identity of propositions, the view that necessarily equivalent propositions are identical.

King develops a syntax-based account of propositions based on the idea that propositional unity is grounded in the syntactic structure of the sentence. This account faces two objections: a Benacerraf objection and a grain-size objection. I argue that the syntax-based account survives both objections, as they have been put forward in the existing literature. I go on to show, however, that King equivocates between two distinct notions of ‘propositional structure ’ when explaining his account. Once the confusion is resolved, it (...) is clear that the syntax-based account suffers from both Benacerraf and grain-size problems after all. I conclude by showing that King's account can be revised to avoid these problems, but only if it abandons its motivating idea that it is syntax that unifies the proposition. (shrink)

We have some justified beliefs about modal matters. A modal epistemology should explain what’s involved in our having that justification. Given that we’re realists about modality, how should we expect that explanation to go? In the first part of this essay, I suggest an answer to this question based on an analogy with games. Then, I outline a modal epistemology that fits with that answer. According to a theory-based epistemology of modality, you justifiably believe that p if you justifiably believe (...) a theory that says that p and you believe p on the basis of that theory. (shrink)

It is widely held that propositions are structured entities. In The Nature and Structure of Content (2007), Jeff King argues that the structure of propositions is none other than the syntactic structure deployed by the speaker/hearers who linguistically produce and consume the sentences that express the propositions. The present paper generalises from King’s position and claims that syntax provides the best in-principle account of propositional structure. It further seeks to show, however, that the account faces severe problems pertaining to the (...) fine individuation of propositions that the account entails. The ‘fineness of cut’ problem has been raised by Collins (The unity of linguistic meaning, 2007) and others. King (Philos Stud 163(3):763–781, 2013) responds to these complaints in ways this paper rebuts. Thus, the very idea of structured propositions is brought into doubt, for the best in-principle account of such structure appears to fail. (shrink)

In Jeffrey King’s theory of structured propositions, propositional structure mirrors the syntactic structure of natural language sentences that express it. I provide cases where this claim individuates propositions too finely across languages. Crucially, King’s paradigmatic proposition-fact ^that Dara swims^ cannot be believed by a monolingual Greek speaker, due to Greek syntax requiring an obligatory article in front of proper names. King’s two possible replies are: (i) to try to streamline the syntax of Greek and English; or (ii) to insist that (...) English speakers can believe propositions inexpressible in Greek. I argue that the former option entails giving up a neo-Russelian framework, and the latter makes King’s account arbitrary or trivial. I conclude that the mirroring claim is untenable. (shrink)

O objetivo geral da pesquisa da qual esse artigo faz parte é investigar o sistema metafísico que emerge dos trabalhos de David Lewis. Esse sistema pode ser decomposto em pelo menos duas teorias. A primeira nomeada como realismo modal genuíno (RMG) e a segunda como mosaico neo-humeano. O RMG é, sem dúvida, mais popular e defende a hipótese metafísica da existência de uma pluralidade de mundos possíveis. A principal razão em favor dessa hipótese é a sua aplicabilidade na discussão de (...) problemas losó cos, esse motivo não será diretamente abordado neste artigo. Pois, o foco está em compreender o mosaico neo-humea- no e como ele relaciona-se com a metafísica de mundos possíveis. Em outras palavras, o meu objetivo é entender as bases losó cas que sus- tentam o realismo modal genuíno. (shrink)

Words have meaning. Sentences also have meaning, but their meaning is different in kind from any collection of the meanings of the words they contain. I discuss two puzzles related to this difference. The first is how the meanings of the parts of a sentence combine to give rise to a unified sentential meaning, as opposed to a mere collection of disparate meanings (UP1). The second is why the formal ontology of linguistic meaning changes when grammatical structure is built up (...) (UP2). For example, the meaning of a sentence is a proposition evaluable for truth and falsity. In contrast, a collection of the meanings of its parts does not constitute a proposition and is not evaluable for truth. These two puzzles are closely related, since change in formal ontology is the clearest sign of the unity of meaning. The most popular strategy for answering them is taking the meanings of the parts as abstractions from primitive sentence meanings. However, I argue that, given plausible psychological constraints, sentence meanings cannot be taken as explanatory primitives. Drawing on recent work in Generative Grammar and its philosophy, I suggest that the key to both unity questions is to distinguish strictly between lexical and grammatical meaning. The latter is irreducible and determines how lexical content is used in referential acts. I argue that these referential properties determine a formal ontology, which explains why and how formal ontology changes when grammatical structure is built up (UP2). As for UP1, I suggest that, strictly speaking, lexical meanings never combine. Instead, whenever grammar specifies a formal ontology for the lexical meanings entering a grammatical derivation, further lexical (or phrasal) meanings can only specify aspects of this recursive grammatical process. In this way, contemporary grammatical theory can be used to address old philosophical problems. (shrink)