My propositions are elucidatory in this way: he who understands them eventually recognizes them as senseless [unsinnig], when he has climbed out through them, on them, over them… He must surmount these propositions; then he sees the world rightly. (Tractatus 6.54) These statements must be taken seriously and therefore must be interpreted as literally possible. They have nevertheless been experienced by some philosophers as posing a major interpretational problem. For if Wittgenstein’s words are taken literally, we seem to have a (...) major problem in our hands. If what Wittgenstein had said before proposition 6.54 is literally nonsense, we apparently cannot understand his book at its face value. And, as was pointed out, this face value is that of a treatise in logical semantics. Hence.. (shrink)

Recently, some philosophers have argued that we should take quantification of any (finite) order to be a legitimate and irreducible, sui generis kind of quantification. In particular, they hold that a semantic theory for higher-order quantification must itself be couched in higher-order terms. Øystein Linnebo has criticized such views on the grounds that they are committed to general claims about the semantic values of expressions that are by their own lights inexpressible. I show that Linnebo’s objection rests on the (...) assumption of a notion of semantic value or contribution which both applies to expressions of any order, and picks out, for each expression, an extra-linguistic correlate of that expression. I go on to argue that higher-orderists can plausibly reject this assumption, by means of a hierarchy of notions they can use to describe the extra-lingustic correlates of expressions of different orders. (shrink)

This paper introduces and explores a conservative extension of inquisitive logic. In particular, weak negation is added to the standard propositional language of inquisitive semantics, and it is shown that, although we lose some general semantic properties of the original framework, such an enrichment enables us to model some previously inexpressible speech acts such as weak denial and ‘might’-assertions. As a result, a new modal logic emerges. For this logic, a Fitch-style system of natural deduction is formulated. The (...) main result of this paper is a theorem establishing the completeness of the system with respect to inquisitive semantics with weak negation. At the conclusion of the paper, the possibility of extending the framework to the level of first order logic is briefly discussed. (shrink)

Introduction 1. Language and meaning Nothing is as easily overlooked, or as easily forgotten, as the most obvious truths. The tenet that language is a tool ...

The last 14 chapters of book 1 of Aristotle's "Prior Analytics" are concerned with the representation in the formal language of syllogistic of propositions and arguments expressed in more or less everyday Greek. In his commentary on those chapters, Alexander of Aphrodisias explains some of Aristotle's more opaque assertions and discusses post-Aristotelian ideas in semantics and the philosophy of language. In doing so he provides an unusual insight into the way in which these disciplines developed in the Hellenistic era. (...) He also shows a more sophisticated understanding of these fields than Aristotle himself, while remaining a staunch defender of Aristotle's emphasis on meaning as opposed to Stoics concern with verbal formulation. In his commentary on the final chapter of book 1 Alexander offers a thorough discussion of Aristotle's distinction between denying that something is, e.g., white and asserting that it is non-white. (shrink)

In this work Ockham proposes a theory of simple predication, which he uses in explicating the truth conditions of progressively more complicated kinds of propositions. His discussion includes what he takes to be the correct semantic treatment of quantified propositions, past tense and future tense propositions, and modal propositions, all of which are receiving much attention from contemporary philosophers. He also illustrates the use of exponential analysis to deal with propositions that prove troublesome in both semantic theory and other disciplines, (...) such as metaphysics, physics, and theology. This type of analysis plays an essential role in his substantive philosophical and theological works, and in many cases then can hardly be understood without a prior acquaintance with this section of the Summa. An introduction by Alfred J. Freddoso clarifies and summarizes Ockham's theory, discusses certain philosophical problems which it engenders, and proposes new interpretations for parts of it. The essay will be helpful both to those interested in Ockham as a historical figure and to those interested in his substantive systematic contributions to logical theory. (shrink)

Typical applications of Hintikka’s game-theoretical semantics give rise to semantic attributes—truth, falsity—expressible in the $\Sigma^{1}_{1}$-fragment of second-order logic. Actually a much more general notion of semantic attribute is motivated by strategic considerations. When identifying such a generalization, the notion of classical negation plays a crucial role. We study two languages, $L_{1}$ and $L_{2}$, in both of which two negation signs are available: $\rightharpoondown $ and $\sim$. The latter is the usual GTS negation which transposes the players’ roles, while the (...) former will be interpreted via the notion of mode. Logic $L_{1}$ extends independence-friendly logic; $\rightharpoondown $ behaves as classical negation in $L_{1}$. Logic $L_{2}$ extends $L_{1}$, and it is shown to capture the $\Sigma^{2}_{1}$-fragment of third-order logic. Consequently the classical negation remains inexpressible in $L_{2}$. (shrink)

