A BSTRACT. We present Property Theory with Curry Typing, an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of generalized quantifiers in natural language to construct a typetheoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous (...) type-theoretic analyses of this phenomenon. (shrink)

We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like “most.” We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous type-theoretic (...) analyses of this phenomenon. (shrink)

This dissertation provides a model-theoretic semantics for English sentences atttributing a property or action to a group of objects, either collectively or distributively. It is shown that certain adverbial expressions select for collective predicates; therefore collective and distibutive predicates must be distinguishable. This finding is problematic for recent accounts of distributive predicates which analyze such predicates as taking group-level arguments, and hence as not distinguishable from collective predicates. ;A group-level treatment of distributives is possible, however, if predicate denotations (...) are relativized to a set of events for which a part/whole relation is defined. An event in which a group performs an action distributively will have subevents in which each of the group's members perform the same action; an event in which the group performs the action collectively will not. ;This analysis also makes possible an account of the fact that adverbials expressing collective action commonly have an additional use expressing spatial proximity, both in English and cross-linguistically. . A spatial "trace" function on the set of events allows formal definitions for the spatial uses of such adverbials to exactly parallel the definitions for the collectivizing uses. ;The dissertation also provides arguments for a set-theoretic model for plurality, in which the group membership relation is distinct from the subgroup relation. ;Certain quantifiers are shown sensitive to distinction between different sorts of group-level event. To accommodate this fact, it is suggested that verbal denotations provide, for each event, both an "inclusion set" and an "exclusion set"--corresponding roughly to positive and negative denotations. If the inclusion and exclusion sets are allowed under certain circumstances not to complement each other, correct results obtain. ;The splitting of verbal denotations into inclusion and exclusion sets also allows the solution of certain problems in previous accounts of the semantics of subject-verb agreement for number. The dissertation closes with a defense of the hypothesis that agreement is conditioned primarily by the semantics. (shrink)

Kripke finds in Wittgenstein an argument for the view that there is no such thing as meaning. A key premise in that argument is that there are semantic norms—norms governing the uses of expressions that hold in virtue of what those expressions mean. Standardly, those norms are understood to be norms of truth—roughly, they permit truly applying expressions and prohibit falsely applying them. An increasing number of philosophers reject the standard interpretation. In this paper, I explore (...) alternative construals due to Alan Millar and Indrek Reiland and argue that they are either unmotivated or not competitors with the standard account. In doing so, I defend a kind of pluralism about semantic normativity. If there are norms of truth that hold in virtue of what expressions mean, there will be further norms that make reference to the doxastic, epistemic, and motivational states of language-users, norms that are explanatory posterior to the norms of truth. (shrink)

I defend a semantic theory of quotation marks, according to which these are ambiguous, as they have several different acceptations involving corresponding different conventional indications. In particular, in allusion (“mixed”) uses, the corresponding conventional indication is one with an adverbial or prepositional content, roughly equivalent to “using the quoted expression or an appropriate version of it”. And in “scare” uses, the corresponding conventional indication is that the enclosed expression should be used not plainly but in some broadly speaking distanced way, (...) or that it is being so used by the utterer. I also defend this view against some alternative views on which allusion and distance indications are to be seen as pragmatically conveyed. In particular, I consider several views that attempt to explain especially allusion and distance indications as pragmatic suggestions generated from a meager conventional basis, and I argue that they cannot accommodate a number of linguistic phenomena and reflectively supported theses about the use of quotation marks. I lay special emphasis on the fact that the main pragmatic theories fail to pass an extremely plausible test for challenges to polysemic accounts of an expression. (shrink)

Chomsky’s (1995, 2000a) Minimalist Program (MP) invites a perspective on semantics that is distinctive and attractive. In section one, I discuss a general idea that many theorists should find congenial: the spoken or signed languages that human children naturally acquire and use— henceforth, human languages—are biologically implemented procedures that generate expressions, whose meanings are recursively combinable instructions to build concepts that reflect a minimal interface between the Human Faculty of Language (HFL) and other cognitive systems. In sections two (...) and three, I develop this picture in the spirit of MP, in part by asking how much of the standard Frege-Tarski apparatus is needed in order to provide adequate and illuminating descriptions of the “concept assembly instructions” that human languages can generate. I’ll suggest that we can make do with relatively little, by treating all phrasal meanings as instructions to assemble number-neutral concepts that are monadic and conjunctive. But the goal is not to legislate what counts as minimal in semantics. Rather, by pursuing one line of Minimalist thought, I hope to show how such thinking can be fruitful. (shrink)

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores (...) some meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

