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)

This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework. The article examines two questions. First, it explores the consequences of taking the proposition as central semantic notion as characteristic of static semantics, and argues that this is not as limiting in accounting for discourse dynamics as many think. Specifically, it explores what it (...) means for a static semantics to incorporate the notion of context change potential in a dynamic pragmatics and denies that this conception of static semantics requires that all updates to the context be eliminative and distributive. Second, it argues that the central difference between the two frameworks is whether semantics or pragmatics accounts for dynamics, and explores what this means for the oft-heard claim that dynamic semantics blurs the semantics/pragmatics distinction. (shrink)

In proof-theoretic semantics, meaning is based on inference. It may be seen as the mathematical expression of the inferentialist interpretation of logic. Much recent work has focused on base-extension semantics, in which the validity of formulas is given by an inductive definition generated by provability in a ‘base’ of atomic rules. Base-extension semantics for classical and intuitionistic propositional logic have been explored by several authors. In this paper, we develop base-extension semantics for the classical propositional modal (...) systems K, KT , K4, and S4, with □ as the primary modal operator. We establish appropriate soundness and completeness theorems and establish the duality between □ and a natural presentation of ♢. We also show that our semantics is in its current form not complete with respect to euclidean modal logics. Our formulation makes essential use of relational structures on bases. (shrink)

Intellectual humility is an interesting but underexplored disposition. The claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker expresses by uttering it. We therefore suggest analyzing intellectual humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humility’. We present a thesaurus-based method to map the semantic space (...) of intellectual humility as a heuristic to support philosophical and psychological analysis of this disposition. We find three semantic clusters that compose intellectual humility: the sensible self, the discreet self, and the inquisitive self; likewise, we find three clusters that compose its contraries: the overrated self, the underrated other, and the underrated self. (shrink)

Disaster response is a highly collaborative and critical process that requires the involvement of multiple emergency responders (ERs), ideally working together under a unified command, to enable a rapid and effective operational response. Following the 9/11 and 11/13 terrorist attacks and the devastation of hurricanes Katrina and Rita, it is apparent that inadequate communication and a lack of interoperability among the ERs engaged on-site can adversely affect disaster response efforts. Within this context, we present a scenario-based terrorism case study to (...) highlight the challenges of operational disaster command and response. In this article, which is based on the French emergency response doctrine, we outline a semantics-based common operational command system that is designed to guarantee an efficient information flow among ERs. Our focus is on offering to all ERs, a real-time operational picture of the situation in order to enable multilevel coordination among firefighters, police, healthcare units, public authorities, and other stakeholders. Our approach consolidates information to promote timely sharing of data among ERs. The proposed system is based on an ontology that has been developed to represent the different types of knowledge on the part of ERs, providing a shared vocabulary that covers a variety of interoperability concerns. (shrink)

Semantic externalism holds that the content of at least some of our thoughts is partly constituted by external factors. Accordingly, it leads to the unintuitive consequence that we must then often be mistaken in what we are thinking, and any kind of claim of privileged access must be given up. Those who deny that semantic externalists can retain any account of self-knowledge are ‘incompatibilists’, while those who defend the compatibility of self-knowledge with semantic externalism are ‘compatibilists’. This paper examines the (...) claim of compatibilism, focusing on Burge’s “Slow Switching Argument” and Boghossian’s “Objection of Relevant Alternatives”. I argue that compatibilism is false, and that semantic externalism is incompatible with self-knowledge. (shrink)

One aim of this essay is to contribute to understanding aesthetic communication—the process by which agents aim to convey thoughts and transmit knowledge about aesthetic matters to others. Our focus will be on the use of aesthetic adjectives in aesthetic communication. Although theorists working on the semantics of adjectives have developed sophisticated theories about gradable adjectives, they have tended to avoid studying aesthetic adjectives—the class of adjectives that play a central role in expressing aesthetic evaluations. And despite the (...) wealth of attention paid to aesthetic adjectives by philosophical aestheticians, they have paid little attention to contemporary linguistic theories of adjectives. We take our work to be a first step in remedying these lacunae. In this paper, we present four experiments that examine one aspect of how aesthetic adjectives ordinarily function: the context-sensitivity of their application standards. Our results present a prima facie empirical challenge to a common distinction between relative and absolute gradable adjectives because aesthetic adjectives are found to behave differently from both. Our results thus also constitute a prima facie vindication of some philosophical aestheticians’ contention that aesthetic adjectives constitute a particularly interesting segment of natural language, even if the boundaries of this segment might turn out to be different from what they had in mind. (shrink)