This paper introduces three model-theoretic constructions for generalized Epstein semantics: reducts, ultramodels and $\textsf {S}$ -sets. We apply these notions to obtain metatheoretical results. We prove connective inexpressibility by means of a reduct, compactness by an ultramodel and definability theorem which states that a set of generalized Epstein models is definable iff it is closed under ultramodels and $\textsf {S}$ -sets. Furthermore, a corollary concerning definability of a set of models by a single formula is given on the basis (...) of the main theorem and the compactness theorem. We also provide an example of a natural set of generalized Epstein models which is undefinable. Its undefinability is proven by means of an $\textsf {S}$ -set. (shrink)

What semantics should we attribute to nouns like "wisdom" and "generosity", which are derived from gradable adjectives? We show that, from a morphosyntactic standpoint, these nouns are mass nouns. This leads us to consider and answer the following questions. How are these nouns interpreted in their various uses? What formal representations may one associate with their interpretations? How do these depend on the semantics of the adjective? And where lies the semantic unity of nouns like wisdom and generosity (...) with the more familiar concrete mass nouns, like wine and furniture? (shrink)

Zimbabwean literature produced after the attainment of independence has been predominantly engrossed with thematisation of the postcolonial subaltern subjects’ existential conditions, enunciated together with gender politics, religion and socio-economic environment that frame politics of difference, and sites of suffering or resistance. These tropes remain absorbing and critical even in contemporary female-authored novels that also engage with a deeply fractured modern-day Zimbabwe. Tsitsi Dangarembga’s novel, This Mournable Body, offers important site to debate the enduring concerns of gender inequalities, politics, and religion. (...) A stylistic approach is adopted to identify the semiotic construction of the text and discuss the different styles that are deployed to foreground central tropes in the novel. The adoption of stylistics as an underlying conceptual model locates this current study in the interdisciplinary research which brings together gender, applied linguistics, poetics, politics, and religion, in order to provoke new ways of reading the dialogic and polyphonic elements of the text. The study contends that the politics of difference is an unsettling subject that profoundly impacts on gender relations and religio-political practices in a milieu where precarity is a major defining feature of the subaltern sections comprising women and the marginalised poor. Thus, the novel’s title figuratively foregrounds the (un)mournable bodies of the people, who are both dehumanised and heavily burdened by surviving at the margin.Contribution: Tsitsi Dangarembga’s novel, This Mournable Body demonstrates a deep concern with the plight of the subaltern people in a gendered society and how their conditions of the Othered bodies are further amplified by both religion and politics in present-day Zimbabwe. Thus the study contributes to the mounting discourses about politics of fragmentation and binary practices, and the ensuing agony suffered by the sidelined persons. The adopted stylistic reading of the focus novel underscores the interdisciplinary urgency to literary interpretative process. (shrink)

The abundant and systematic presence of metaphor in language has in particular been explored by departing from the embodied nature of many metaphors. In the current research we investigate the manner in which the concept EATING in two nonrelated languages, namely Afrikaans (a Germanic language) and Northern Sotho (a Bantu language) gives rise to metaphorical expressions in these two languages. The two notions of cultural model and metaphor form the cornerstones of our research. The basic question guiding our research is (...) whether the metaphorical mappings originating from the same source domain (EATING) onto various target domains are the same in the two languages and secondly, whether there is any evidence that differences—if any—are culturally motivated.Our study is corpus-based. Lexical items belonging to the source domain of eating were used as search nodes in our corpus search. Our analysis indicates that the metaphorical source-domain–target-domain mappings in the two languages show a large amount of overlap. As far as the metaphors that we identified are concerned, remarkable similarities and very few—and these not significant—differences were found. (shrink)

In this paper we defend a direct reference theory of names. We maintain that the meaning of a name is its bearer. In the case of vacuous names, there is no bearer and they have no meaning. We develop a unified theory of names such that one theory applies to names whether they occur within or outside fiction. Hence, we apply our theory to sentences containing names within fiction, sentences about fiction or sentences making comparisons across fictions. We then defend (...) our theory against objections and compare our view to the views of Currie, Walton, and others. (shrink)