Wittgenstein emphasizes two points concerning his notion of family resemblance. One is that the use of a family resemblance expression resists characterization by certain kinds of rules; the other is that due to the prevalence of family resemblance in the philosophical lexicon, philosophical inquiry must in many cases proceed differently from how it traditionally has. This paper develops an interpretation of family resemblance that seeks to do justice to these claims. I argue that what is characteristic about family resemblance (...) class='Hi'>expressions is not that they exhibit a basic semantic feature unique to themselves, but that they combine a number of semantic properties that happen not to be coinstantiated elsewhere. These features include (1) content variability (also a property of ambiguous expressions, polysemes, and standard indexicals), (2) a feature I call "topicality" (which is also a characteristic of polysemes), and (3) "semantic openness" (a feature of many ordinary indexicals). The notions of topicality and semantic openness are explained, and certain terms of natural language are shown to be family resemblance expressions. I conclude by indicating some of the potential philosophical ramifications of these results. (shrink)

The standard account of modal expressions in natural language analyzes them as quantifiers over a set of possible worlds determined by the evaluation world and an accessibility relation. A number of authors have recently argued for an alternative account according to which modals are analyzed as quantifying over a domain of possible worlds that is specified directly in the points of evaluation. But the new approach only handles the data motivating it if it is supplemented with a non-standard (...) account of attitude verbs and conditionals. It can be shown the the relational account handles the same data equally well if it too is supplemented with a non-standard account of such expressions. (shrink)

Semantic roles have continued to intrigue linguists for more than four decades now, starting with determining their kind and number, with their morphological expression, and with their interaction with argument structure and syntax. The focus in this volume is on typological and historical issues. The papers focus on the cross-linguistic identification of semantic-role equivalents, on the regularity of, and exceptions concerning change and grammaticalization in semantic roles, the variation of encoding the roles of direction and experiencer in specific languages, (...) presenting evidence for identifying a new semantic role of speech addressee in Caucasian languages, on semantic roles in word formation, and finally a cross-linguistic comparison of the functions and the grammaticalization of the ethical dative in some Indo-European languages. The book will be of interest to anyone involved with case and semantic roles, with the syntax-semantics interface, and with semantic change and grammaticalization. (shrink)

Sophisticated senator and legislative onion. Whether or not you have ever heard of these things, we all have some intuition that one of them makes much less sense than the other. In this paper, we introduce a large dataset of human judgments about novel adjective-noun phrases. We use these data to test an approach to semantic deviance based on phrase representations derived with compositional distributional semantic methods, that is, methods that derive word meanings from contextual information, and approximate phrase meanings (...) by combining word meanings. We present several simple measures extracted from distributional representations of words and phrases, and we show that they have a significant impact on predicting the acceptability of novel adjective-noun phrases even when a number of alternative measures classically employed in studies of compound processing and bigram plausibility are taken into account. Our results show that the extent to which an attributive adjective alters the distributional representation of the noun is the most significant factor in modeling the distinction between acceptable and deviant phrases. Our study extends current applications of compositional distributional semantic methods to linguistically and cognitively interesting problems, and it offers a new, quantitatively precise approach to the challenge of predicting when humans will find novel linguistic expressions acceptable and when they will not. (shrink)

More than a century ago, G. E. Moore famously offered an extended inference to reject what are in effect two substantially different types of ethical naturalism. Although some naturalistic doctrines targeted by that inference make semantic claims that, if true, would entail certain metaphysical claims, it is also possible that those semantic doctrines could be false and the metaphysical ones true at the same time. For if semantic naturalism is true, then moral terms and sentences are reducible, by an analysis (...) of what they mean, into some purely descriptive terms and sentences. But, if metaphysical naturalism is true, then the moral properties and propositions expressed by moral terms and sentences are reducible to purely natural properties and propositions. By conflating claims about meaning with claims about reference, Moore‟s original inference proved vulnerable to a number of well known objections. But we believe there is a revised Moorean inference that can succeed, and we offer that argument here. Its scope is restricted to semantic reductivist forms of ethical naturalism: those that rest on theses claiming the reducibility of expressions in the moral vocabulary to expressions in a non-moral one. A not uncommon philosophical view in Moore‟s day, such theses remain live options in metaethics (as we‟ll presently show). Although our inference is run for some putative equivalences between moral and purely descriptive terms, it could easily be adapted against ethical naturalist theses 1 involving moral concepts and thoughts as well as sentences. Like Moore, we take the successful inference to consist in an open question argument („OQA’) followed by the naturalistic-fallacy charge („NFC‟). But, unlike Moore, we identify semantic naturalism as the only naturalistic doctrine vulnerable to the inference, and we offer adequate support for the inference‟s premises. Naturalism in ethics is thus undermined, though not refuted in all its forms: semantical naturalism comes out false, but metaphysical naturalism might still be true.. (shrink)

