In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which each predicate pertains to a different perspective. This phenomenon has been shown to be problematic for (at least certain versions of) relativism. My main aim is to further the discussion by showing that the phenomenon extends to other perspectival expressions than predicates (...) of taste and by proposing a general solution to the problem raised by it on behalf of the relativist. The core claim of the solution (" multiple indexing ") is that utterances of sentences containing perspectival expressions should be evaluated with respect to (possibly infinite) sequences of perspective parameters. (shrink)

So-called "thick" moral concepts are distinctive in that they somehow "hold together" evaluation and description. But how? This paper argues against the standard view that the evaluations which thick concepts may be used to convey belong to sense or semantic content. That view cannot explain linguistic data concerning how thick concepts behave in a distinctive type of disagreements and denials which arise when one speaker regards another's thick concept as "objectionable" in a certain sense. The paper also briefly considers contextualist, (...) presuppositional, and implicature accounts of the evaluative contents of thick concepts, but finds none clearly superior to the others. (shrink)

In Strawson’s Entity and Identity, there are two essays (Chapters 11 and 12), which study the notion of context. In these essays, Strawson advances a threefold distinction regarding how context bears on the meaning of 'what is said' when a sentence is uttered. -/- In this paper, we'll (i) review the original scheme of Strawson and summarize his improvements to his own scheme, and (ii) add our own improvements to make it even more thoroughgoing. We'll also show that unless it (...) is elaborated with several considerations (mostly based on our work regarding context as a social construct and contextualizing as a form of social action) it cannot function as a realistic initiative towards building common sense models of how intended meaning is achieved. (shrink)

This paper is concerned with an intuitive contrast that arises when we consider sentences containing empty definite descriptions. A sentence like ‘The king of France is bald’ appears neither true nor false, while a sentence like ‘My friend was visited by the king of France’ appears false. Recently, Stephen Yablo has suggested an account of this intuitive contrast. Yablo’s account is particularly interesting, since it has important consequences for the ontological commitments of number sentences like ‘The number of planets is (...) even’. However, the paper argues that Yablo’s account is not convincing and that it can thus not establish these consequences. Further, it develops a Strawsonian account of the intuitive contrast. The developed account allows us to draw important conclusions regarding the correct analysis of definite descriptions and of existence sentences containing definite descriptions. (shrink)

The present volume contains a collection of papers presented at the 21st annual meeting “Sinn und Bedeutung” of the Gesellschaft fur Semantik, which was held at the University of Edinburgh on September 4th–6th, 2016. The Sinn und Bedeutung conferences are one of the leading international venues for research in formal semantics.

Focusing on cases which involve binding into epistemic modals with definite descriptions and quantifiers, I raise some new problems for standard approaches to all of these expressions. The difficulties are resolved in a semantic framework that is dynamic in character. I close with a new class of problems about de re readings within the scope of modals.

We define the paraconsistent supra-logic Pσ by a type-shift from the booleans o of propositional logic Po to the supra-booleans σ of the propositional type logic P obtained as the propositional fragment of the transfinite type theory Q defined by Peter Andrews (North-Holland Studies in Logic 1965) as a classical foundation of mathematics. The supra-logic is in a sense a propositional logic only, but since there is an infinite number of supra-booleans and arithmetical operations are available for this and other (...) types, virtually anything can be specified. The supra-logic is a generalization of Lukasiewicz's three-valued logic, with the intermediate value duplicated many times and ordered such that none of the copies of this value imply other ones, but it differs from Lukasiewicz's many-valued logics as well as from logics based on bilattices. There are several automated theorem provers for classical higher order logic (finite type theory) and it should be possible to modify these to our needs. (shrink)

This article advances the first semantics that is neither for nor against a default implicational link between the progressive and perfective forms, when it comes to solving the imperfective paradox. Depending on the doxastic context of its use, we contend that the progressive form sometimes allows and sometimes does not allow the inference of the corresponding simple form. In other words, the preparatory phase of an event might or might not be believed to lead to its culmination. Indeed, the context (...) can put constraints on beliefs about the time of the culmination and whether or not it allows this inference to be made. From a formal perspective, this new solution to the imperfective paradox combines a specific modal approach with an event-structure analysis originating in event semantics. Finally, this approach solves the associated difficulties that have plagued the most well-known theories in this field. (shrink)