A semantics of pictorial representation should provide an account of how pictorial signs are associated with the contents they express. Unlike the familiar semantics of spoken languages, this problem has a distinctively spatial cast for depiction. Pictures themselves are two-dimensional artifacts, and their contents take the form of pictorial spaces, perspectival arrangements of objects and properties in three dimensions. A basic challenge is to explain how pictures are associated with the particular pictorial spaces they express. Inspiration here comes (...) from recent proposals that analyze depiction in terms of geometrical projection. In this essay, I will argue that, for a central class of pictures, the projection-based theory of depiction provides the best explanation for how pictures express pictorial spaces, while rival perceptual and resemblance theories fall short. Since the composition of pictorial space is itself the basis for all other aspects of pictorial content, the proposal provides a natural foundation for further pictorial semantics. (shrink)

nated discussion of the semantics of such verbs. I will call this view.

The paper provides an opinionated survey of recent contributions – roughly, in the last decade – to our understanding of how names and other referring expressions work in fictional discourse and addresses well-known philosophical worries that they raise. Views about the semantics of referring expressions in fictional discourse are usually accompanied by metaphysical views on the ontology of fictional characters, so this will also come under our focus.

This book provides a compositional, truth-conditional, crosslinguistic semantics for evidentiality, the linguistic encoding of the source of information on which a statement is based. Central to the proposed theory is the distinction between what propositional content is at-issue and what content is not-at-issue. Evidentials contribute not-at-issue content, and can affect the level of commitment a sentence makes to the main proposition, contributed by sentential mood. In this volume, Sarah Murray builds on recent work in the formal semantics of (...) evidentials and related phenomena, and proposes a semantics that does not appeal to separate dimensions of illocutionary meaning. Instead, she argues that all sentences make three contributions: at-issue content, not-at-issue content, and an illocutionary relation. At-issue content is presented and made available for subsequent anaphora, but is not directly added to the common ground; not-at-issue content directly updates the common ground; and the illocutionary relation uses the at-issue content to impose structure on the common ground, which, depending on the clause type, can trigger further updates. 0The analysis is supported by extensive empirical data from Cheyenne, drawn from the author's own fieldwork, as well as from English and a variety of other languages. (shrink)

In “Is semantics possible?” Putnam connected two themes: the very possibility of semantics (as opposed to formal model theory) for natural languages and the proper semantic treatment of common nouns. Putnam observed that abstract semantic accounts are modeled on formal languages model theory: the substantial contribution is rules for logical connectives (given outside the models), whereas the lexicon (individual constants and predicates) is treated merely schematically by the models. This schematic treatment may be all that is needed for (...) an account of validity in a formal setting, but it does not help to understand how proper and common nouns function in reality (not in models). Putnam then initiated the empirical study of such nouns to indicate, (i), that the popular Frege-Carnap account of them as (“disguised” compound) predicates is empirically incorrect, and, (ii), that they offer a new paradigm for a naturalistic semantics of natural languages. We take Putnam’s program a couple of steps further. First, we investigate the semantics of common nouns and argue that they refer (to kinds), rather than apply by satisfaction/truth to a designation/denotation. Second, we point to general results about semantics as a theory whose fulcrum is the reference relation rather than satisfaction in models and validity across them. (shrink)

Marian Przełęcki’s semantics for the Received View is a good explication of Carnap’s position on the subject, anticipates many discussions and results from both proponents and opponents of the Received View, and can be the basis for a thriving research program.

Coreferentialism refers to the common assumption in the literature that slurs and descriptors are coreferential expressions with precisely the same extension. For instance, Vallee recently writes that “If S is an ethnic slur in language L, then there is a non-derogatory expression G in L such that G and S have the same extension”. The non-derogatory expression G is commonly considered the nonpejorative correlate of the slur expression S and it is widely thought that every S has a coreferring G (...) that possesses precisely the same extension. Yet here I argue against this widespread assumption by first briefly introducing what slurs are and then considering four sources of supporting evidence showing that slurs and descriptors are in fact not coreferential expressions with precisely the same extension. I argue that since slurs and descriptors differ in their extension they thereby differ in their meaning or content also. This article additionally introduces the notion of a conceptual anchor in order to adequately account for the relationship between slurs and descriptors actually evidenced in the empirical data, and further considers the inadequacy of common dictionary definitions of slurs. This article therefore contributes to the literature on slurs by demonstrating that previous accounts operating on the assumption that slurs and descriptors are coreferential expressions with the same extension, and that they thereby have the same meaning or content, are inconsistent with empirical data and that an alternative account in accord with Croom better fits the facts concerning their actual meaning and use. (shrink)