This dissertation is based on the compositional model theoretic approach to natural language semantics that was initiated by Montague (1970) and developed by subsequent work. In this general approach, coordination and negation are treated following Keenan & Faltz (1978, 1985) using boolean algebras. As in Barwise & Cooper (1981) noun phrases uniformly denote objects in the boolean domain of generalized quanti®ers. These foundational assumptions, although elegant and minimalistic, are challenged by various phenomena of coordination, plurality and scope. The dissertation (...) solves these problems by developing a ¯exible process of meaning composition, as ®rst proposed by Partee & Rooth (1983). Flexible interpretation involves semantic operations without any phonological counterpart, which participate in the interpretation process and change meanings of overt expressions. The dissertation introduces a novel ¯exible system where a small number of operations describe the behaviour of complex phenomena such as `non-boolean' and, the scope of inde®nites and the semantics of collectivity with quanti®cational NPs. The proposed theory is based on a distinction between two features of meanings in natural language. (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)

Empiricists are in general rather suspicious with respect to any kind of abstract entities like properties, classes, relations, numbers, propositions, etc. They usually feel much more in sympathy with nominalists than with realists (in the medieval sense). As far as possible they try to avoid any reference to abstract entities and to restrict themselves to what is sometimes called a nominalistic language, i.e., one not containing such references. However, within certain scientific contexts it seems hardly possible to avoid them. In (...) the case of mathematics some empiricists try to find a way out by treating the whole of mathematics as a mere calculus, a formal system for which no interpretation is given, or can be given. Accordingly, the mathematician is said to speak not about numbers, functions and infinite classes but merely about meaningless symbols and formulas manipulated according to given formal rules. In physics it is more difficult to shun the suspected entities because the language of physics serves for the communication of reports and predictions and hence cannot be taken as a mere calculus. A physicist who is suspicious of abstract entities may perhaps try to declare a certain part of the language of physics as uninterpreted and uninterpretable, that part which refers to real numbers as space-time coordinates or as values of physical magnitudes, to functions, limits, etc. More probably he will just speak about all these things like anybody else but with an uneasy conscience, like a man who in his everyday life does with qualms many things which are not in accord with the high moral principles he professes on Sundays. Recently the problem of abstract entities has arisen again in connection with semantics, the theory of meaning and truth. Some semanticists say that certain expressions designate certain entities, and among these designated entities they include not only concrete material things but also abstract entities e.g., properties as designated by predicates and propositions as designated.... (shrink)

Assume that the only thing before you is a statue made of some alloy. Call those who think that there is one thing before you in such a case monists. Call those who think there are at least two things before you in such a case pluralists. The most common arguments for pluralism run as follows. The statue is claimed to have some property P that the piece of alloy lacks (or vice versa), and hence it is concluded that they (...) are distinct. Most often, the predicates employed in such arguments to express the crucial property are predicates expressing ‘temporal properties’, such as existing at a certain time; or ‘modal properties’, such as possibly being spherical; or ‘constitution properties’, such as being made of a certain sort of material. In a recent paper, Kit Fine has noted that such predicates suffer from various defects that make it possible for the monist to plausibly resist the relevant versions of the pluralist's arguments. For this reason, Fine considers a number of predicates that do not suffer from these defects, and constructs new versions of the above argument using them. Fine argues that any attempt on the monist's part to resist his versions of the argument force the monist to adopt implausible positions in the philosophy of language. As against this, I argue that the monist has perfectly plausible responses to Fine's arguments that require the monist to adopt only quite reasonable positions in the philosophy of language. (shrink)

What semantics should we attribute to mass expressions like "wisdom" and "love", which are derived from gradable expressions? We first examine how these expressions are used, then how they are interpreted in their various uses. We then propose a model to account for these data, in which derived mass nouns denote instances of properties.

In the philosophy of language, conceptual role semantics (hereafter CRS) is a theory of what constitutes the meanings possessed by expressions of natural languages, or the propositions expressed by their utterance. In the philosophy of mind, it is a theory of what constitutes the contents of psychological attitudes, such as beliefs or desires. CRS comes in a variety of forms, not always clearly distinguished by commentators. Such versions are known variously as functional/causal/computational role semantics, and more broadly (...) as use-theories of meaning. Nevertheless, all are united in seeking the meaning or content of an item, not in what it is made of, nor in what accompanies or is associated with it, but in what is done with it, the use it is put to. Roughly, according to CRS, the meaning or propositional content of an expression or attitude is determined by the role it plays in a person’s language or in her cognition. Currently, many view CRS as the main rival to theories that take notions such as truth or reference as central (for example, Davidson 2001), although the relationship between the two is not straightforward. The following outlines the main varieties of CRS, provides a cursory survey of its history, introduces the central arguments offered in its favor, and provisionally assesses how the variants fair against a number of prominent criticisms. (shrink)

I assume that the task of natural language semantics is to provide an unambiguous logical language into which natural language can be translated in such a way that the translating expressions display a structure which is isomorphic to the meaning of the translated expressions. Since language is a means of thinking and communicating mental contents, the meanings of singular terms cannot be the individuals of the substratist tradition, because such individuals are not cognizable entities. Thus I propose (...) that the logical language be based on Castaneda's guise theory, according to which singular terms always denote guises, i.e., roughly, bundles of properties. This, I argue, would result in a semantics which is in accordance with projects such as Lakoff's natural logic or Fodor's methodological solipsism. ;I first propose a formal system, GCC, which tries to be as faithful as possible to Castaneda's informal presentation of guise theory. It is therefore characterized by different forms of predication and a distinction between a level of property composition and a level of proposition composition. Such a distinction is dropped in a second system, GF, which presents a more traditional Fregean representation of predication. Yet, GF endorses essential assumptions of guise theory such as the existence of different sameness relations that can provide various interpretations for the English "is". I claim that GF provides more theoretical simplicity than GCC. ;Finally, I show the fruitfulness of the present approach by applying GF to a vast collection of linguistico-philosophical puzzles which includes but is not restricted to those that guise theory was originally designed to address: various versions of Frege's paradox, the paradox of analysis, Quine's puzzle on the number of planets, issues of reidentification and intentional identity, the anaphoric "it" of sentences such as "the lizard's tail fell off but then it grew back," problems connected with the use of "knowing-who ," proper names, indexicals and demonstratives. (shrink)

A remarkable thing about natural language is that we can use it to share our beliefs and thoughts about the world with other speakers of our language. In cases of successful communication, beliefs seem to be transferred from speakers to hearers by means of the hearer recovering the contents of the speaker’s utterances. This is so natural to us that we take it for granted in our everyday life, and rarely stop to think about how it's is possible. Nevertheless, it's (...) a phenomenon that calls for explanation. It is natural to expect that natural language semantics has a key explanatory role to play here. In order to understand this role, we must relate the semantic values assigned to sentences by semantic theory with the content of our speech acts. The simplest possible relation would be identity; the meaning of a sentence is simply the belief expressed by an assertion of the sentence in a given context of utterance. However, a number of problem cases in the literature suggest that this cannot be the case. This dissertation offers a critical assessment of the arguments for distinguishing the semantic value of a sentence from it's so called assertoric content, focusing on problems arising from the analysis of tense and temporal expressions. I conclude that they are indeed distinct, and offer a constructive account of how they must be related in order to allow for an explanation of communicative success. (shrink)

Intermediate Quantitifiers presents and analyzes the logical and linguistic features of intermediate quantifiers, in a fashion typical of traditional logic. Intermediate quantifiers express logical quantities which fall between Aristotle's two quantities of categorical propositions - the universal and the particular. This book is the first to use traditional methods to integrate the logic and semantics of intermediate quantifiers with the two traditional quantities. Few, many and most express the most commonly referred to intermediate quantities, yet in this book Peterson (...) argues that an infinite number of additional quantities can be understood through a deeper examination of the logical nature of all intermediate quantifiers. Drawing on the work of Robert Carnes and taking a critical look at James McCawley's grammatical analysis, Peterson concludes that a new approach to foundations of mathematics based on the syllogistic logic of quantifiers is possible.Offering invaluable insights for those studying across areas of logic, linguistics, and the philosophy or semantics of natural language, this book presents the completion of an explanation for extending traditional syllogistic logic to handle intermediate quantifiers. (shrink)

According to the neo-Fregean abstractionism, numerical expressions of the form ‘the number of Fs’, introduced by Hume’s Principle, should be read as purportedly referential singular terms. I will explore the prospects of a version of abstractionism in which such expressions have presuppositional content, as in Strawson’s account. I will argue that the thesis that ‘the number of Fs’ semantically presupposes the existence of a number is inconsistent with the required ‘modest’ stipulative character of the truth (...) of Hume’s Principle: since Hume’s Principle is true and provably presupposes that numbers exist, what it presupposes is also true; and so numbers exist. This, however, means that numbers are conjured into existence by a direct stipulation. (shrink)

One of the difficult areas for persons learning a foreign language is to grasp the range of usages of syntactic patterns that exist in the foreign language. It is not sufficient to learn how passive formation works, or how pre- or postpositional phrases are constructed, or how perfect tenses are expressed. One also has to learn which verbs can passivize at all, which verbs go with which pre- or postpositions, and, in case perfect tenses are expressed, as in a (...) class='Hi'>number of European languages, with different auxiliaries like ‘have’ and ‘be’, which verb needs which auxiliary. For English, Levin (1993) distinguishes no less than 57 verb classes, most of them with a number of subclasses, that show distinct syntactic behavior. (shrink)

In this paper, we present and defend a modest anti-realist conception of aesthetic properties – e.g. being unified, moving, delicate, tragic, etc – in order to motivate a contextualist semantic view about aesthetic judgments. We argue that aesthetic properties are plausibly seen as viewpoint-dependent even though our epistemic access to the presence of aesthetic properties is decidedly more complicated than other, less controversial instances of viewpoint-dependent properties. On the basis of our anti-realist conception, we argue, utilizing the Kaplanian distinction between (...) character and content within a possible worlds semantic theory, that the contents expressed in aesthetic thought and language are sensitive to certain contextual features of a particular thinker’s or speaker’s situation. Finally, we address a number of formidable objections to our view, objections concerning certain context-sensitivity diagnostics, and sho... (shrink)

ABSTRACT In this paper we present a new semantic approach for propositional linear temporal logic with discrete time, strongly based in the well-order of IN (the set of natural numbers). We consider temporal connectives which express precedence, posteriority and simultaneity, and they provide a family of expressively complete temporal logics. The selection of the new semantics and connectives used in this work was principally to obtain a suitable executable temporal logic, which can be used for the specification and control (...) of process behaviour in discrete time in a similar way to thai presented by D. Gabbay in [GAB 89], Our new approach has two advantages: firstly, the connectives are defined intuitively so that they have interpretations which relate to properties of interest in real systems; secondly, it provides a new semantics that facilitates simpler proofs of many valid formulas and metatheorems. To confirm this second advantage, we use our semantics to give a formal proof of the Separation Theorem for one of these logics (specifically LN3). The great interest of this Separation Theorem for the executable temporal logic is emphasised by D. Gabbay in [GAB 89], [GAB 88]. (shrink)

A number of authors have argued that the fact that certain indexicals depend for their reference-determination on the speaker’s referential intentions demonstrates the inadequacy of associating such expressions with functions from contexts to referents (characters). By distinguishing between different uses to which the notion of context is put in these argument, I show that this line of argument fails. In the course of doing so, I develop a way of incorporating the role played by intentions into a character-based (...) semantics for indexicals and I argue that the framework I prefer is superior to an alternative which has been proposed by others. (shrink)

It is astonishing that we humans are able to have, act on and express moral beliefs. This dissertation aims to provide a better philosophical understanding of why and how this is possible especially when we assume metaethical expressivism. Metaethical expressivism is the combination of expressivism and noncognitivism. Expressivism is the view that the meaning of a sentence is explained by the mental state it is conventionally used to express. Noncognitivism is the view that the mental state expressed by a moral (...) sentence is a noncognitive, desire-like state. The central question of this dissertation is this: "How can metaethical expressivists explain that we are able to express moral beliefs?" The shortest answer this dissertation will give is the following: "by becoming `dispositional expressivists´." Dispositional expressivists hold that moral beliefs are dispositions to be in certain mental states that resemble desires. More precisely, a central thesis of this study is that to hold a moral belief is to be disposed to be in a desire-like, noncognitive state where this state has some specific structure. This dissertation arrives at and justifies this thesis by making a number of steps. It starts with preparing the ground by developing a general theory of what it is for a sentence to express a mental state. Roughly, this theory states that for a sentence to express a mental state is for that sentence to be conventionally used to perform a speech act which counts as sincere only if the user or speaker is in that mental state. This theory of expressing satisfies all the constraints that must be satisfied for it to be compatible with the purposes of metaethical expressivism. The next step is to provide a solution to the most notorious semantic problem confronting metaethical expressivism, the problem of explaining how sentences containing moral words can have compositional meaning and stand in logical relations also known as the Frege-Geach or embedding problem. Building on the research of Mark Schroeder, a new expressivist semantics, called `Attitude Semantics´, will be developed for a first-order language. The motivating idea underlying attitude semantics is that expressivists can avoid the problematic feature of so-called `biforcation´ if they treat the structures of the mental states expressed by moral sentences as well as that expressed by non-moral sentences as being isomorphic. In order to give those structures a philosophically interesting interpretation, it will be suggested that we treat sentences as expressing dispositional states. As a toy example we will treat the sentence `murder is wrong´ as expressing the disposition to be for blaming for murder. After dealing with the Frege-Geach problem, I turn to the metaethical expressivists' project of quasi-realism. Two major goals of this project are to explain how moral sentence can be truth-apt and how the states expressed by them can be regarded as moral beliefs. In order to establish those goals I critically examine a number of theories of truth-aptness by providing counterexamples to them. I then present my own theory which says that a sentence is truth-apt iff and because there is a conventional way to use it to express a belief. What is new about this theory is that it treats expressing a belief as being explanatorily more basic than being truth-apt. Belief, according to this theory, explains truth-aptness, not vice versa. This has the important consequence that it shows that what I call the `orthodox strategy´ of quasi-realists is mistaken and needs to be inverted: expressivists must `earn the right´ to moral belief before they can establish that moral sentences are truth-apt, and not the other way round. The second part of this dissertation is then concerned with the question of what it is to hold a moral belief and how they can figure in rational reasoning. In short: it is concerned with earning the right to moral belief. After discussing the major problems confronting a noncognitivist theory of belief, most importantly what I call the `tightrope problem´, I argue for a dispositional form of noncognitivism about moral belief that combines elements from Eric Schwitzgebel's dispositionalism about belief and Sebastian Köhler's `conceptual role expressivism´. This dispositional noncognitivism perfectly matches and justifies the dispositionalist interpretation of the expressivist semantics developed before. In order to fully earn the right to moral belief, however, metaethical expressivists must also deal with several epistemological objections concerning the rationality of moral belief. The first objection I deal with comes from Derek Baker and is directed against Mark Schroeder's specific development of expressivism. I deal with this objection because my own theory bears close resemblance to Schroeder's theory and so it might be worried that it confronts the same issues. Fortunately, we will see that Baker's objection rest on a number of mistaken assumptions and so neither applies to Schroeder's expressivism nor to the version which I defend in this study. The other epistemological objection to metaethical expressivism I deal with is Cian Dorr's famous wishful-thinking objection. In contrast to previous replies to this objection I attack it by directly questioning the central assumption on which it rests, namely that reasoners can never be justified in basing a factual belief on a desire-like state. I argue that this is false, and that under certain conditions reasoning from desire-like mental states to factual beliefs is justified. My argument shows that even if holding a moral belief is being in a desire-like noncognitive state, basing factual belief on a moral belief can give one an epistemic reason for the factual belief. Hence, even if moral thoughts are wishes, moral thinking is not wishful thinking. I take my arguments to earn the dispositional expressivist the right to moral belief. By the previously defended theory of truth-aptness in terms of belief, this allows the dispositional expressivists to conclude that moral sentences are also truth-apt. This finishes the quasi-realist project of this dissertation. In the last part of this dissertation I switch gears and present two unnoted problems for metaethical expressivists having to do with explaining moral motivation. Both arguments are surprisingly simple. The first one is this: if motivation requires a belief as well as a desire (Humeanism), and moral judgments motivate by themselves (internalism), then moral judgments cannot be desires only. If this argument is sound, it shows that the famous `motivation argument´ not only entails the falsity of cognitivism, but also the falsity of noncognitivism. The second argument is the following: moral judgments when combined with suitable external desires motivate to act (externalism), but if motivation requires belief as well as desire (Humeanism), then moral judgments cannot be desires only. I discuss several ways in which noncognitivists might want to deal with those problems, but leave it as an open question whether those solutions will ultimately be viable. Overall, this dissertation makes serious contributions to the research program of metaethical expressivism. It makes proposals for how to solve a number of notorious problems, such as the Frege-Geach problem in semantics and the wishful-thinking problem in epistemology. Besides this, however, it also raises two new problems for metaethical expressivism in the philosophy of action. For those reasons this dissertation will be of interest for anyone who wants to defend or criticize expressivism in metaethics, and more generally, anyone who wants to better understand our astonishing ability to express moral beliefs. (shrink)