Whether or not deflationism is compatible with truth-conditional theories of meaning has often been discussed in very broad terms. This paper only focuses on Davidsonian semantics and Brandom's anaphoric deflationism and defends the claim that these are perfectly compatible. Critics of this view have voiced several objections, the most prominent of which claims that it involves an unacceptable form of circularity. The paper discusses how this general objection applies to the case of anaphoric deflationism and Davidsonian semantics and (...) evaluates different ways of responding to it (Williams 1999, Horisk 2008 and Lance 1997). Then, three further objections to the compatibility of these theories are assessed and eventually dismissed (Horisk 2007, Patterson 2005 and Collins 2002). It is shown how these considerations shed light on core issues of the debate. (shrink)

Semantic interoperability can be defined as the ability of two or more computer systems to exchange information in such a way that the meaning of that information can be automatically interpreted by the receiving system accurately enough to produce useful results to the end users of both systems. Several activities are currently being performed by a variety of stakeholders to achieve semantic interoperability in healthcare. Many of these activities are not beneficial, because they place too great a focus on (...) business aspects and not enough on involvement of the right sorts of researchers, in particular those that are able to see how the data and information relate to the entities of concern on the side of the patient. The lack of a central focus on the patient, and the associated focus on ‘concepts’, have spawned a variety of mutually incompatible terminologies exhibiting non-resolvable overlap. The predominance of the healthcare IT industry in the writing and selection of semantic interoperability standards mitigates against the benefits that standards, when well designed, can bring about. (shrink)

This paper presents a novel account of focal stress and pitch contour in English dialogue. We argue that one should analyse and treat focus and pitch contour jointly, since (i) some pragmatic interpretations vary with contour (e.g., whether an utterance accepts or rejects; or whether it implicates a positive or negative answer); and (ii) there are utterances with identical prosodic focus that in the same context are infelicitous with one contour, but felicitous with another. We offer an account (...) of two distinct pitch contours that predicts the correct felicity judgements and implicatures, outclassing other models in empirical coverage or formality. Prosodic focus triggers a presupposition, where what is presupposed and how the presupposition is resolved depends on prosodic contour. If resolving the presupposition entails the proffered content, then the proffered content is uninteresting and hence the utterance is in-felicitous. Otherwise, resolving the presupposition may lead to an implicature. We regiment this account in SDRT. (shrink)

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, compositional properties of words and how they compose to form sentences. In the truth conditional approach, the denotation of a sentence determines its truth conditions, which can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In the vector (...) models, the degree of co-occurrence of words in context determines how similar the meanings of words are. In this paper, we put these two models together and develop a vector semantics for language based on the simply typed lambda calculus models of natural language. We provide two types of vector semantics: a static one that uses techniques familiar from the truth conditional tradition and a dynamic one based on a form of dynamic interpretation inspired by Heim’s context change potentials. We show how the dynamic model can be applied to entailment between a corpus and a sentence and provide examples. (shrink)

Semantic analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular conception of (...) “form” developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed. (shrink)

This paper puts forward an argument for a systematic, technical approach to formulation in verbal interaction. I see this as a kind of expansion of Sacks’ membership categorization analysis, and as something that is not offered (at least not in a fully developed form) by sequential analysis, the currently dominant form of conversation analysis. In particular, I suggest a technique for the study of “occasioned semantics,” that is, the study of structures of meaningful expressions in actual occasions of conversation. (...) I propose that meaning and rhetoric be approached through consideration of various dimensions or operations or properties, including, but not limited to, contrast and co-categorization, generalization and specification, scaling, and marking. As illustration, I consider a variety of cases, focused on generalization and specification. The paper can be seen as a return to some classical concerns with meaning, as illuminated by more recent insights into indexicality, social action, and interaction in recorded talk. (shrink)

According to Amie Thomasson’s modal normativism, the function of modal discourse is to convey semantic rules. But what is a "semantic rule"? I raise three worries according to which there is no conception of a semantic rule that can serve the needs of a modal normativist. The first worry focuses on de re and a posteriori necessities. The second worry concerns Thomasson's inferential specification of the meaning of modal terms. The third worry asks about the normative status of semantic rules.

Hypothesis: WFF(x) can be applied syntactically to the semantics of formalized declarative sentences such that: WFF(x) ↔ (x ↦ True) ∨ (x ↦ False) (see proof sketch below) For clarity we focus on simple propositions without binary logical connectives.

Modifying the descriptive and theoretical generalizations of Relativized Minimality, we argue that a significant subset of weak island violations arise when an extracted phrase should scope over some intervener but is unable to. Harmless interveners seem harmless because they can support an alternative reading. This paper focuses on why certain wh-phrases are poor wide scope takers, and offers an algebraic perspective on scope interaction. Each scopal element SE is associated with certain operations (e.g., not with complements). When a wh-phrase scopes (...) over some SE, the operations associated with that SE are performed in its denotation domain. The requisite operations may or may not be available in a domain, however. We present an empirical analysis of a variety of wh-phrases. It is argued that the wh-phrases that escape all weak islands (i.e., can scope over any intervener) are those that range over individuals, the reason being that all Boolean operations are defined for their domain. Collectives, manners, amounts, numbers, etc. all denote in domains with fewer operations and are thus selectively sensitive to scopal interveners—a “semantic relativized minimality effect”. (shrink)