In several recent contributions to the growing literature on slurs, Hedger draws upon Kaplan’s distinction between descriptive and expressive content to argue that slurs are expressions with purely expressive content. The distinction between descriptive and expressive content and the view that slurs are expressions with purely expressive content has been widely acknowledged in prior work, and Hedger aims to contribute to this tradition of scholarship by offering novel arguments in support of his ‘‘pure expressivist’’ account of slurs. But the account (...) that PE offers is explanatorily inadequate, resting on suspect a priori intuitions which also commit one to denying many basic facts about slurs, such as that slurs largely display systematic differential application and that slurs can be used non-offensively between in-group speakers. In this article I provide clear reasons for rejecting PE, arguing particularly against Hedger as one of PE’s most explicit and recent proponents. In showing that PE is inadequate in at least 11 ways, I argue in favor of a mixed or hybrid approach. (shrink)

In this book, Michael Blome-Tillmann offers a critical overview of the current debate on the semantics of knowledge attributions. The book is divided into five parts. Part 1 introduces the reader to the literature on 'knowledge' attributions by outlining the historical roots of the debate andproviding an in-depth discussion of epistemic contextualism. After examining the advantages and disadvantages of the view, Part 2 offers a detailed investigation of epistemic impurism, while Part 3 is devoted to a careful examination of (...) epistemic relativism and Part4 to two different types of strict invariantism. The final part of the book explores Presuppositional Epistemic Contextualism - a version of contextualism that is argued to provide a more powerful and elegant account of the semantics of 'knowledge' attributions thanmany of its competitors. A clear and precise account is provided of the main principles underlying each view and of how they aim to explain the pertinent data and resolve philosophical puzzles and challenges. The book also provides charts outlining the relations between the positions discussed andoffers suggestions for further reading. (shrink)

Longstanding philosophical debate over the semantics of proper names has yet to examine the distinctive behavior of deadnames, names that have been rejected by their former bearers. The use of these names to deadname individuals is derogatory, but deadnaming derogates differently than other kinds of derogatory speech. This paper examines different accounts of this behavior, illustrates what going views of names will have to say to account for it, and articulates a novel version of predicativism that can give a (...) semantic explanation for this derogation. (shrink)

This paper presents an analysis of face emoji (disc-shaped pictograms with stylized facial expressions) that accompany written text. We propose that there is a use of face emoji in which they comment on a target proposition expressed by the accompanying text, as opposed to making an independent contribution to discourse. Focusing on positively valenced and negatively valenced emoji (which we gloss as _happy_ and _unhappy_, respectively), we argue that the emoji comment on how the target proposition bears on a contextually (...) provided discourse value endorsed by the author. Discourse values embody what an author desires, aspires to, wishes for, or hopes for. Our analysis derives a range of non-trivial generalizations, including (i) ordering restrictions with regards to the placement of emoji and text, (ii) cases of apparent mixed emotions, and (iii) cases where the lexical content of the accompanying text influences the acceptability of a face emoji. (shrink)

Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin, Wolfram, Chaitin, Lloyd). In expanding its domains from abstract logical symbol manipulation to physical embedded and networked devices, computing goes beyond Church-Turing limit (Copeland, Siegelman, Burgin, Schachter). Computational processes are distributed, reactive, interactive, agent-based and concurrent. The main criterion of success of computation is not its termination, but the adequacy of its (...) response, its speed, generality and flexibility; adaptability, and tolerance to noise, error,faults, and damage. Interactive computing is a generalization of Turing computing, and it calls for new conceptualizations (Goldin, Wegner). In the info-computationalist framework, with computation seen as information processing, natural computation appears as the most suitable paradigm of computation and information semantics requires logical pluralism. (shrink)

We draw parallels between several closely related logics that combine — in different proportions — elements of game theory, computation tree logics, and epistemic logics to reason about agents and their abilities. These are: the coalition game logics CL and ECL introduced by Pauly 2000, the alternating-time temporal logic ATL developed by Alur, Henzinger and Kupferman between 1997 and 2002, and the alternating-time temporal epistemic logic ATEL by van der Hoek and Wooldridge (2002). In particular, we establish some subsumption and (...) equivalence results for their semantics, as well as interpretation of the alternating-time temporal epistemic logic into ATL. The focus in this paper is on models: alternating transition systems, multi-player game models (alias concurrent game structures) and coalition effectivity models turn out to be intimately related, while alternating epistemic transition systems share much of their philosophical and formal apparatus. Our approach is constructive: we present ways to transform between different types of models and languages. (shrink)