Responding to parts of Sorensen, it is argued that the connectives therefore and but do not contribute conventional implicatures, but are rather to be treated as presupposition triggers. Their special contributions are therefore not asserted, but presupposed. Hence, given the generic assumption that one lies only if one makes an assertion, one cannot lie with arguments in the way Sorensen proposes. Yet, since conventional implicatures are asserted, one can lie with conventional implicatures. Moreover, since conventional implicatures may be asserted by (...) non-declarative utterances, one can lie by uttering non-declaratives carrying conventional implicatures. (shrink)

This paper does not deal with the topic of ‘the generosity of artificial languages from an Asian or a comparative perspective’. Rather, it is concerned with a particular case taken from a development in the Western tradition, when in the wake of the rise of formal logic at the end of the nineteenth and the beginning of the twentieth century people in philosophy and later in linguistics started to use formal languages in the study of the semantics of natural languages. (...) This undertaking rests on certain philosophical assumptions and instantiates a particular methodology, that we want to examine critically. However, that in itself is still too broad a topic for a single paper, so we will focus on a particular aspect, viz., the distinction between grammatical form and logical form and the crucial role it plays in how the relationship between natural languages and formal languages is understood in this tradition. We will uncover two basic assumptions that underlie the standard view on the distinction between grammatical form and logical form, and discuss how they have contributed to the shaping of a particular methodology and a particular view on the status of semantics as a discipline. (shrink)

The restricted semantic ellipsis hypothesis, we have argued, is committed to an enormous number of multiply ambiguous expressions, the introduction of which gains us no extra explanatory power. We should, therefore, reject it. We should also spurn the original version since: (a) it entails the restricted version and (b) it incorrectly declares that, whenever a speaker makes an assertion by uttering an unembedded word or phrase, the expression uttered has illocutionary force.Once rejected, the semantic ellipsis hypothesis cannot account for the (...) many exceptions to the syntactic ellipsis hypothesis. So, we can safely infer that the Claim is true.(1)The Claim: Speakers can make assertions by uttering ordinary, unembedded, words and phrases.To the degree that the Claim reallyis in tension with the primacy of sentences (i.e., the view that (a) only sentences can be used to make assertions and (b) only sentences are meaningful in isolation) this doctrine must also be rejected. (shrink)

This paper does not deal with the topic of ‘the generosity of artificial languages from an Asian or a comparative perspective’. Rather, it is concerned with a particular case taken from a development in the Western tradition, when in the wake of the rise of formal logic at the end of the nineteenth and the beginning of the twentieth century people in philosophy and later in linguistics started to use formal languages in the study of the semantics of natural languages. (...) This undertaking rests on certain philosophical assumptions and instantiates a particular methodology, that we want to examine critically. However, that in itself is still too broad a topic for a single paper, so we will focus on a particular aspect, viz., the distinction between grammatical form and logical form and the crucial role it plays in how the relationship between natural languages and formal languages is understood in this tradition. We will uncover two basic assumptions that underlie the standard view on the distinction between grammatical form and logical form, and discuss how they have contributed to the shaping of a particular methodology and a particular view on the status of semantics as a discipline. But before we turn to the topic at hand, a few more words on the general nature of the investigation are in order. Its general aim is to find out how semantics constructs its object, i.e., we are interested in what semanticists view as the proper object of study, how they think this object can best be approached, and how they view the relations between their own undertaking and neighbouring disciplines that deal with related, or even the same kind of phenomena, such as cognitive psychology, cognitive neuroscience, philosophy, anthropology. The background assumption is that, much like in other disciplines, semantics, too, does not have its object of investigation cut out for itself by nature, but constructs it in a complex process that involves empirical elements (‘facts’ being already too dangerous a term), philosophical assumptions, and borrowings.... (shrink)

It has been found that children appreciate the limited substitutability of co-referential terms in opaque contexts a year or two after they pass false belief tasks (e.g. Apperly and Robinson, 1998, 2001, 2003). This paper aims to explain this delay. Three- to six-year-old children were tested with stories where a protagonist was either only partially informed or had a false belief about a particular object. Only a few children had problems predicting the protagonist’s action based on his partial knowledge, when (...) he was only partially informed about a property of the desired object (e.g. he knew that it was a Lego® block, but not that it was a red Lego® block). But many had problems making the correct action prediction when he was only partially informed about dual identities (e.g. he knew it was a dog, but not that it was also an eraser). About as many children made an incorrect action prediction for partial knowledge problems involving dual identity as answered higher-order belief questions incorrectly. In contrast many more children answered first-order false belief questions correctly, as many as correct action predictions when the protagonist was partially informed about a property of an object. The results support the claim that children have a specific problem with dual identity, rather than a broader problem representing partial knowledge. (shrink)