This paper presents a general-purpose update semantics for expressions of subjective uncertainty in natural language. First, a set of desiderata are established for how expressions of subjective uncertainty should behave in dynamic, update-based semantic systems; then extant implementations of expressions of subjective uncertainty in such models are evaluated and found wanting; finally, a new update semantics is proposed. The desiderata at the heart of this paper center around the contention that expressions of subjective uncertainty (...) express beliefs which are not persistent, whereas propositions express beliefs that are persistent. I argue that if we make the move of treating updates in a dynamic semantics as Bayesian updates, i.e. as conditionalization, then expressions of subjective uncertainty will behave the way we want them to without altering the way propositions behave. (shrink)

ABSTRACT The major approaches to belief revision and non monotonic reasoning proposed in the literature differ along a number of dimensions, including whether they are ?syntax- based? or ?semantic-based?, ?foundational? or ?coherentist?, ?consistence-restoring? or ?inconsistency-tolerant?. Our contribution towards clarifying the connections between these various approaches is threefold: ?We show that the two main approaches to belief revision, the foundations and coherence theories, are mathematically equivalent, thus answering a question left open in [Gar90, Doy92], The distinction between syntax-based approaches to (...) revision and approaches based on (semantic) preferential structures falls along similar lines, and their expressive equivalence is a consequence of this result. ?We formally clarify the connection between belief revision and non monotonic reasoning, in a particularly simple way which also throws light on the connection between consistence- restoring and reasoning-from-inconsistency approaches [BDP95]. ?As a direct application of the above, we show that Poole's (syntax-based) system of default reasoning and Shoham's preferential semantic for non monotonic reasoning are also expressively equivalent, in that they can represent the same set of non monotonic consequence relations. (shrink)