n the philosophy of language, there are many ongoing controversies that stem from relying too heavily on an utterance-based framework. The traditional approach of rigidly partitioning the utterance’s meaning into what is grammatically determined from what is not may not fully capture the complexity of human language in real-world communicative contexts. To address this issue, we suggest shifting focus toward a broader analysis level encompassing conversations and discourses. From this broader perspective, it is possible to obtain a more integrated (...) view of how linguistic and extra-linguistic aspects dynamically interact and thus reconsider semantics/pragmatics dichotomy as complementary dimensions. Meaning is not confined to linguistic structures alone but emerges from the dynamic interplay of words, sociocultural knowledge, discursive situations, and psychological dispositions of speakers. Substantiating this perspective calls for embracing an interdisciplinary approach that synthesizes research from various domains, including linguistics, cognitive psychology, and philosophy of language. This paper focuses on a particularly compelling case study: aphasia. Speeches produced by individuals with aphasia represent complex scenarios where the balance between linguistic and extra-linguistic aspects is notably compromised, often to the former’s detriment. Aphasics’ productions represent a vivid example of how the interpretation of speeches can be far from involving fixed and static operations. Instead, it entails continuously reallocating cognitive resources toward the most readily available and accessible sources for the speakers. This case study ultimately demonstrates that the influence of semantic and pragmatic processes in shaping and conveying meanings displays remarkable adaptability, continuously adjusting to the ever changing demands placed upon speakers. -/- . (shrink)

Semantics traditionally focuses on linguistic meaning. In recent years, the Super Linguistics movement has tried to broaden the scope of inquiry in various directions, including an extension of semantics to talk about the meaning of pictures. There are close similarities between the interpretation of language and of pictures. Most fundamentally, pictures, like utterances, can be either true or false of a given state of affairs, and hence both express propositions (Zimmermann, 2016; Greenberg, 2013; Abusch, 2015). Moreover, sequences of (...) pictures, like sequences of utterances, can be used to tell stories. Wordless picture books, comics, and film are cases in point. In this paper I pick up the project of providing a dynamic semantic account of pictorial story-telling, started by Abusch (2012) and continued by Abusch & Rooth (2017); Maier & Bimpikou (2019); Fernando (2020). More specifically, I propose here a semantics of speech and thought bubbles by adding event reference to PicDRT. To get there I first review the projection-based semantics for pictures (section 1), noting the fundamental distinction between symbolic and iconic meaning that makes speech bubbles especially interesting (section 2). I then review the dynamic PicDRT framework for pictorial narratives (section 3), add events (section 4), and propose an account of speech bubbles as quotational event modification (section 5). I end with a brief look at other conventional, symbolic enrichments in comics (section 6). (shrink)

In recent work on Frege, one of the most salient issues has been whether he was prepared to make serious use of semantical notions such as reference and truth. I argue here Frege did make very serious use of semantical concepts. I argue, first, that Frege had reason to be interested in the question how the axioms and rules of his formal theory might be justified and, second, that he explicitly commits himself to offering a justification that appeals to the (...) notion of reference. I then discuss the justifications Frege offered, focusing on his discussion of inferences involving free variables, in section 17 of Grundgesetze, and his argument, in sections 29-32, that every well-formed expression of his formal language has a unique reference. (shrink)

This paper explores some ways how perceptual-cognitive accounts of anorexia can benefit from philosophy. The first section focuses on the three dimensions of anorexia most open to a contribution from philosophy: the dimensions of language, perception and cognition. In the second section, I offer a brief overview of what philosophy has to say regarding these dimensions, especially as they relate to two crucial issues: introspection and meaning. I draw from current philosophy of language, especially from the arguments against using internal (...) perception as a model for the way we express our own bodily states. I draw also from current philosophy of interpretation, especially from debates concerning the criteria for handling dialogical misunderstanding. I use these insights to expose some dangers in assuming and working with oversimplified accounts of introspection and meaning. I then suggest refined and updated accounts and examine their applicability and usefulness in the diagnosis and treatment of anorexia. (shrink)