What is the property of being true like? To answer this question, begin with a Canberra-plan analysis of the concept of truth. That is, assemble the platitudes for the concept of truth, and then investigate which property might satisfy them. This project is aided by Friedman and Sheard’s groundbreaking analysis of twelve logical platitudes for truth. It turns out that, because of the paradoxes like the liar, the platitudes for the concept of truth are inconsistent. Moreover, there are so many (...) distinct paradoxes that only small subsets of platitudes for truth are consistent. The result is that there is no property of being true. The failure of the Canberra plan analysis of the concept of truth, points the way toward a new methodology: a conceptual engineering project for the concept of truth. Conceptual engineering is assessing the quality of our concepts, and when they are found defective, offering new and better concepts to replace them for certain purposes. Still, there are many aletheic properties, which are properties satisfied by reasonably large subsets of platitudes for the concept of truth. We can treat these aletheic properties as a guide to the multitude of new aletheic concepts, which are concepts similar to, but distinct from, the concept of truth. Any new aletheic concept or team of concepts might be called on to replace the concept of truth. In particular, the concepts of ascending truth and descending truth are recommended, but the most important point is that we need a full-scale investigation into the space of aletheic properties and new aletheic concepts—that is, we need an Aletheic Principles Project. (shrink)

Why did Frege offer only proper names as examples of presupposition triggers? Some scholars claim that Frege simply did not care about the full range of presuppositional phenomena. This paper argues, in contrast, that he had good reasons for employing an extremely narrow notion of ‘Voraussetzung’. On Frege’s view, many devices that are now construed as presupposition triggers either express several thoughts at once or merely ‘illuminate’ a thought in a particular way. Fregean presuppositions, in contrast, are essentially tied to (...) names. (shrink)

In a recent article, “Logical Consequence and Natural Language”, Michael Glanzberg claims that there is no relation of logical consequence in natural language (2015). The present paper counters that claim. I shall discuss Glanzberg’s arguments and show why they don’t hold. I further show how Glanzberg’s claims may be used to rather support the existence of logical consequence in natural language.

Revenge arguments purport to show that any proposed solution to the semantic paradoxes generates new paradoxes that prove that solution to be inadequate. In this paper, I focus on revenge arguments that employ the model-theoretic semantics of a target theory and I argue, contra the current revenge-theoretic wisdom, that they can constitute genuine expressive limitations. I consider the anti-revenge strategy elaborated by Field and argue that it does not offer a way out of the revenge problem. More generally, I argue (...) that the difference between ‘standard’ and ‘revenge’ paradoxes is ill-conceived and should be abandoned. This will contribute to show that the theories that provide a uniform account of truth and other semantic notions are the ones best equipped to avoid the paradoxes altogether—‘standard’ and ‘revenge’ alike. (shrink)

In this paper, I give an analysis of neg-raising inferences as scalar implicatures. The main motivation for this account as opposed to a presupposition-based approach like Gajewski (Linguist Philos 30(3):289–328, 2007) comes from the differences between presuppositions and neg-raising inferences. In response to this issue, Gajewski (2007) argues that neg-raising predicates are soft presuppositional triggers and adopts the account of how their presuppositions arise by Abusch (J Semantics 27(1):1–44, 2010). However, I argue that there is a difference between soft triggers (...) and neg-raising predicates in their behavior in embeddings; a difference that is straightforwardly accounted for in the present approach. Furthermore, by adopting Abusch’s (2010) account of soft triggers, Gajewski (2007) inherits the assumptions of a pragmatic principle of disjunctive closure and of a non-standard interaction between semantics and pragmatics—assumptions that are not needed by the present proposal, which is just based on a regular theory of scalar implicatures. I also show that the arguments that Gajewski (2007) presents in favor of the presuppositional account can be explained also by the scalar implicatures-based approach proposed here. Finally, while the main point of the paper is a comparison with the presuppositional account, I sketch a preliminary comparison with more syntactic approaches to neg-raising. (shrink)