Complete information dispositional metasemantics says that our expressions get their meaning in virtue of what our dispositions to apply those terms would be given complete information. The view has recently been advanced and argued to have a number of attractive features. I argue that that it threatens to make the meanings of our words indeterminate and doesn’t do what it was that made a dispositional view attractive in the first place.

Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of structurally (...) diverse languages around the world, which has ultimately contributed to the reinterpretation of LF as a Conceptual-Intentional (C-I) interface level between the computational syntactic component of the faculty of language and one or more interpretive faculties of the human mind. While this has opened up further possibilities of research in phenomena such as quantifier scope and scope interactions between negation, quantification, and focus, it has also given rise to a few real challenges to linguistic theory as well. Some of these are: (i) the split between lexical meaning – a matter supposedly belonging to the phase-wise selection of lexical arrays – and issues of semantic interpretation that arise purely from binding and scope phenomena (Mukherji 2010); (ii) partially relatedly, the level at which theta role assignment can be argued to take place, an issue that is taken up by me in Bagchi (2007); and (iii) how supposedly “pure” scopal phenomena relating to quantifiers, negation, and emphasizing expressions such as only and even (comparable to, e.g., Urdu/Hindi hii and bhii, Bangla –i and –o) also have dimensions of both focus and discourse reference. While recognizing all of these challenges, this talk aims to highlight particularly challenge (iii), both in terms of scholarship in the past and for the rich prospects for research on languages of south Asia with the semantics of quantification, negation, and focus in view. The scholarship of the past that I seek to relate this issue to is where, parallel to (and largely independently of) the research on LF that had been happening, Barwise and Cooper were developing their influential view of noun phrases as generalized quantifiers, culminating in their key 1981 article “Generalized Quantifiers and Natural Language” while, independently, McCawley, in his 1981 book Everything that Linguists have Always Wanted to Know about Logic, established through argumentation that all noun phrases semantically behave like generalized quantified expressions (further elaborated by him in the second – 1994 – revised edition of his book). I seek to demonstrate, based on limited data analysis from selected languages of south Asia, that our current understanding of quantification, negation, and focus under the Minimalist view owes something significant to the two major, but now largely marginalized, works of scholarship, and that for the way forward it is essential to adopt a more formal-semantic approach as adopted by them and also by later works such as Denis Bouchard’s (1995) The Semantics of Syntax, Mats Rooth’s work on focus (e.g., Rooth 1996, “Focus” in Shalom Lappin’s Handbook of Contemporary Semantic Theory), Heim and Kratzer’s Semantics in Generative Grammar (1998), and Yoad Winter’s (2002) Linguistic Inquiry article on semantic number, to cite just a few instances. (shrink)