Objective. Conceptualization of the definition of space as a semantic unit of language consciousness. -/- Materials & Methods. A structural-ontological approach is used in the work, the methodology of which has been tested and applied in order to analyze the subject matter area of psychology, psycholinguistics and other social sciences, as well as in interdisciplinary studies of complex systems. Mathematical representations of space as a set of parallel series of events (Alexandrov) were used as the initial theoretical basis of the (...) structural-ontological analysis. In this case, understanding of an event was considered in the context of the definition adopted in computer science – a change in the object properties registered by the observer. -/- Results. The negative nature of space realizes itself in the subject-object structure, the components interaction of which is characterized by a change – a key property of the system under study. Observer’s registration of changes is accompanied by spatial focusing (situational concretization of the field of changes) and relating of its results with the field of potentially distinguishable changes (subjective knowledge about «changing world»). The indicated correlation performs the function of space identification in terms of recognizing its properties and their subjective significance, depending on the features of the observer`s motivational sphere. As a result, the correction of the actual affective dynamics of the observer is carried out, which structures the current perception of space according to principle of the semantic fractal. Fractalization is a formation of such a subjective perception of space, which supposes the establishment of semantic accordance between the situational field of changes, on the one hand, and the worldview, as well as the motivational characteristics of the observer, on the other. -/- Conclusions. Performed structural-ontological analysis of the system formed by the interaction of the perceptual function of the psyche and the semantic field of the language made it possible to conceptualize the space as a field of changes potentially distinguishable by the observer, structurally organized according to the principle of the semantic fractal. The compositional features of the fractalization process consist in fact that the semantic fractal of space is relevant to the product of the difference between the situational field of changes and the field of potentially distinguishable changes, adjusted by the current configuration of the observer`s value-needs hierarchy and reduced by his actual affective dynamics. (shrink)

This paper defends the legitimacy of semantical responses to certain skeptical challenges, with a particular focus on Putnam’s treatment of a particular version of Brain-in-Vat skepticism. It argues that while Putnam’s argument does not provide a general reply to Brain-in-Vat skepticism, the general approach it exemplifies is actually crucial in replying to other skeptical challenges that are otherwise hard to rebut.

In this paper, I focus on the alleged distinction between speaker’s reference and semantic reference. I begin by discussing Saul Kripke’s notion of speaker’s reference and the theoretical roles it is supposed to play, arguing that they do not justify the claim that reference comes in two different sorts and highlighting that Kripke’s own definition makes the notion incompatible with the nowadays widely endorsed Gricean project, which aims at explaining semantic reference in terms of speaker’s reference. I then examine (...) an alternative account of speaker’s reference offered by Michael Devitt within his causal theory and express some doubts about its suitability for explaining proper name semantic reference. From all this, I conclude that there is at least some tension between Kripke’s chain of communication picture and the attempt to explain (Griceanly, so to say) semantic properties in terms of speakers’ mental states. (shrink)

Featured course on "Dynamic Semantics" at NASSLLI 2016. Day 3: Indexicality. Abstract: Cross-linguistic evidence shows that indexicality, too, crucially involves context change. Speaking up focuses attention on that event and thereby makes it available for discourse reference (by "i", "you", etc). In Kalaallisut, this explains parallel grammatical marking of indexical reference and topic-oriented anaphora. Moreover, shiftable indexicals in Slavey show that certain expressions, e.g. attitude verbs, may update the top perspectival discourse referent from the speech event to an attitude (...) state. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material (...) inference and Greg Restall’s bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

The influence of historical-causal theories of reference developed in the late sixties and early seventies by Donnellan, Kripke, Putnam and Devitt has been so strong that any semantic theory that has the consequence of assigning disjunctive representational content to the mental states of twins (e.g. [H2O or XYZ]) has been thereby taken to refute itself. Similarly, despite the strength of pre-theoretical intuitions that exact physical replicas like Davidson's Swampman have representational mental states, people have routinely denied that they have any (...) intentional/representational states. I want to focus on a particular brand of causal theory that is not historical, the so-called pure informational or nomic covariance theories, and examine how they propose to handle twin cases and replicas like Swampman. In particular, I will take up Fodor. (shrink)

This paper defends the view that the Faculty of Language is compositional, i.e., that it computes the meaning of complex expressions from the meanings of their immediate constituents and their structure. I fargue that compositionality and other competing constraints on the way in which the Faculty of Language computes the meanings of complex expressions should be understood as hypotheses about innate constraints of the Faculty of Language. I then argue that, unlike compositionality, most of the currently available non-compositional constraints predict (...) incorrect patterns of early linguistic development. This supports the view that the Faculty of Language is com- positional. More generally, this paper presents a way of framing the compositionality debate (by focusing on its implications for language acquisition) that can lead to its even- tual resolution, so it will hopefully also interest theorists who disagree with its main conclusion. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents, (1) truth-conditions, and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth- conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