Many experiments with infants suggest that they possess quantitative abilities, and many experimentalists believe that these abilities set the stage for later mathematics: natural numbers and arithmetic. However, the connection between these early and later skills is far from obvious. We evaluate two possible routes to mathematics and argue that neither is sufficient: (1) We first sketch what we think is the most likely model for infant abilities in this domain, and we examine proposals for extrapolating the natural number concept (...) from these beginnings. Proposals for arriving at natural number by (empirical) induction presuppose the mathematical concepts they seek to explain. Moreover, standard experimental tests for children's understanding of number terms do not necessarily tap these concepts. (2) True concepts of number do appear, however, when children are able to understand generalizations over all numbers; for example, the principle of additive commutativity (a+b=b+a). Theories of how children learn such principles usually rely on a process of mapping from physical object groupings. But both experimental results and theoretical considerations imply that direct mapping is insufficient for acquiring these principles. We suggest instead that children may arrive at natural numbers and arithmetic in a more top-down way, by constructing mathematical schemas. (shrink)

Grice coined the term ‘conventional implicature’ in a short passage in ‘Logic and conversation’. The description is intuitive and deeply intriguing. The range of phenomena that have since been assigned this label is large and diverse. I survey the central factual motivation, arguing that it is loosely uni- fied by the idea that conventional implicatures contribute a separate dimen- sion of meaning. I provide tests for distinguishing conventional implicatures from other kinds of meaning, and I briefly explore ways in which (...) one can incorporate multiple dimensions of meaning into a single theory. (shrink)

According to certain kinds of semantic dispositionalism, what an agent means by her words is grounded by her dispositions to complete simple tasks. This sort of position is often thought to avoid the finitude problem raised by Kripke against simpler forms of dispositionalism. The traditional objection is that, since words possess indefinite (or infinite) extensions, and our dispositions to use words are only finite, those dispositions prove inadequate to serve as ground for what we mean by our words. I argue (...) that, even if such positions (emphasizing simple tasks) avoid the traditional form of Kripke's charge, they still succumb to special cases of the finitude problem. Furthermore, I show how such positions can be augmented so as to avoid even these special cases. Doing so requires qualifying the dispositions of interest as those possessed by the abstracted version of an actual agent (in contrast to, say, an idealized version of the agent). In addition to avoiding the finitude problem in its various forms, the position that results provides new materials for appreciating the role that abstracting models can play for a dispositionalist theory of meaning. (shrink)

The meaning of 'most' can be described in many ways. We offer a framework for distinguishing semantic descriptions, interpreted as psychological hypotheses that go beyond claims about sentential truth conditions, and an experiment that tells against an attractive idea: 'most' is understood in terms of one-to-one correspondence. Adults evaluated 'Most of the dots are yellow', as true or false, on many trials in which yellow dots and blue dots were displayed for 200 ms. Displays manipulated the ease of using a (...) 'one-to-one with remainder' strategy, and a strategy of using the Approximate Number System to compare of (approximations of) cardinalities. Interpreting such data requires care in thinking about how meaning is related to verification. But the results suggest that 'most' is understood in terms of cardinality comparison, even when counting is impossible. (shrink)

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)

Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...) a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)

Most philosophers recognize that applying the standard semantics for complex demonstratives to non-deictic instances results in truth conditions that are anomalous, at best. This fact has generated little concern, however, since most philosophers treat non-deictic demonstratives as marginal cases, and believe that they should be analyzed using a distinct semantic mechanism. In this paper, I argue that non-deictic demonstratives cannot be written off; they are widespread in English and foreign languages, and must be treated using the same semantic machinery that (...) is applied to deictic instances. (shrink)

Las conjunciones coordinantes adversativas son estructuras coordinantes que conllevan necesariamente un contraste entre dos elementos relacionados con los enunciados que unen. El contraste es un concepto heterogéneo, ya que podemos identificar tres tipos de contraste : restrictivo, correctivo y aditivo. Propondremos una interpretación semántica para cada tipo de contraste, y defenderemos el carácter presuposicional del contraste restrictivo. Con ello, pondremos de relieve que el discurso en el que se insertan las conjunciones coordinantes adversativas debe plantear alternativas que, cuando el tipo (...) de contraste no está unívocamente lexicalizado, guían la interpretación de las conjunciones coordinantes adversativas. (shrink)

We see no grounds for insisting that, because the concept natural number is abstract, its foundations must be innate. It is possible to specify domain general learning processes that feed into more abstract concepts of numerical infinity. By neglecting the messiness of children's slow acquisition of arithmetical concepts, Rips et al. present an idealized, unnecessarily insular, view of number development.