Abstract I argue that good and right are gradable adjectives as that is understood in the current linguistic theory of gradable adjectives. According that theory, gradable adjectives do not denote properties but contribute meaning in a different yet cognitive way; and if that applies to good and right, then those words contribute meaning and provide evaluativity and normativity by means other than denoting properties. If that is true, significant consequences follow for metaethics, both because of the lack of properties good (...) and right, and because of specific features of the gradable adjective semantics. I outline the theory of good and right as gradable adjectives and explore some of those consequences, attempting to give a sense of what changes we may expect in metaethics. (shrink)

Racial epithets are derogatory expressions, understood to convey contempt toward their targets. But what do they actually mean, if anything? While the prevailing view is that epithets are to be explained pragmatically, I argue that a careful consideration of the data strongly supports a particular semantic theory. I call this view Combinatorial Externalism. CE holds that epithets express complex properties that are determined by the discriminatory practices and stereotypes of their corresponding racist institutions. Depending on the character of the institution, (...) the complex semantic value can be composed of a variety of components. The account has significant implications on theoretical, as well as, practical dimensions, providing new arguments against radical contextualism, and for the exclusion of certain epithets from First Amendment speech protection. (shrink)

(1) is an example of an adjectival comparative. In it, the adjective important is flanked by more and a comparative clause headed by than. This article is a survey of recent ideas about the interpretation of comparatives, including (i) the underlying semantics based on the idea of a threshold; (ii) the interpretation of comparative clauses that include quantifiers (brighter than on many other days); (iii) remarks on differentials such as much in (1) above: what they do in the comparative (...) and what they do elsewhere in the language; (iv) the relationship between comparatives and other Degree constructions (e.g. as important, too impor- tant); and (v) the types of phrases in which comparatives are found (adjective: tighter versus noun: more water). Given the nature and purpose of this essay, I have tried not to presuppose background in formal semantics and I have departed from standard practice in journal articles by, as much as possible, not interrupting the flow with footnotes and references. There are two appendices. The first provides more analytical detail and there I do rely on formal techniques of natural language semantics. The second covers the sources for the ideas surveyed here. (shrink)

This essay will examine some rather serious trouble confronting claims that mathematicalia might be social constructs. Because of the clarity with which he makes the case and the philosophical rigor he applies to his analysis, our exemplar of a social constructivist in this sense is Julian Cole, especially the work in his 2009 and 2013 papers on the topic. In a 2010 paper, Jill Dieterle criticized the view in Cole’s 2009 paper for being unable to account for the atemporality of (...) mathematical existents. Cole’s 2013 paper addresses this objection, providing a modification of his 2009 paper allowing for atemporal mathematicalia. An unusual consequence of Cole’s account is that at least some existential claims about mathematicalia used to be false but now have always been true. By examining the semantics of such claims, we demonstrate that social constructivism is in fact, despite Cole’s attempts to rectify matters, incompatible with atemporal mathematicalia. In the course of examining these semantic details, however, an alternative hybrid view of fictionalism and social constructivism emerges. Those tempted by social constructivism, while perhaps disappointed by the negative results of the paper, may be encouraged by how much of their view can be recovered in this alternative account. (shrink)

The aim of this series is to make exploratory work that employs new linguistic data, extending the scope or domain of current theoretical proposals, available to a wide audience. These monographs will provide an insightful generalization..

Are aesthetic judgements simply expressions of personal preference? If two people disagree about the beauty of a painting are both judgements valid or can someone be mistaken about the aesthetic value of an artwork? This volume brings together some of the leading philosophers of art and language to debate the status of aesthetic judgements.

The notion of existence is a very puzzling one philosophically. Often philosophers have appealed to linguistic properties of sentences stating existence. However, the appeal to linguistic intuitions has generally not been systematic and without serious regard of relevant issues in linguistic semantics. This paper has two aims. On the one hand, it will look at statements of existence from a systematic linguistic point of view, in order to try to clarify what the actual semantics of such statements in (...) fact is. On the other hand, it will explore what sort of ontology such statements reflect. The first aim is one of linguistic semantics; the second aim is one of descriptive metaphysics. Philosophically, existence statements appear to reflect the distinction between endurance and perdurance as well as particular notions of abstract states and of kinds. Linguistically, statements of existence involve a particular way of drawing the distinction between eventive and stative verbs and between individual-level and stage-level predicates as well as a particular approach to the semantics of bare plurals and mass nouns. (shrink)