When reusing existing ontologies for publishing a dataset in RDF (or developing a new ontology), preference may be given to those providing extensive subcategorization for important classes (denoted as focus classes). The subcategories may consist not only of named classes but also of compound class expressions. We define the notion of focused categorization power of a given ontology, with respect to a focus class and a concept expression language, as the (estimated) weighted count of the categories that can (...) be built from the ontology’s signature, conform to the language, and are subsumed by the focus class. For the sake of tractable initial experiments we then formulate a restricted concept expression language based on existential restrictions, and heuristically map it to syntactic patterns over ontology axioms (so-called FCE patterns). The characteristics of the chosen concept expression language and associated FCE patterns are investigated using three different empirical sources derived from ontology collections: first, the concept expression pattern frequency in class definitions; second, the occurrence of FCE patterns in the Tbox of ontologies; and last, for class expressions generated from the Tbox of ontologies (through the FCE patterns); their ‘meaningfulness’ was assessed by different groups of users, yielding a ‘quality ordering’ of the concept expression patterns. The complementary analyses are then compared and summarized. To allow for further experimentation, a web-based prototype was also implemented, which covers the whole process of ontology reuse from keyword-based ontology search through the FCP computation to the selection of ontologies and their enrichment with new concepts built from compound expressions. (shrink)

In this paper, I propose a virtue-theoretic approach to semantics, according to which the study of linguistic competence in particular, and the study of meaning and language in general, should focus on a speaker's interpretative virtues, such as charity and interpretability, rather than the speaker's knowledge of rules. The first part of the paper proffers an argument for shifting to virtue semantics, and the second part outlines the nature of such virtue semantics.

A computer can come to understand natural language the same way Helen Keller did: by using “syntactic semantics”—a theory of how syntax can suffice for semantics, i.e., how semantics for natural language can be provided by means of computational symbol manipulation. This essay considers real-life approximations of Chinese Rooms, focusing on Helen Keller’s experiences growing up deaf and blind, locked in a sort of Chinese Room yet learning how to communicate with the outside world. Using the SNePS (...) computational knowledge-representation system, the essay analyzes Keller’s belief that learning that “everything has a name” was the key to her success, enabling her to “partition” her mental concepts into mental representations of: words, objects, and the naming relations between them. It next looks at Herbert Terrace’s theory of naming, which is akin to Keller’s, and which only humans are supposed to be capable of. The essay suggests that computers at least, and perhaps non-human primates, are also capable of this kind of naming. (shrink)

To avoid difficulties that arise when we appeal to speaker intentions or multiple rules to determine the meaning of indexicals, Cohen (2013) recently defends a conventionalist account of these terms that focuses on their context of tokening. Apart from some tricky cases already discussed in the literature, however, such an account faces a serious difficulty: in many speech acts, multiple apparent tokens are produced – for example when a speaker speaks on a telephone, and her utterance is heard both where (...) she speaks, and at the location of the receiver of the call. The ‘token-contextual’ account seems to imply that in such cases a speaker will simultaneously produce multiple contradictory utterances. Here I argue that to resolve such problems we cannot help but to invoke speaker intentions. However, by appealing to intentions at the level of the metaphysics of semantic tokens, rather than to decide their meaning, the token-contextualist can make this appeal without reintroducing the difficulties associated with intentionalist accounts that she hopes to avoid. The resulting metaphysics of semantic tokens is, interestingly, more complex than we might have expected. -/- . (shrink)

The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, (...) at least in the terms commonly expressed, can be misleading. We argue that the traditional notion of “interpretation” within the syntax/semantic debate is not the same as that of the debate concerning the interpretation of quantum mechanics. As much as the term is the same, the term “interpretation” as employed in quantum mechanics has its meaning beyond (pure) logic. Our main focus here lies on the formal aspects of the solutions to the measurement problem. There are many versions of quantum theory, many of them incompatible with each other. In order to encompass a wider variety of approaches to quantum theory, we propose a different one with an emphasis on pure formalism. This perspective has the intent of elucidating the role of each so-called “interpretation” of quantum mechanics, as well as the precise origin of the need to interpret it. (shrink)

In recent years, sequencing technologies have enabled the identification of a wide range of non-coding RNAs (ncRNAs). Unfortunately, annotation and integration of ncRNA data has lagged behind their identification. Given the large quantity of information being obtained in this area, there emerges an urgent need to integrate what is being discovered by a broad range of relevant communities. To this end, the Non-Coding RNA Ontology (NCRO) is being developed to provide a systematically structured and precisely defined controlled vocabulary for the (...) domain of ncRNAs, thereby facilitating the discovery, curation, analysis, exchange, and reasoning of data about structures of ncRNAs, their molecular and cellular functions, and their impacts upon phenotypes. The goal of NCRO is to serve as a common resource for annotations of diverse research in a way that will significantly enhance integrative and comparative analysis of the myriad resources currently housed in disparate sources. It is our belief that the NCRO ontology can perform an important role in the comprehensive unification of ncRNA biology and, indeed, fill a critical gap in both the Open Biological and Biomedical Ontologies (OBO) Library and the National Center for Biomedical Ontology (NCBO) BioPortal. Our initial focus is on the ontological representation of small regulatory ncRNAs, which we see as the first step in providing a resource for the annotation of data about all forms of ncRNAs. (shrink)