According to Löbner (1989), Germanschon ‘already’ andnoch ‘still’ are related vianoch nicht ‘not yet’ as follows: ‘Noch p att’ presupposes ‘p beforet.’Noch nicht p is equivalent tonoch (~p). Therefore ‘noch nicht p att’ presupposes ‘~p beforet.’Schon p is the negation ofnoch nicht p. Therefore ‘schon p att’ also presupposes ‘~p beforet.’ This paper gives evidence to show thatnoch nicht p andschon p do not have the postulated presuppositions, and argues thatnoch nicht is not compositional. Like Löbner (1989), the present paper (...) claims that its conclusions apply crosslinguistically. (shrink)

A sentence in the Resultative perfect licenses two inferences: (a) the occurrence of an event (b) the state caused by this event obtains at evaluation time. In this paper I show that this use of the perfect is subject to a large number of distributional restrictions that all serve to highlight the result inference at the expense of the event inference. Nevertheless, only the event inference determines the truth conditions of this use of the perfect, the result inference being a (...) unique type of conventional implicature. I argue furthermore that, since the result state is singular, the event that causes it must also be singular, whereas the Experiential perfect is purely quantificational. But in out-of-the-blue contexts the past tense is also normally interpreted as singular. This leads to a certain amount of competition between the Resultative perfect and the past tense, and it is this competition, I suggest, that maintains the conventional (non-truth conditional) result state inference. (shrink)

The standard analysis of quantification says that determiner quantifiers (such as every) take an NP predicate and create a generalized quantifier. The goal of this paper is to subject these beliefs to crosslinguistic scrutiny. I begin by showing that in St'á'imcets (Lillooet Salish), quantifiers always require sisters of argumental type, and the creation of a generalized quantifier from an NP predicate always proceeds in two steps rather than one. I then explicitly adopt the strong null hypothesis that the denotations of (...) quantifiers should be crosslinguistically uniform. Since the Salish data cannot be captured by the usual analysis of English, I pursue the idea that English is reducible to the Salish pattern. Reanalysis of many English constructions is required. I argue that the reanalysis has advantages over the standard analysis for partitives, as well as for non-partitive all- and most-phrases, which I analyze as containing bare plurals of argumental type. Even where the new analysis faces some challenges (for example, with every), the attempt still leads to fruitful results. It forces us to view familiar constructions in a new light, and to redefine, I believe correctly, which quantificational constructions are ‘basic’ and which stand in need of further explanation. (shrink)

The paper confronts the disagreement argument for relativism about matters of taste, defending a specific form of contextualism. It is first considered whether the disagreement data might manifest an inviariantist attitude speakers pre-reflectively have. Semantic and ontological enlightenment should then make the impressions of disagreement vanish, or at least leave them as lingering ineffectual Müller-Lyer-like illusions; but it is granted to relativists that this does not fully happen. López de Sa’s appeal to presuppositions of commonality and Sundell’s appeal to metalinguistic (...) disagreement are discussed, and it is argued that, although they help to clarify the issues, they do not fully explain why such impressions remain under enlightenment. To do it, the paper develops a suggestion that other writers have made, that the lingering impression of disagreement is a consequence of a practical conflict, appealing to dispositions to practical coordination that come together with presuppositions of commonality in axiological matters. (shrink)

This paper explores the possibility of developing a hybrid version of dispositional theories of aesthetic values. On such a theory, uses of aesthetic predicates express relational second-order dispositional properties. If the theory is not absolutist, it allows for the relativity of aesthetic values. But it may be objected to on the grounds that it fails to explain disagreement among subjects who are not disposed alike. This paper explores the possibility of adapting recent proposals of hybrid expressivist theories for moral predicates (...) to the case of aesthetic predicates. Hybrid expressivist theories make no explicit commitment about the kind of property expressed by the predicate, but make explicit commitments to implicated (or presupposed)expressive content. It is argued that dispositionalism about the properties expressed by aesthetic predicates, combined with expressive implicatures (or presuppositions), can account for aesthetic disagreements even in cases where subjects are not relevantly alike. (shrink)

