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)

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)

Co-hyperintensionality, or hyperintensional equivalence, is a relation holding between two or more contents that can be substituted in a hyperintensional context salva veritate. I argue that two strategies used to provide criteria for co-hyperintensionality fail. I argue that there is no generalized notion of co-hyperintensionality that meets plausible desiderata, by showing that the opposite thesis leads to falsity. As a conclusion, I suggest to take co-hyperintensionality as a primitive and I provide a general criterion of co-hyperintensionality whose content depends on (...) each hyperintensional notion we aim to formalize. (shrink)

In this paper I argue that an important notion of reduction depends on a four-place relation holding between expressions, concepts, properties, and events or states of affairs. I define this notion and argue against alternative accounts that are based on syntactic features of theories. Whilst these latter attempts fail to deliver a satisfactory explanation of why a certain theory or a certain expression reduces to another, the former can give a complete explanation of why, say, ‛human pain’ reduces to ‛C-fiber (...) stimulation’ or why the mind reduces to the physical. I briefly sketch the difference between the semantic approach that I favor, which is based on a particular notion of hyper-intensions, and classical model-theoretic versions of reduction. (shrink)

We present Prior's discussion of a puzzle about valditity found in the writings of the fourteenth-century French logician Jean Buridan and show how Prior's study of this puzzle may have provided the conceptual inspiration for his development of hybrid logic.

Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics from knowledge of semantics (Lewis (...) 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse. (shrink)

It is generally assumed that if it is possible to believe that p without believing that q, then there is some difference between the object of the thought that p and the object of the thought that q. This assumption is challenged in the present paper, opening the way to an account of epistemic opacity that improves on existing accounts, not least because it casts doubt on various arguments that attempt to derive startling ontological conclusions from seemingly innocent epistemic premises.

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)

After introducing Millianism and touching on two problems raised by genuinely empty names for Millianism (section I), I provide a brief exposition of the Gappy Proposition View (GPV) and of how different versions of this view can reply to the problems in question (section II). In the following sections I develop my reasons against the GPV. First, I will try to argue that apparently promising arguments for the claim that gappy propositions are propositions are not successful (section III). Then, I (...) will develop two arguments against GPs via demonstrating two odd consequences of the GPV: (a) that there can be an atomic proposition which contains other propositions that are not the semantic contents of any part of the .. (shrink)

There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...) forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context. (shrink)

Distributive egalitarians believe that distributive justice is to be explained by the idea of distributive equality (DE) and that DE is of intrinsic value. The socio-relational critique argues that distributive egalitarianism does not account for the “true” value of equality, which rather lies in the idea of “equality as a substantive social value” (ESV). This paper examines the socio-relational critique and argues that it fails because – contrary to what the critique presupposes –, first, ESV is not conceptually distinct from (...) DE, and second, the idea of ESV cannot serve as a “foundation” or “root” of distributive egalitarianism. (shrink)

The modalities come into the world by being projections or objectivizations of our epistemic constitution. Thus this paper is a statement of Humean projectivism. In fact, it goes beyond Simon Blackburn’s version. It is also designed as a comprehensive counter-program to David Lewis’ program of Humean supervenience. In detail, the paper explains: Already the basic fact that the world is a world of states of affairs is due to the nature of our epistemic states. Objects, which figure in states of (...) affairs and which embody metaphysical modality, are constitutable by their essential properties and in fact constituted by us according to our ontological policies. What the facts are, to which the correspondence notion of truth refers, is determined by applying an epistemic or pragmatic notion of truth to the world. Causation is a specific objectivization of our conditional beliefs. Nomicity is a ‘habit of belief’, a specific way of generalizing epistemic attitudes. This covers the basic metaphysical and natural modalities. The paper attempts to convey that talking of projection or objectivization is not just imagery, but a constructively realizable program. (shrink)

Robert Stalnaker has argued that mathematical information is information about the sentences and expressions of mathematics. I argue that this metalinguistic account is open to a variant of Alonzo Church's translation objection and that Stalnaker's attempt to get around this objection is not successful. If correct, this tells not only against Stalnaker's account of mathematical truths, but against any metalinguistic account of truths that are both necessary and informative.

This paper investigates the semantics of derived statives, deverbal adjectives that fail to entail there to have been a preceding (temporal) event of the kind named by the verb they are derived from, e.g. darkened in a darkened portion of skin. Building on Gawron’s (The lexical semantics of extent verbs, San Diego State University, ms, 2009) recent observations regarding the semantics of extent uses of change of state verbs (e.g., Kim’s skin darkens between the knee and the calf) and Kennedy (...) and Levin’s (Adjectives and adverbs: syntax, semantics and disclosure, Oxford University Press, Oxford, 2008) theory of change, it is shown, contrary to previous analyses, that a fully compositional semantic analysis is possible, and thus that there is no argument from derived statives for word formation differing from semantic composition above the word level in requiring deletion operations, as in Dubinsky and Simango’s (Language 72:749–781, 1996) analysis. Further, such an analysis, by contrast with previous ones, both compositional (Jackson in Resultatives, derived statives, lexical semantic structure, Doctoral dissertation, UCLA, 2005b; Condoravdi and Deo in Proceedings of the 18th International Congress of Linguists (CIL 18), Seoul, 2008 and non-compositional (Dubinsky and Simango 1996), correctly predicts, as shown by a range of arguments, that the meaning of the derived stative contains the meaning of the verb it is derived from and that it therefore contrasts fundamentally with morphologically simple adjectives in the kind of meaning that it has. (shrink)

From a general semantic point of view, Thomas Bricot and John Mair are proponents of the solution to semantic paradoxes based on appreciation of the contextuality of truth, who differ in their approach to the relations of logical consequence and contradiction. The core of the study is the analysis of Mair's criticism of Bricot presented in the sixth quaestio of his Tractatus insolubilium where the consequences of non-compositional semantics for the concepts of synonymy and logical form are addressed. The polemic (...) between John Mair and Thomas Bricot is construed as having immediate consequences for research in the area of non-compositional semantics. (shrink)

In earlier work, we developed an composition in which predicates can be composed with arguments by operations other than Function Application, and it makes a difference which composition operation is employed. Here we take our approach further by examining two nonsaturating operations that combine property contents: Restrict, which composes a predicate with the property content of an indefinite; and Modify, which is involved in predicate modification. Nonsaturating operations that combine property contents are often formalized in terms of predicate intersection, which (...) is commutative. Using Austronesian language Chamorro, we argue that Restrict and Modify are not ‘commutative’, but instead incorporate an asymmetry: they take one content to supply a domain that is narrowed further by combination with the other content. Syntactically, it is transparent which category’s content supplies the domain. But semantically, this information can be recovered only from the way in which the composition operation affects the contents that it composes, since—as we show—the same contents can be composed with distinct results. (shrink)

In this paper we adopt the hypothesis that languages are mechanisms for interaction, and that grammars encode the means by which such interaction may take place, by use of procedures that construct representations of meaning from strings of words uttered in context, and conversely strings of words are built up from representations of content in interaction with context. In a review of the systemic use of ellipsis in dialogue and associated split-utterance phenomena, we show how, in Dynamic Syntax, words give (...) rise to a range of procedures for the building of representations of the content of some utterance, which both speakers and hearers use. We then extend the discussion to take account of adjuncts, showing how they contribute to content construction both in single utterances and across speakers. The same mechanisms are then shown to underlie the building of inferential extensions of meaning in context, giving rise to the creation of the ad hoc concepts expressed by phrases or single words in relation to the utterance context and ultimately to the creation of metaphorical uses of language. (shrink)