This paper discusses the proper taxonomy of the semantics-pragmatics divide. Debates about taxonomy are not always pointless. In interesting cases taxonomic proposals involve theoretical assumptions about the studied field, which might be judged correct or incorrect. Here I want to contrast an approach to the semantics-pragmatics dichotomy, motivated by a broadly Gricean perspective I take to be correct, with a contemporary version of an opposing “Wittgensteinian” view. I will focus mostly on a well-known example: the treatment of (...) referential uses of descriptions and descriptive uses of indexicals. The paper is structured as follows. I will start by characterizing in the first section the version of the Gricean approach I favor; in the second section, I will illustrate the differences between the two views by focussing on the example, and in the third section I will object to what I take to be the main Wittgensteinian consideration. (shrink)

Philosophical questions about minds and computation need to focus squarely on the mathematical theory of Turing machines (TM's). Surrogate TM's such as computers or formal systems lack abilities that make Turing machines promising candidates for possessors of minds. Computers are only universal Turing machines (UTM's)—a conspicuous but unrepresentative subclass of TM. Formal systems are only static TM's, which do not receive inputs from external sources. The theory of TM computation clearly exposes the failings of two prominent critiques, Searle's Chinese (...) room (1980) and arguments from Gödel's Incompleteness theorems (e.g., Lucas, 1961; Penrose, 1989), both of which fall short of addressing the complete TM model. Both UTM-computers and formal systems provide an unsound basis for debate. In particular, their special natures easily foster the misconception that computation entails intrinsically meaningless symbol manipulation. This common view is incorrect with respect to full-fledged TM's, which can process inputs non-formally, i.e., in a subjective and dynamically evolving fashion. To avoid a distorted understanding of the theory of computation, philosophical judgments and discussions should be grounded firmly upon the complete Turing machine model, the proper model for real computers. (shrink)

To avoid difficulties facing intention-based accounts of indexicals, Cohen () recently defends a conventionalist account that focuses on the context of tokening. On this view, a token of ‘here’ or ‘now’ refers to the place or time at which it tokens. However, although promising, such an account faces a serious problem: in many speech acts, multiple apparent tokens are produced. If I call Alaska from Paris and say ‘I'm here now’, an apparent token of my utterance will be produced in (...) both Paris and Alaska. The token-contextual account seems to imply that in such cases I will refer to both places and contradict myself. Here I argue that to resolve this and similar puzzles we must realize that not all apparent semantic tokens really are semantic tokens, and that to decide which ones count we must appeal to speaker intentions. However, because this appeal is made at the level of the metaphysics of semantic tokens rather than to determine their meaning, it does not raise the problems associated with intentionalism that the conventionalist hopes to avoid. The metaphysics of semantic tokens uncovered is surprisingly complex, showing that shapes and sounds can transition in and out of being utterances. (shrink)

Within the philosophy of language, contextualists typically hold (and semantic minimalists deny) that pragmatic elements of an utterance can affect its semantic content. This paper concretizes this debate by analogizing both positions to different kinds of time-travel stories: contextualism is akin to Ludovician narratives that deny the possibility of temporal editing (or “the changing of past events”) while semantic minimalism is aligned with stories that allow the past to be literally altered. By focusing particularly on Denis Villeneuve’s 2016 film Arrival, (...) which portrays a Ludovician model of temporality that firmly denies the possibility of temporal editing, this paper defends the strength of the contextualist position. (shrink)

Intellectual humility can be broadly construed as being conscious of the limits of one’s existing knowledge and capable to acquire more knowledge, which makes it a key virtue of the information age. However, the claim “I am (intellectually) humble” seems paradoxical in that someone who has the disposition in question would not typically volunteer it. There is an explanatory gap between the meaning of the sentence and the meaning the speaker ex- presses by uttering it. We therefore suggest analyzing intellectual (...) humility semantically, using a psycholexical approach that focuses on both synonyms and antonyms of ‘intellectual humili- ty’. We present a thesaurus-based methodology to map the semantic space of intellectual hu- mility and the vices it opposes as a heuristic to support philosophical and psychological anal- ysis of this disposition. We performed the mapping both in English and German in order to test for possible cultural differences in the understanding of intellectual humility. In both lan- guages, we find basically the same three semantic dimensions of intellectual humility (sensi- bility, discreetness, and knowledge dimensions) as well as three dimensions of its related vic- es (self-overrating, other-underrating and dogmatism dimensions). The resulting semantic clusters were validated in an empirical study with English (n=276) and German (n=406) par- ticipants. We find medium to high correlations (0.54-0.72) between thesaurus similarity and perceived similarity, and we can validate the labels of the three dimensions identified in the study. But we also find indications of the limitations of the thesaurus methodology in terms of cluster plausibility. We conclude by discussing the importance of these findings for construct- ing psychometric scales for intellectual humility. (shrink)

In his _Being Known_ Peacocke sets himself the task of answering how we come to know about metaphysical necessities. He proposes a semantic principle-based conception consisting of, first, his Principles of Possibility which pro­vide necessary and sufficient conditions for a new concept 'admissibility', and second, characterizations of possibility and of necessity in terms of that new con­cept. I focus on one structural feature; viz. the recursive application involved in the specification of 'admissibility'. After sketching Peacocke’s proposal, I intro­duce a (...) fictional protagonist, Cautious Peacocke, whose coherence I claim shows that Peacocke s proposal cannot be made good. I conclude with the conjecture that similar failure will attend any such semantic-based attempts to ground the epistemology of metaphysical necessity. -/- Dans son livre intitulé Being Known, C. Peacocke se propose de repondre à la question de savoir comment nous en venons a connaitre des nécessités métaphysiques. Il développe une conception sémantique reposant sur des principes comprenant, d’une part, ses Principes de Possibilité — qui fournissent les conditions nécessaires et suffisantes pour un nouveau concept, « l’admissibilité » — et d’autre part des caractérisations de la possibilité et de la nécessité a l’aide de ce nouveau concept. Je me concentre sur une caractéristique structurelle, a savoir l’application récursive a l’œuvre dans la spécification de «l’admissibilité ». Apres avoir esquisse la proposition de Peacocke, j’introduis un personnage fictif, Peacocke-prudent. Je soutiens que la cohérence de ce personnage montre que la proposition de Peacocke ne peut pas être satisfaite. Je conclus en conjecturant qu’un échec similaire se présentera pour toutes les tentatives de fonder l’épistemologie de la nécessité métaphysique sur de telles bases semantiques. (shrink)

The additive presupposition of particles like "too"/"even" is uncontested, but usually stipulated. This paper proposes to derive it based on two properties. (i) "too"/"even" is cross-linguistically focus-sensitive, and (ii) in many languages, "too"/"even" builds negative polarity items and free-choice items as well, often in concert with other particles. (i) is the source of its existential presupposition, and (ii) offers clues regarding how additivity comes about. (i)-(ii) together demand a sparse semantics for "too/even," one that can work with different (...) kinds of alternatives (focus, subdomain, scalar) and invoke suitably different further operators. (shrink)

CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. This is Part 3 of a five-part introduction. The focus here is on explaining the semantic model for CAT4. Points in CAT4 graphs represent facts. We introduce all the formal (data) elements used in the classic semantic model: sense or intension (1st and 2nd joins), reference (3rd join), functions (4th (...) join), time and truth (logical fields), and symbolic content (name/value fields). Concepts are introduced through examples alternating with theoretical discussion. Some concepts are assumed from Part 1 and 2, but key ideas are re-introduced. The purpose is to explain the CAT4 interpretation, and why the data structure and CAT4 axioms have been chosen: to make the semantic model consistent and complete. We start with methods to translate information from database tables into graph DBs and into CAT4. We conclude with a method for translating natural language into CAT4. We conclude with a comparison of the system with an advanced semantic logic, the hyper-intensional logic TIL, which also aims to translate NL into a logical calculus. The CAT4 Natural Language Translator is discussed in further detail in Part 4, when we introduce functions more formally. Part 5 discusses software design considerations. (shrink)

This paper focuses on the interpretation of the Italian approximative adverb quasi 'almost' by primarily looking at cases in which it modifies temporal connectives, a domain which, to our knowledge, has been largely unexplored thus far. Consideration of this domain supports the need for a scalar account of the semantics of quasi (close in spirit to Hitzeman's semantic analysis of almost, in: Canakis et al. (eds) Papers from the 28th regional meeting of the Chicago Linguistic Society, 1992). When paired (...) with suitable analyses of temporal connectives, such an account can provide a simple explanation of the patterns of implication that are observed when quasi modifies locational (e. g. quando 'when'), directional (e. g. fino 'until' and da 'since'), and event-sequencing temporal connectives (e. g. prima 'before' and dopo ' after'). A challenging empirical phenomenon that is observed is a contrast between the modification of fino and da by quasi, on the one hand, and the modification of prima and dopo by the same adverb, on the other. While quasi fino and quasi da behave symmetrically, a puzzling asymmetry is observed between quasi prima and quasi dopo. To explain the asymmetry, we propose an analysis of prima and dopo on which the former has the meaning of the temporal comparative più presto 'earlier', while the latter is seen as an atomic predicate denoting temporal succession between events (Del Prete, Nat Lang Semantics 16: 157-203, 2008). We show that the same pattern of implication observed for quasi prima is attested when quasi modifies overt comparatives, and propose a pragmatic analysis of this pattern that uniformly applies to both cases, thus providing new evidence for the claim that prima is underlyingly a comparative. A major point of this paper is a discussion of the notion of scale which is relevant for the semantics of quasi', in particular, we show that the notion of Horn (entailment-based) scale is not well-suited for handling modification of temporal connectives, and that a more general notion of scale is required in order to provide a uniform analysis of quasi as a cross-categorial modifier. (shrink)

Tractatus 4.024 inspired the dominant semantics of our time: truth-conditional semantics. Such semantics is focused on possible worlds: the content of p is the set of worlds where p is true. It has become increasingly clear that such an account is, at best, defective: we need an ‘independent factor in meaning, constrained but not determined by truth-conditions’ (Yablo 2014, p. 2), because sentences can be differently true at the same possible worlds. I suggest a missing comment which, (...) had it been included in the Tractatus, would have helped semantics get this right from the start. This is my 4.0241: ‘Knowing what is the case if a sentence is true is knowing its ways of being true’: knowing a sentence’s truth possibilities and what we now call its topic, or subject matter. I show that the famous ‘fundamental thought’ that ‘the “logical constants” do not represent’ (4.0312) can be understood in terms of ways-based views of meaning. Such views also help with puzzling claims like 5.122: ‘If p follows from q, the sense of “p” is contained in the that of “q”’, which are compatible with a conception of entailment combining truth-preservation with the preservation of topicality, or of ways of being true. (shrink)

This chapter introduces readers to the empirical questions at issue in debates over gendered pronouns and assesses the plausibility of various possible answers to these questions. It has two parts. The first is a general introduction to the linguistics and psychology of grammatical gender. The second focuses on the meanings of gendered pronouns in English. It begins with a discussion of some methodological limitations of empirical approaches to the topic and the normative implications of those limitations. It then argues against (...) three simple theories of the semantics of gendered pronouns in English and proposes an alternative that fares better: the Gender-First View. Finally, it discusses the singular use of 'they' and its connection to nonbinary gender identities. (shrink)

Ways of Scope Taking is concerned with syntactic, semantic and computational aspects of scope. Its starting point is the well-known but often neglected fact that different types of quantifiers interact differently with each other and other operators. The theoretical examination of significant bodies of data, both old and novel, leads to two central claims. (1) Scope is a by-product of a set of distinct Logical Form processes; each quantifier participates in those that suit its particular features. (2) Scope interaction is (...) further constrained by the semantics of the interacting operators. The arguments are developed using Minimalist syntax, Generalized Quantify theory, Discourse Representation Theory, and algebraic semantics. The contributors (Beghelli, Ben-Shalom, Doetjes, Farkas, Gutiérrez Rexach, Honcoop, Stabler, Stowell, Szabolcsi and Zwarts) make tightly related theoretical assumptions and focus on related empirical phenomena, which include the direct and inverse scope of quantifiers, distributivity, negation, modal and intensional contexts, weak islands, event-related readings, interrogatives, wh/quantifier interactions, and Hungarian syntax. An introduction to the formal semantics background is provided. Audience: Linguists, philosophers, computational and psycholinguists; advanced undergraduates, graduate students and researchers in these fields. (shrink)

There are several types of truths. In this paper I focus on semantic truths, and within these on factual truths. These truths are attributed to statements. I review the theory of the truth proposed by Bunge and discuss some problems that it presents. I suggest that a theory of truth of factual statements should be complemented by a theory of relevance, and propose the basic tenets of it. Finally, I briefly discuss the nature of propositions and the problem of (...) scientific truth in the light of the presented semantic theory. (shrink)

This paper focuses on a combination of the antiskeptical strategies offered by semantic externalism and the inference to the best explanation. I argue that the most difficult problems of the two strategies can be solved, if the strategies are combined: The strategy offered by semantic externalism is successful against standard skeptical brain-in-a-vat arguments. But the strategy is ineffective, if the skeptical argument is referring to the recent-envatment scenario. However, by focusing on the scenario of recent envatment the most difficult problems (...) of the antiskeptical strategy posed by the inference to the best explanation can be solved. The most difficult problems with this strategy are: Why is an explanation of our experience offered by the skeptical hypothesis more complex than our standard explanation? Why is the more complex explanation less likely to be true? By focussing on the recent envatment hypothesis both questions can be answered satisfactorily. Therefore, the combination of semantic externalism and the inference to the best explanation yields a powerful antiskeptical argument. (shrink)

One of the philosophical uses of Dedekind’s categoricity theorem for Peano Arithmetic is to provide support for semantic realism. To this end, the logical framework in which the proof of the theorem is conducted becomes highly significant. I examine different proposals regarding these logical frameworks and focus on the philosophical benefits of adopting open-ended schemas in contrast to second order logic as the logical medium of the proof. I investigate Pederson and Rossberg’s critique of the ontological advantages of open-ended (...) arithmetic when it comes to establishing the categoricity of Peano Arithmetic and show that the critique is highly problematic. I argue that Pederson and Rossberg’s ontological criterion deliver the bizarre result that certain first order subsystems of Peano Arithmetic have a second order ontology. As a consequence, the application of the ontological criterion proposed by Pederson and Rossberg assigns a certain type of ontology to a theory, and a different, richer, ontology to one of its subtheories. (shrink)