Presuppositions are at the same time a crucial and almost neglected dimension of arguments and fallacies. Arguments involve different types of presuppositions, which can be used for manipulative purposes in distinct ways. However, what are presuppositions? What is their dialectical function? Why and how can they be dangerous? This paper intends to address these questions by developing the pragmatic approaches to presupposition from a dialectical perspective. The use of presuppositions will be analyzed in terms of presumptive conclusions concerning the interlocutor’s (...) acceptance of a proposition, which can be assessed as reasonable or unacceptable. Their dialectical function is described in terms of dark side commitments attributed to a collective "voice" representing what is commonly shared. For this reason, they count as attempts to include the presupposed contents into the hearer’s commitment store, which in some circumstances can reverse the burden of proof. The different manipulative strategies grounded on controversial presuppositions will be examined by showing the distinct roles that the latter play and the relationship between the degrees of presuppositional implicitness and the speaker’s burden of retraction. (shrink)

I argue that common nouns should be analyzed as variables, rather than as predicates which take variables as arguments. This necessitates several unusual features to the analysis, such as allowing variables to be modally non-rigid, and assigning their values compositionally. However, treating common nouns as variables offers a variety of theoretical and empirical advantages over a more traditional analysis: It predicts the conservativity of nominal quantification, simplifies the analysis of articleless languages, derives the weak reading of sentences with donkey anaphora, (...) solves the proportion problem presented by quantifiers like ‘most’, improves the analysis of the temperature paradox, allows a more unified analysis of bare plurals, and regularizes the correspondence between syntactic categories and semantic types. (shrink)

A speaker often decides whether or not to saysomething based on his assessment of the impact itwould have on his hearer's beliefs. If he thinks itwould bring them more in line with the truth, he saysit; otherwise he does not. In this paper, I developa model of these judgments, focusing specifically onthose of vague sentences. Under the simplifyingassumption that an utterance only conveys a speaker'sapplicability judgments, I present a Bayesian model ofan utterance's impact on a hearer's beliefs. Fromthis model I (...) derive a model of a speaker's judgment ofwhether or not an utterance would be informative. Iillustrate it with several examples of judgments ofvague and non-vague sentences. For instance, I showthat it models the common judgment that assertingeither ``George is tall'' or ``George is not tall'' wouldbe misleading if George were borderline tall, butasserting ``George is tall and he isn't tall'' would notbe. (shrink)

An open question in the semantics of modality is what relations there are among different modal flavours. In this article, we consider the thorny issue of whether ascribing to an agent the obligation to φ implies that it is possible for the agent to φ. Traditionally, this issue has been interpreted as whether ‘ought’ implies ‘can’. But another linguistic interpretation is available as well, namely, whether ‘must’ implies ‘can’ (MIC). We show that ‘must’ does imply ‘can’ via a convergent argument. (...) The first strand of the argument is theoretical: it consists in proving MIC from a well-established theory of modality in natural language, i.e., that proposed by Kratzer. The second strand is empirical: we present novel acceptability judgment studies showing that MIC predicts and explains the linguistic behaviour of native English speakers. (shrink)

In the pair of articles of which this is the second, I present a set of problems and philosophical proposals that have in recent years been associated with the term “relativism”. These problems are related to the question of how we should represent thought and speech about certain topics. The main issue is whether we should model such mental states or linguistic acts as involving representational contents that are absolutely correct or incorrect, or whether, alternatively, their correctness should be thought (...) of as varying with some (more or less surprising) factor. In the first article, “Relativism 1: Representational Content”, I discussed the general issue of relativism about representational content. I argued for the conciliatory view that both relativist and absoutist conceptions of representational content can be legitimate. In the present continuation, I look in more detail at a special case of the general issue, namely the question of whether semantic contents, i.e. the contents assigned to linguistic utterances in the semantics of natural language, should be construed in an absolutist or in a relativist way. (shrink)

ABSTRACT Many epistemologists explain the empirically attested contextual variation in knowledge ascriptions by appeal to a kind of warranted assertability maneuver that finds the locus of variability in epistemic norms of assertion. I show that this way to WAM fails. It cannot explain the variability of embedded uses of knowledge sentences in assertoric speech acts in which the knowledge sentences are not themselves asserted.