Smart communities have recently gained much attention. Researchers have been trying to tackle a number of challenges faced by smart communities. Interoperability is one key challenge that occurs due to different systems using different knowledge representations. To solve interoperability problems, ontologies are seen as a promising solution as they provide a commonly agreed vocabulary for representing data that are understandable by stakeholders of smart communities. Smart communities make use of Internet of Things (IoT) and ubiquitous networks to support communication (...) among objects and devices in such environments. Smart campuses are examples of smart communities. Recently, many articles related to ontologies focusing on smart communities and smart campuses in IoT environments, have been published. This paper presents a Systematic Literature Review that has been conducted using Google Scholar. 18 ontologies for smart communities/smart campuses have been identified and analyzed out of 341 articles from year 2010 to 2019. The review classifies the ontologies in terms of domain, ontologies being reused, availability online, limitations, language adopted and coverage. It additionally discusses on the standards, the level of expressiveness, the ontology development approaches and methodologies adopted by the identified ontologies. Our analysis shows that the identified ontologies have been developed based on different ontological commitments. None of them have come up with a core semantic model that models different collaborating domains in a smart campus such as smart learning, smart management, smart governance, smart room, smart health, smart library and smart parking among others and that enhances cross-domain interoperability in a such an environment. Further details on our findings are presented and discussed in the paper. (shrink)

Semantic relativism maintains that the truth-value of some propositions is sensitive to a judge parameter, facilitating cases whereby a proposition can be true relative to one judge, but false relative to another. Most prominently, semantic relativism has been applied to predicates of personal tastes (PPTs). Recently, Lasersohn [2007. “Expressives, Perspective and Presupposition.” Theoretical Linguistics 33 (2): 223–230; 2017. Subjectivity and Perspective in Truth-Theoretic Semantics. Oxford: Oxford University Press] has urged an extension of semantic relativism to terms traditionally construed as (...) expressives including derogatory epithets (e.g. ‘asshole’) and, more tentatively, expressions like ‘damn’. In this paper, we challenge Lasersohn’s extension of relativism. Section 1 gives a background on semantic theories for expressives and on semantic relativism. In Section 2, we focus on Lasersohn’s [2007. “Expressives, Perspective and Presupposition.” Theoretical Linguistics 33 (2): 223–230] account where he attempts to apply relativism to a wider range of expressives. We argue that because PPTs and expressives have fundamentally different semantic functions, the prospects for a relativistic account are slim. Several problems are presented. Our focus is on the perspective sensitivity of expressive content and the phenomenon of projection failure, as both reveal a fundamental disparity between expressives and PPTs. (shrink)

In this paper we address an important issue in the development of an adequate formal theory of underspecified semantics. The tension between expressive power and computational tractability poses an acute problem for any such theory. Generating the full set of resolved scope readings from an underspecified representation produces a combinatorial explosion that undermines the efficiency of these representations. Moreover, Ebert (2005) shows that most current theories of underspecified semantic representation suffer from expressive incompleteness. In previous work we present an (...) account of underspecified scope representations within Property Theory with Curry Typing (PTCT), an intensional first-order theory for natural language semantics. We review this account, and we show that filters applied to the underspecified-scope terms of PTCT permit expressive completeness. While they do not solve the general complexity problem, they do significantly reduce the search space for computing the full set of resolved scope readings in non-worst cases. We explore the role of filters in achieving expressive completeness, and their relationship to the complexity involved in producing full interpretations from underspecified representations. This paper is dedicated to Jim Lambek. (shrink)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers such as (...) 'whole', 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (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)

Semantic Analysis is a lively and clearly written introduction to the study of meaning in language and to the language-culture connection. Goddard covers traditional and contemporary issues and approaches with the relationship between semantics, conceptualization, and culture as a key theme. He also details a number of case studies that draw on a wide range of material from non-Indo-European languages, particularly Australian Aboriginal languages and Malay, on which the author is an authority.