Artificial Intelligence (AI) pervades humanity in 2022, and it is notoriously difficult to understand how certain aspects of it work. There is a movement—_Explainable_ Artificial Intelligence (XAI)—to develop new methods for explaining the behaviours of AI systems. We aim to highlight one important philosophical significance of XAI—it has a role to play in the elimination of vagueness. To show this, consider that the use of AI in what has been labeled _surveillance capitalism_ has resulted in humans quickly gaining the capability (...) to identify and classify most of the occasions in which languages are used. We show that the knowability of this information is incompatible with what a certain theory of vagueness—_epistemicism_—says about vagueness. We argue that one way the epistemicist could respond to this threat is to claim that this process brought about the end of vagueness. However, we suggest an alternative interpretation, namely that epistemicism is false, but there is a weaker doctrine we dub _technological epistemicism_, which is the view that vagueness is due to ignorance of linguistic usage, but the ignorance can be overcome. The idea is that knowing more of the relevant data and how to process it enables us to know the semantic values of our words and sentences with higher confidence and precision. Finally, we argue that humans are probably not going to believe what future AI algorithms tell us about the sharp boundaries of our vague words unless the AI involved can be explained in terms understandable by humans. That is, if people are going to accept that AI can tell them about the sharp boundaries of the meanings of their words, then it is going to have to be XAI. (shrink)

This article investigates the semantics of sentences that express numerical averages, focusing initially on cases such as 'The average American has 2.3 children'. Such sentences have been used both by linguists and philosophers to argue for a disjuncture between semantics and ontology. For example, Noam Chomsky and Norbert Hornstein have used them to provide evidence against the hypothesis that natural language semantics includes a reference relation holding between words and objects in the world, whereas metaphysicians such as Joseph Melia and (...) Stephen Yablo have used them to provide evidence that apparent singular reference need not be taken as ontologically committing. We develop a fully general and independently justified compositional semantics in which such constructions are assigned truth conditions that are not ontologically problematic, and show that our analysis is superior to all extant rivals. Our analysis provides evidence that a good semantics yields a sensible ontology. It also reveals that natural language contains genuine singular terms that refer to numbers. (shrink)

In the early days of natural language semantics, Donald Davidson issued a challenge to those, like Richard Montague, who would do semantics in a model-theoretic framework that gives a central role to a model-relative notion of truth. Davidson argued that no theory of this kind can claim to be an account of real truth conditions unless it first makes clear how the relativized notion relates to our ordinary non-relativized notion of truth. In the 1990s, Davidson’s challenge was developed by Etchemendy (...) into an argument against the model-theoretic account of logical consequence, one that also threatens the attempt to capture natural language entailment relations in modeltheoretic terms—one of the central desiderata of semantics. Nevertheless, the modeltheoretic framework has flourished within natural language semantics. But it has flourished without any consensus among semanticists as to how to answer Davidson’s challenge. The aim of this essay is to develop an answer. I argue that model-theoretic semantics is best understood as model-based science: a semantics for a natural language is a scientific model of truth conditions. This makes good sense of the way model-theoretic tools are used in natural language semantics. And it allows us to answer Davidson’s challenge by showing how a theory that employs a relativized notion of truth manages to tell us about ordinary truth conditions. Moreover, I argue that it helps us see how semantics can provide genuine explanations for natural language entailment and other truth-conditional phenomena. (shrink)

Pairs of sentences like the following pose a problem for ontology: (1) Jupiter has four moons. (2) The number of moons of Jupiter is four. (2) is intuitively a trivial paraphrase of (1). And yet while (1) seems ontologically innocent, (2) appears to imply the existence of numbers. Thomas Hofweber proposes that we can resolve the puzzle by recognizing that sentence (2) is syntactically derived from, and has the same meaning as, sentence (1). Despite appearances, the expressions ‘the number of (...) moons of Jupiter’ and ‘four’ do not function semantically as singular terms in (2). Hofweber’s primary evidence for this proposal concerns differences in the focus-related communicative functions of (1) and (2). In this paper I raise several serious problems for Hofweber’s proposal, and for his attempt to support it by appeal to focus-related phenomena. I conclude by offering independent evidence for an alternative, purely pragmatic resolution of the ontological puzzle. (shrink)

This paper offers a critique of mainstream formal semantics. It begins with a statement of widely assumed adequacy conditions: namely, that a good theory must (1) explain relations of entailment, (ii) show how the meanings of complex expressions derive from the meanings of their parts, and (iii) characterize facts of meaning in truth-theoretic terms. It then proceeds to criticize the orthodox conception of semantics that is articulated in these three desiderata. This critique is followed by a sketch of an alternative (...) conception—one that is argued to be more in tune with the empirical objectives of linguistics and the clarificatory aims of philosophy. Finally, the paper proposes and defends a specific theoretical approach—use based rather than truth based—that is suggested by that alternative conception. (shrink)