Mark Schroeder’s expressivist program has made substantial progress in providing a compositional semantics for normative terms. This paper argues that it risks achieving this semantic progress at the cost of abandoning a key theoretical motivation for embracing expressivism in the first place. The problem can be summarized as a dilemma. Either Schroeder must allow that there are cases in which agents are in disagreement with one another, or can make valid inferences, but that these disagreements or inferences are not (...) expressible in natural language; or his version of expressivism must abandon one of the key theoretical advantages expressivist theories seemed to possess over cognitivism, the ability to provide a very straightforward explanation of the action- and attitude-guiding role of normative judgments. (shrink)

Lewis (1981) showed the equivalence between two dominant semantic frameworks for counterfactuals: ordering semantics, which relies on orders between possible worlds, and premise semantics, which relies on sets of propositions (so-called ordering sources). I define a natural, restricted version of premise semantics, expressible premise semantics, which is based on ordering sources containing only expressible propositions. First, I extend Lewis’ (1981) equivalence result to expressible premise semantics and some corresponding expressible version of ordering semantics. Second, (...) I show that expressible semantics are strictly less powerful than their nonexpressible counterparts, even when attention is restricted to the truth values of expressible counterfactuals. Assuming that the expressibility constraint is natural for premise semantics, this result breaks the equivalence between ordering semantics and (expressible) premise semantics. Finally, I show that these results cast doubt on various desirable conjectures, and in particular on a particular defense of the so-called limit assumption. (shrink)

This book reports on the contrastive-semantic investigation of sadness expressions between English and Chinese, based on two monolingual general corpora and a parallel corpus. The exploration adopts a unique theoretical approach which integrates corpus-linguistic theories on meaning (as a social construct, usage and paraphrase) with a corpus-linguistic lexical model. It employs a new complex but workable methodology which combines computational tools with manual examination to tease meaning out of corpus evidence, to compare and contrast lexical items that do not (...) match up neatly between languages. It looks at sadness expressions both within and across languages in terms of three corpus-linguistic structural categories, i.e. colligation, collocation and semantic association/preference, and paraphrase (both explicit and implicit) to capture their subtle nuances of meaning, disclose the culture-specific conceptualisations encoded in them, and highlight their respective cultural distinctiveness of emotion. By presenting multidisciplinary original work, Sadness Expressions in English and Chinese will be of interest to researchers in corpus linguistics, contrastive lexical semantics, psychology, bilingual lexicography and language pedagogy. (shrink)

This paper documents the number-related properties of Dëne Sųłiné (Athapaskan). Dëne Sųłiné has neither number inflection nor numeral classifiers. Nouns are bare, occur as such in argument positions, and combine directly with numerals. With these traits, Dëne Sųłiné represents a type of language that is little considered in formal typologies of number and countability. The paper critiques one influential proposal, that of Chierchia (in: Rothstein (ed.) Events and grammar, 1998a; Natural Language Semantics 6: 339–405, 1998b), and (...) presents an alternative number typology, which introduces variation in the semantics of numerals. It will be shown that bare nouns in Dëne Sųłiné can be mass or count. Hence, the difference between count and mass cannot be expressed in terms of number, as in Chierchia. Instead, I express it in terms of atomicity. Mass nouns have nonatomic denotations, bare count nouns have atomic denotations that comprise singularities and pluralities. I also propose that numerals contain a function that accesses the singularities in a noun’s denotation. Hence they are compatible with bare count nouns, but not with mass nouns. In classifier languages, numerals denote a cardinality only; singularity-accessing functions are expressed in separate elements: the classifiers. Thus, languages like Chinese require classifiers because the numerals are semantically deficient, and not, as is assumed by Chierchia and others, the bare nouns. (shrink)

Amie Thomasson's Norms and Necessity offers a non-factualist theory of the language of metaphysical necessity, centering on the idea that statements of necessity express semantic norms. This article identifies a potential problem for the view by distinguishing two kinds of conditional necessity, investigates a solution derived from a well-known parallel pair of conditional necessities in deontic logic, but finds it is not up to the job. The last part of the paper suggests a different route, largely in keeping with the (...) underlying ideas behind Thomasson's approach. (shrink)

This paper investigates a certain puzzling argument concerning number expressions and their meanings, the Easy Argument for Numbers. After finding faults with previous views, I offer a new take on what’s ultimately wrong with the Argument: it equivocates. I develop a semantics for number expressions which relates various of their uses, including those relevant to the Easy Argument, via type-shifting. By marrying Romero ’s :687–737, 2005) analysis of specificational clauses with Scontras ’ semantics for (...) Degree Nouns, I show how to extend Landman ’s Adjectival Theory to numerical specificational clauses. The resulting semantics can explain various contrasts observed by Moltmann, but only if Scontras’ contention that degrees and numbers are sortally distinct is correct. At the same time, the Easy Argument can establish its intended conclusion only if numbers and degrees are mistakenly assumed to be identical. (shrink)