McKeon was a pragmatist who developed a heuristic that outlined the philosophical roots behind the tensions created by the paradox of pluralism. This heuristic was based on the four main schools of ancient Greek philosophy and allowed McKeon to map out how different philosophical perspectives create different understandings of foundational concepts such as freedom, history and motion. This paper applies that heuristic to the concept of communication and demonstrates how different philosophical approaches create tension over the definition of communication. Scholars (...) can use this application to both better approach McKeon’s pragmatism as well as gain insight into the philosophical foundations of our own perspectives of communication. (shrink)

Recent research on human problem solving has largely focused on laboratory tasks that do not demand from the subject much prior, task‐related information. This study seeks to extend the theory of human problem solving to semantically richer domains that are characteristic of professional problem solving. We discuss the behavior of a single subject solving problems in chemical engineering thermodynamics. We use as a protocol‐encoding device a computer program called SAPA which also doubles as a theory of the subject's problem‐solving behavior. (...) The subject made extensive use of means‐ends analysis, similar to that observed in semantically less rich domains, supplemented by recognition mechanisms for accessing information in semantic memory. (shrink)

When one considers the protracted and continuing struggle of the citizens of Oregon to include physician-assisted suicide among the panoply of measures available to dying patients and the physicians who care for them, the depth and breadth of the issue becomes inescapable. The potential intractability of the dispute is illustrated by the very fact, noted in the preceding parenthetical phrase, that consensus eludes us on even the most basic of semantic points—how we are to most aptly characterize the conduct (...) in question? The case featured in this issue's The Caduceus in Court must be examined as the latest battle in a long war of attrition waged by opponents of physician-assisted suicide against the Oregon Death with Dignity Act. After briefly reviewing that history, I will then consider the details of Oregon v. Ashcroft and the implications of the litigation not only for the care of dying patients but also for the regulation of medical practice in the United States and, more broadly still, the search for resolution of serious medical disputes in a democratic society. (shrink)

We outline a novel theory of natural language meaning, Rich Situated Semantics [RSS], on which the content of sentential utterances is semantically rich and informationally situated. In virtue of its situatedness, an utterance’s rich situated content varies with the informational situation of the cognitive agent interpreting the utterance. In virtue of its richness, this content contains information beyond the utterance’s lexically encoded information. The agent-dependence of rich situated content solves a number of problems in semantics and the philosophy of (...) language (cf. [14, 20, 25]). In particular, since RSS varies the granularity of utterance contents with the interpreting agent’s informational situation, it solves the problem of finding suitably fine- or coarse-grained objects for the content of propositional attitudes. In virtue of this variation, a layman will reason with more propositions than an expert. (shrink)

Deictic (or pointing) gestures are traditionally known to have a simple function: to supply something as the referent of a demonstrative linguistic expression. I argue that deixis can have a more complex function. A deictic gesture can be used to _say something_ in conversation and can thereby become a full discourse move in its own right. To capture this phenomenon, which I call _rich demonstration_, I present an update semantics on which deictic gestures can indicate situations from a conversation’s context (...) and those situations coherently connect to prior discourse to generate information. (shrink)

With the use symbols by political subjects arises the problem of their understanding. Groups of symbols can be created in such a way to contain a message. The state coat of arms is a political symbol, in which is concentrated a number of meanings and significance. The coat of arms — it is a symbol garnished with colossal endless meaning and potential withing its power. Besides this, the state coat of arms appears in numbers like mandalas: it is like this (...) archaic symbol, that combines various geometric shapes expressing the idea of order. The state coat of arms perceptively unites people of different genders, ages, social status andfaith into a united orderly community. A person contemplating the state coat of arms understands it as the center of the universe. The coat of arms is transformed into endlessness, attaining the result of uniting the macrocosm — society and state — and with the macrocosm — man. The function of political symbols exists so as to represent the “body” of a concrete political subject or society as a whole, at the same time in every part of a text “is highlighted” yet another part of the endless semantical richness of the symbol. Political symbols have important significance for the support or destruction of socio-political order. But the chief essence ofpolitical symbols — is the ability to give meaning to all political activities, and the regular “exposition” of state symbols guarantees the stability of the existing socio-political system. (shrink)

The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and many-valued logic, lattice theory, game theory, and topology. One source of this richness is the inherent non-monotonicity of its negation, something that does not have close parallels with the machinery of other programming paradigms. Nonetheless, much of the work on logic programming semantics seems to exist side by side with similar work done for imperative and functional programming, with relatively minimal (...) contact between communities. In this paper we summarize one variety of approaches to the semantics of logic programs: that based on fixpoint theory. We do not attempt to cover much beyond this single area, which is already remarkably fruitful. We hope readers will see parallels with, and the divergences from the better known fixpoint treatments developed for other programming methodologies. (shrink)

Minimal Semantics asks what a theory of literal linguistic meaning is for - if you were to be given a working theory of meaning for a language right now, what would you be able to do with it? Emma Borg sets out to defend a formal approach to semantic theorising from a relatively new type of opponent - advocates of what she call 'dual pragmatics'. According to dual pragmatists, rich pragmatic processes play two distinct roles in linguistic comprehension: as (...) well as operating in a post-semantic capacity to determine the implicatures of an utterance, they also operate prior to the determination of truth-conditional content for a sentence. That is to say, they have an integral role to play within what is usually thought of as the semantic realm. Borg believes dual pragmatic accounts constitute the strongest contemporary challenge to standard formal approaches to semantics since they challenge the formal theorist to show not merely that there is some role for formal processes on route to determination of semantic content, but that such processes are sufficient for determining content. Minimal Semantics provides a detailed examination of this school of thought, introducing readers who are unfamiliar with the topic to key ideas like relevance theory and contextualism, and looking in detail at where these accounts diverge from the formal approach. Borg's defence of formal semantics has two main parts: first, she argues that the formal approach is most naturally compatible with an important and well-grounded psychological theory, namely the Fodorian modular picture of the mind. Then she argues that the main arguments adduced by dual pragmatists against formal semantics - concerning apparent contextual intrusions into semantic content - can in fact be countered by a formal theory. The defence holds, however, only if we are sensitive to the proper conditions of success for a semantic theory. Specifically, we should reject a range of onerous constraints on semantic theorizing (e.g., that it answer epistemic or metaphysical questions, or that it explain our communicative skills) and instead adopt a quite minimal picture of semantics. (shrink)

Lexical Semantics is about the meaning of words. Although obviously a central concern of linguistics, the semantic behaviour of words has been unduly neglected in the current literature, which has tended to emphasize sentential semantics and its relation to formal systems of logic. In this textbook D. A. Cruse establishes in a principled and disciplined way the descriptive and generalizable facts about lexical relations that any formal theory of semantics will have to encompass. Among the topics covered in depth (...) are idiomaticity, lexical ambiguity, synonymy, hierarchical relations such as hyponymy and meronymy, and various types of oppositeness. Syntagmatic relations are also treated in some detail. The discussions are richly illustrated by examples drawn almost entirely from English. Although a familiarity with traditional grammar is assumed, readers with no technical linguistic background will find the exposition always accessible. All readers with an interest in semantics will find in this original text not only essential background but a stimulating new perspective on the field. (shrink)

Semantic systems are sytems with an inherent semantics. An example would be systems showing intrinsic intentionality: if a system is genuinely intentional, it must be able to define its own meanings. Searle was a forerunner of the modern idea of semantic systems in his oft-cited “Chinese Room” paper in 1980. The current author has approached the problem from a different angle 30 years ago in his book Self-Modifying Systems, claiming that minds can define their own meanings by virtue (...) of being “material”, in the sense of freely generating new properties on the fly, as do material objects. In the course of the process, meaning should arise because syntax does not fully describe the rich functioning of such systems, so goes the argument. While still attractive, the author has in the meantime abandoned the idea, for at least two reasons. One, fundamentals-seeking has itself been largely abandoned, because the study of questions like “is the mind computational”? has turned out to be non-productive. Two, brute force approaches such as ANN-based deep learning have been “unreasonably” successful, and this fact puts aside arguments about the limits of computational systems. The paper provides an overview of these developments. (shrink)

The informational content conveyed by utterances has two sources:meaning as it is encoded in words and rules of semantic composition (often called literal or semantic meaning) and further inferences that may be obtained by reasoning on the speaker's motives (the conjunction of these inferences with the literal meaning is often called the strengthened or pragmatic meaning of the sentence). While in simple cases the difference can seem obvious enough, in general this is not so, and the investigation of (...) the semantics–pragmatics interface has proven to be one of the most vibrant areas of research in contemporary studies of meaning. We will survey three domains – scalar implicatures, presuppositions, and conventional implicatures – in which there are considerable empirical benefits to be obtained from this enterprise. However, it is also of foundational and methodological interest: knowledge of semantic meaning is part of knowledge of language; by contrast, pragmatic inferences are derived in part from the assumption that the speaker obeys certain rules of behavior – typically ones dictated by rationality (which may, for instance, lead to the maximization of the utility of an utterance to the speaker or to others). Owing to foundational interest in the interaction between language and reasoning, the study of the semantics– pragmatics interface originated in philosophy; however, it quickly became a central topic within linguistics and psycholinguistics, and the convergence of results from these last two fields has resulted in rich cross-disciplinary exchanges. For reasons of space, we do not consider psycholinguistic results in this survey, but it should be said at the outset that they have changed the face of the field by providing new and more reliable data (for instance, on processing and language acquisition) and sometimes by challenging data that had too quickly become solidified on the basis of unsystematic introspection alone. -/- As we will see, the debates are more open than ever. Scalar implicatures, which were usually considered a staple of pragmatic reasoning, have recently been reassigned to the semantics or even to the syntax by proponents of locally computed implicatures (‘localists’ for short). (shrink)

Despite its theoretical importance, little is known about how semantic memory structure facilitates and constrains creative idea generation. We examine whether the semantic richness of a concept has both benefits and costs to creative idea generation. Specifically, we tested whether cue set size—an index of semantic richness reflecting the average number of elements associated with a given concept—impacts the quantity (fluency) and quality (originality) of responses generated during the Alternate Uses Task (AUT). Across four studies, (...) we show that low-association, sparse, AUT cues benefit originality at the cost of fluency compared to high-association, rich, AUT cues. Furthermore, we found an interaction with individual differences in fluid intelligence in the low-association AUT cues, suggesting that constraints of sparse semantic knowledge can be overcome with top-down intervention. Our findings indicate that semantic richness differentially impacts the quality and quantity of generated ideas, and that cognitive control processes can facilitate idea production when conceptual knowledge is limited. (shrink)

In this paper back-and-forth structures are applied to the semantics of natural language. Back-and-forth structures consist of an event structure and an interval structure communicating via a relational link; transitions in the one structure correspond to transitions in the other. Such entities enable us to view temporal constructions (such as tense, aspect, and temporal connectives) as methods of moving systematically between information sources. We illustrate this with a treatment of the English present perfect, and progressive aspect, that draws on ideas (...) developed in Moens & Steedman (1988), and discuss the role of rich ontologies in formal semantics. (shrink)

Various questions arise in semantic analysis concerning the nature of types. These questions include whether we need types in a semantic theory, and if so, whether some version of simple type theory (STT, Church 1940) is adequate or whether a richer more flexible theory is required to capture our semantic intuitions. Propositions and propositional attitudes can be represented in an essentially untyped first-order language, provided a sufficiently rich language of terms is adopted. In the absence of rigid (...) typing, care needs to be taken to avoid the paradoxes, for example by constraining what kinds of expressions are to be interpreted as propositions (Turner 1992). But the notion of type is ontologically appealing. In some respects, STT seems overly restrictive for natural language semantics. For this reason it is appropriate to consider a system of types that is more flexible than STT, such as a Curry-style typing (Curry & Feys 1958). Care then has to be taken to avoid the logical paradoxes. Here we show how such an account, based on the Property Theory with Curry Types (PTCT, Fox & Lappin 2005), can be formalised within Typed Predicate Logic (TPL, Turner 2009). This presentation provides a clear distinction between the classes of types that are being used to (i) avoid paradoxes (ii) allow predicative polymorphic types. TPL itself provides a means of expressing PTCT in a uniform language. (shrink)

The epistemic modal auxiliaries must and might are vehicles for expressing the force with which a proposition follows from some body of evidence or information. Standard approaches model these operators using quantificational modal logic, but probabilistic approaches are becoming increasingly influential. According to a traditional view, must is a maximally strong epistemic operator and might is a bare possibility one. A competing account—popular amongst proponents of a probabilisitic turn—says that, given a body of evidence, must \ entails that \\) is (...) high but non-maximal and might \ that \\) is significantly greater than 0. Drawing on several observations concerning the behavior of must, might and similar epistemic operators in evidential contexts, deductive inferences, downplaying and retractions scenarios, and expressions of epistemic tension, I argue that those two influential accounts have systematic descriptive shortcomings. To better make sense of their complex behavior, I propose instead a broadly Kratzerian account according to which must \ entails that \ = 1\) and might \ that \ > 0\), given a body of evidence and a set of normality assumptions about the world. From this perspective, must and might are vehicles for expressing a common mode of reasoning whereby we draw inferences from specific bits of evidence against a rich set of background assumptions—some of which we represent as defeasible—which capture our general expectations about the world. I will show that the predictions of this Kratzerian account can be substantially refined once it is combined with a specific yet independently motivated ‘grammatical’ approach to the computation of scalar implicatures. Finally, I discuss some implications of these results for more general discussions concerning the empirical and theoretical motivation to adopt a probabilisitic semantic framework. (shrink)

Frequency effects are pervasive in studies of language, with higher frequency words being recognized faster than lower frequency words. However, the exact nature of frequency effects has recently been questioned, with some studies finding that contextual information provides a better fit to lexical decision and naming data than word frequency ( Adelman et al., 2006 ). Recent work has cemented the importance of these results by demonstrating that a measure of the semantic diversity of the contexts that a word (...) occurs in provides a powerful measure to account for variability in word recognition latency ( Johns et al., 2012, 2015 ; Jones et al., 2012 ). The goal of the current study is to extend this measure to examine bilingualism and aging, where multiple theories use frequency of occurrence of linguistic constructs as central to accounting for empirical results ( Gollan et al., 2008 ; Ramscar et al., 2014 ). A lexical decision experiment was conducted with four groups of subjects: younger and older monolinguals and bilinguals. Consistent with past results, a semantic diversity variable accounted for the greatest amount of variance in the latency data. In addition, the pattern of fits of semantic diversity across multiple corpora suggests that bilinguals and older adults are more sensitive to semantic diversity information than younger monolinguals. (shrink)

This paper develops a compositional, type-driven constraint semantic theory for a fragment of the language of subjective uncertainty. In the particular application explored here, the interpretation function of constraint semantics yields not propositions but constraints on credal states as the semantic values of declarative sentences. Constraints are richer than propositions in that constraints can straightforwardly represent assessments of the probability that the world is one way rather than another. The richness of constraints helps us model communicative acts (...) in essentially the same way that we model agents’ credences. Moreover, supplementing familiar truth-conditional theories of epistemic modals with constraint semantics helps capture contrasts between strong necessity and possibility modals, on the one hand, and weak necessity modals, on the other. (shrink)

The aim of this paper is to introduce an alternative to Łukasiewicz’s 4-valued modal logic Ł. As it is known, Ł is afflicted by “Łukasiewicz type paradoxes”. The logic we define, PŁ4, is a strong paraconsistent and paracomplete 4-valued modal logic free from this type of paradoxes. PŁ4 is determined by the degree of truth-preserving consequence relation defined on the ordered set of values of a modification of the matrix MŁ characteristic for the logic Ł. On the other hand, PŁ4 (...) is a rich logic in which a number of connectives can be defined. It also has a simple bivalent semantics of the Belnap–Dunn type. (shrink)

Community diversity has been studied extensively in relation to its effects on ecosystem functioning. Testing the consequences of diversity on ecosystem processes will require measures to be available based on a rigorous conceptualization of their very meaning. In the last decades, literally dozens of measures of diversity have been proposed. However, rather than using unrelated metrics, we need to identify their separate components so that possible links between them and ecosystem functioning can be examined using an agreed-upon language. In this (...) paper, first, a short overview on new and old measures of community diversity is presented. Next, I propose a general framework in which most of the existing measures of diversity are sorted into four interrelated semantic classes: richness, abundance-weighted diversity, evenness and divergence. In this view, this paper constitutes an attempt to organize the very large number of existing diversity measures avoiding ambiguities in the meaning of the different facets of community diversity. (shrink)

Mathematical tools of category theory are employed to study the syntax-semantics problem in the philosophy of mathematics. Every category has its internal logic, and if this logic is sufficiently rich, a given category provides semantics for a certain formal theory and, vice versa, for each formal theory one can construct a category, providing a semantics for it. There exists a pair of adjoint functors, Lang and Syn, between a category and a category of theories. These functors describe, in a formal (...) way, mutual dependencies between the syntactical structure of a formal theory and the internal logic of its semantics. Bell’s program to regard the world of topoi as the univers de discoursof mathematics and as a tool of its local interpretation, is extended to a collection of categories and all functors between them, called “categorical field”. This informal idea serves to study the interaction between syntax and semantics of mathematical theories, in an analogy to functors Lang and Syn. With the help of these concepts, the role of Gödel-like limitations in the categorical field is briefly discussed. Some suggestions are made concerning the syntax-semantics interaction as far as physical theories are concerned. (shrink)

This textbook, which is completely self-contained and can be read by anyone with a secondary school education, is the result of the author's material prepared over the past 15 years of teaching introductory natural language semantics to graduate and undergraduate students at McGill University. The intended audience comprises undergraduate and graduate students in linguistics as well as those in philosophy, computer science and psychology with an interest in natural language semantics. The aim of the textbook is to teach the fundamentals (...) of natural language semantics, with English as the principal, though not the exclusive, target language. The principal aim of the textbook is to provide the student with all the basics necessary to be able him or her read research in natural language semantics, regardless of the theory assumed by the author of the research. In contrast to other textbooks in the field, which aim to introduce students to a particular theory of natural language semantics, this textbook seeks to give to its reader a clear overview of the kind of natural language phenomena which, at least prima facie, fall within the ambit of an investigation of natural language semantics; to assist the reader in developing a mastery of the mathematical tools used to formulate hypotheses about the natural language phenomena studied; and to impart to the reader an appreciation of the interplay between hypothesis and data. As a result, the textbook is rich in its presentation of the patterns of English, drawing extensively on the best and most contemporary descriptive grammars of English. The textbook also has more than 500 exercises, with answers to half of them. (shrink)

Until Tarski’s semantic truth definition, the concept of truth was used informally in metalogic (metamathematics) or even proposed to be eliminated in favour of syntactic concepts, as in Rudolf Carnap’s early programme of philosophy via logical syntax. Tarski demonstrated that the concept of truth can be defined using precise mathematical devices. If L is a language for which the truth definition is given, it must be done in the metalanguage ML. According to this construction, semantics for L must be (...) performed in ML. The most important example concerns the arithmetic of natural numbers. According to Tarski’s theorem of undefinability, the set of truths of this theory cannot be defined in it – such a definition can be formulated in the metatheory. This fact illuminates the relation between syntax and semantics. If Th is a rich theory and presented as a syntactic theory (a calculus), its semantics is not reducible to its syntax. According to Tarski’s view, related to his work in the simple theory of types, semantics for L can be always constructed in the morphology of ML, provided that L is of the finite order. Two problems arise: what does the word “morphology” mean and how to formulate these ideas, when the framework is based on the distinction between first‑order logic and higher‑order logic. As far as the issue concerns morphology, it is possible to consider it as an extended syntax, i.e. vocabulary which does not refer to semantic concepts or defines such notions by not‑semantic, e.g. set‑theoretical, categories. If the hierarchy of logical types is replaced by the distinction of logics of various orders, in particular between first‑order and higher‑order (it is sufficient to use second‑order), it is possible to show that semantics of first‑order rich theories cannot be defined inside them. (shrink)

The lexical–semantic organization of the mental lexicon is bound to change across the lifespan. Nevertheless, the effects of lexical–semantic factors on word processing are usually based on studies enrolling young adult cohorts. The current study aims to investigate to what extent age‐specific semantic organization predicts performance in referential word production over the lifespan, from school‐age children to older adults. In Study 1, we conducted a free semantic association task with participants from six age‐groups (ranging from 10 (...) to 80 years old) to compute measures that capture age‐specific properties of the mental lexicon across the lifespan. These measures relate to lifespan changes in the Available Richness of the mental lexicon and in the lexical–semantic Network Prototypicality of concrete words. In Study 2, we used the collected data to predict performance in a picture‐naming task on a new group of participants within the same age‐groups as for Study 1. The results show that age‐specific semantic Available Richness and Network Prototypicality affect word production speed while the semantic variables collected only in young adults do not. A richer and more prototypical semantic network across subjects from a given age‐group is associated with faster word production speed. The current results indicate that age‐specific semantic organization is crucial to predict lexical–semantic behaviors across the lifespan. Similarly, these results also provide cues to the understanding of the lexical–semantic properties of the mental lexicon and to lexical selection in referential tasks. (shrink)

Recently, some philosophers have attempted to escape familiar challenges to orthodox nonnaturalist normative realism by abandoning the robust metaphysical commitments of the orthodox view. One such view is the ‘Non-Metaphysical Non-Naturalism’ or ‘Non-Realist Cognitivism’ proposed by Derek Parfit and a few others. The trouble is that, as it stands, Non-Realist Cognitivism seems unable to provide a substantive non-trivial account of the meaning and truth conditions of moral claims. The paper considers various strategies one might use to address the challenge. There (...) is a rich field of views that are cognitivist and non-realist. But the paper is skeptical of the prospects of Non-Realist Cognitivism. (shrink)

In this paper, we offer a novel analysis of presuppositions, paying particular attention to the interaction between the knowledge resources that are required to The analysis has two main features. First, we capture an analogy between presuppositions, anaphora and scope ambiguity (cf. van der Sandt 1992), by utilizing semantic under-specification (c£ Reyle 1993). Second, resolving this underspecification requires reasoning about how the presupposition is rhetorically connected to the discourse context. This has several consequences. First, since pragmatic information plays a (...) role in computing the rhetorical relation, it also constrains the interpretation of presuppositions. Our account therefore provides a formal framework for analysing problematic data, which require pragmatic reasoning. Second, binding presuppositions to the context via rhetorical links replaces accommodating them, in the sense of adding them to the context (cf. Lewis 1979). The treatment of presupposition is thus generalized and integrated into the discourse update procedure. We formalize this approach in SDRT (Asher 1993; Lascarides & Asher 1993), and demonstrate that it provides a rich framework for interpreting presuppositions, where semantic and pragmatic constraints are integrated. (shrink)

In the chapter “Information and Content” of their Impossible Worlds, Berto and Jago provide us with a semantic account of information in deductive reasoning such that we have an explanation for why some, but not all, logical deductions are informative. The framework Berto and Jago choose to make sense of the above-mentioned idea is a semantic interpretation of Sequent Calculus rules of inference for classical logic. I shall argue that although Berto and Jago’s idea and framework are hopeful, (...) their definitions do not capture what is intended. This is so because the definitions are solely based on the logical complexity of an argument and they fail to capture the richness of the non- logical content of that argument. Then I will suggest some amendments to address this problem. Finally, I will extend the application of the definitions to first-order logic. It shall be observed that in some classical deductions, applying contraction may lead to hiding some epistemic impossibilities. This happens when formulae which contribute different propositions to the proof get contracted at the quantified level. (shrink)

Uncontroversially, the semantic interpretation of comparative adjectives such as rich or small depends, among other factors, on a contextually salient comparison standard. Two alternative theories have been proposed in order to account for such contextual dependence: an indexicalist view, according to which comparative adjectives are indexical expressions, and a hidden variable approach, which insists that a comparison standard is contributed as the semantic value of a variable occurring at the level of semantic representation. In this paper, I (...) defend the indexicalist view against an influential argument favoring the hidden variable approach, the so-called argument from binding. I argue that independent evidence favors an understanding of comparison standards as functions, and that on such a conception of comparison standards the evidence put forth by the argument from binding is naturally accountable within an indexicalist treatment. (shrink)

The purpose of this paper is to propose a satisfying model-theoretic account of the notions of singularity, collective plurality, and distributive plurality expressed by both the nouns and the verbs of Papago according to Mathiot (1983). The approach will be algebraic in the sense of Link (1983). Informally, our proposal is that while English has only one form of plurality, Papago has two: one based on identity and the other on equivalence. The identity-based plural is one that Papago shares with (...) English and other Indo-European languages; the equivalence-based plural, on the other hand, is characteristic of Papago and other Native American languages. The extreme elaboration of the notion of multiplicity expressed in Papago follows from this proposal, given sufficiently rich models and independently motivated principles governing the semantics of roots (Wackernagel 1920; Ojeda 1993; Eschenbach 1993), markedness (Jakobson 1957), and verbs (Davidson 1967; Parsons 1990). (shrink)

Distributional semantic models (DSMs) are a primary method for distilling semantic information from corpora. However, a key question remains: What types of semantic relations among words do DSMs detect? Prior work typically has addressed this question using limited human data that are restricted to semantic similarity and/or general semantic relatedness. We tested eight DSMs that are popular in current cognitive and psycholinguistic research (positive pointwise mutual information; global vectors; and three variations each of Skip-gram and (...) continuous bag of words (CBOW) using word, context, and mean embeddings) on a theoretically motivated, rich set of semantic relations involving words from multiple syntactic classes and spanning the abstract–concrete continuum (19 sets of ratings). We found that, overall, the DSMs are best at capturing overall semantic similarity and also can capture verb–noun thematic role relations and noun–noun event-based relations that play important roles in sentence comprehension. Interestingly, Skip-gram and CBOW performed the best in terms of capturing similarity, whereas GloVe dominated the thematic role and event-based relations. We discuss the theoretical and practical implications of our results, make recommendations for users of these models, and demonstrate significant differences in model performance on event-based relations. (shrink)

There has frequently been taken to be a tension, if not an incompatibility, between "externalist" theories of content (which allow the make-up of one's physical environment and the linguistic usage of one's community to contribute to the contents of one's thoughts and utterances) and the "methodologically individualist" intuition that whatever contributes to the content of one's thoughts and utterances must ultimately be grounded in facts about one's own attitudes and behavior. In this dissertation I argue that one can underwrite such (...) externalist theories within a methodologically individualistic framework by understanding semantic norms in terms of the need to reach, for each of one's terms, a type of "equilibrium." Each speaker's commitment to making her _own_ beliefs and applications consistent allows one to incorporate these 'external' factors into the contents of their thoughts and utterances in a way that remains methodologically individualistic. Methodologically individualistic accounts are typically taken to be unable to incorporate 'external' factors such as the world's physical make-up or communal usage because of arguments suggesting that the individual's own beliefs and usage underdetermine or even misidentify what, according to externalist accounts, they mean by their terms. These arguments, however, only seem plausible if one presupposes a comparatively impoverished conception of the individual's beliefs. The beliefs a speaker associates with a given term extend far beyond the handful of sentences they would produce if asked to list such beliefs. In particular, speakers have an implicit, but rich, understanding of their language, their world, and the relation between them. Speakers typically understand languages as shared temporally extended practices about which they can be, both individually and collectively, mistaken. Once this conception of language is taken into account, the ascriptions which purportedly forced 'non-individualistic' conceptions of content upon us (particularly ascriptions which seemed to tie what we meant to social use rather than our own beliefs) turn out to be ultimately grounded in the individual's own beliefs. Indeed, our self-conception does much more than merely underwrite 'non-individualistic' ascriptions.. (shrink)

Semantic essentialism holds that any scientific term that appears in a well-confirmed scientific theory has a fixed kernel of meaning. Semantic essentialism cannot make sense of the strategies scientists use to argue for their views. Newton's central optical expression "light ray" suggests a context-sensitive view of scientific language. On different occasions, Newton's expression could refer to different things depending on his particular argumentative goals - a visible beam, an irreducibly smallest section of propagating light, or a traveling particle (...) of light. Essentialist views are too crude to account for the richness and subtleties present in actual episodes of scientific debate and theory-change. (shrink)

Prof. Ruth Barcan Marcus created quantified modal logic in 1946. She extended the Lewis calculus S2 to cover quantification. Quantified modal logic became an essential tool for the rigorous study of natural language in the hands of R. Montague in the late sixties. Some complex phenomena cannot be properly handled at the level of sentences. Recent researches in formal semantics have concentrated on discourse and led to a rich amount of results. Logical theories introduced for the logical study of programs (...) play an important role in these developments. We shall present a detailed account of the connection between dynamic logic and “static” logic. The core of the paper will be the translation of dynamic logic into S5. Developping an insight due to Prof. J. van Eijck, We shall offer a simplified version of the latter translation. The paper also relates to P. Gärdenfors' Knowledge in Flux. (shrink)

What are the pillars on which the success of modern science rest? Although philosophers have much discussed what is behind science’s success, this paper argues that much of the discussion is misdirected. The extant literature rightly regards the semantic and inferential tools of formal logic and probability theory as pillars of scientific rationality, in the sense that they reveal the justificatory structure of important aspects of scientific practice. As key elements of our rational reconstruction toolbox, they make a fundamental (...) contribution to our understanding of the success of science.At the same time, any science, however exact, is dominated by approximation, error, and uncertainty, a fact that makes one wonder how science can be so successful. This paper articulates and illustrates general themes—e.g., that truth-preserving arguments often fail to preserve approximate truth—that highlight the need for additional semantic resources. Thus, our proposal is that persistent failures to unravel the reasons behind the success of science in the face of pervasive error and uncertainty should be attributed to an insufficiently rich way of rationally reconstructing scientific and mathematical knowledge. What is missing? This paper claims that there is a third formal method of reasoning that constitutes a distinct pillar on which rests the success of science, namely, perturbation theory. The paper outlines how the representational and inferential tools of perturbation theory differ from those of logic and probability theory, and how they enable us to understand the apparently elusive aspects of the success of science.However, compared to its peers, perturbative reasoning has not received the attention it deserves. As the paper explains, this partly results from the circumstances in which perturbation theory is taught, and partly from the fact that perturbation theory first appears to be a vaguely related collection of methods offering no systematic semantic insight. In an attempt to show that this first impression is wrong, this paper presents its contribution to the semantic dimension of scientific representation and inference in terms of what I call “semantic layering.”. (shrink)

We evaluate the richness of the child’s input in semantics and its relation to the hypothesis space available to the child. Our case study is the acquisition of the universal quantifier every. We report two main findings regarding the acquisition of every on the basis of a corpus study of child-directed and child-ambient speech. Our first finding is that the input in semantics is rich enough to systematically eliminate instances of the subset problem of language acquisition: overly general hypotheses (...) about the meaning of every can violate pragmatic constraints, making such hypotheses incompatible with the child’s input. Our second finding is that the semantic input is too poor to eliminate instances of what we refer to as the superset problem, the mirror image of the subset problem. We argue that at least some overly specific hypotheses about the meaning of every are compatible with the child’s input, suggesting either that those hypotheses are not made available by UG or that non-trivial inductive biases are involved in children’s acquisition of every. (shrink)

I will investigate the auditory illusion of continuity, which is the phenomenon of auditory occlusion in which we are able to hear a sound as continuous even though it has been masked by another sound. This phenomenon seems to have a perceptual nature when it occurs in the context of everyday sounds, while it seems to have a cognitive nature when it occurs in the context of speech sounds. This difference has the following consequences: (1) We need to have a (...) differentiated approach to the study of this phenomenon; (2) the perceptual explanation of the phenomenon involving everyday sounds indicates that everyday sounds can be auditorily perceived; and (3) the cognitive explanation of the phenomenon involving speech sounds suggests, instead, that semantic properties cannot be auditorily perceived. From (2) and (3) it follows that while we have a good argument for the rich view when focusing on everyday sounds, we seem to lack an analogous argument to support the rich view in the context of speech sounds. Thus, I will suggest a new argument for the view that we do not hear semantic properties, as language understanding seems to be primarily a cognitive ability. (shrink)

It has recently been proposed that the framework of semantic relativism be put to use to describe mental content, as deployed in some of the fundamental operations of the mind. This programme has inspired in particular a novel strategy of accounting for the essential egocentricity of first-personal or de se thoughts in relativist terms, with the advantage of dispensing with a notion of self-representation. This paper is a critical discussion of this strategy. While it is based on a plausible (...) appeal to cognitive economy, the relativist theory does not fully account for the epistemic profile that distinguishes de se thinking, as some of its proponents hope to do. A deeper worry concerns the reliance of the theory on a primitive notion of “centre” that hasn’t yet received enough critical attention, and is ambiguous between a thin and a rich reading. I argue that while the rich reading is required if the relativist analysis of the de se is to achieve its most ambitious aims, it also deprives the theory of much of its explanatory power. (shrink)

Speech act theory is one of the more lasting products of the linguistic movement in philosophy of the mid−Twentieth century. Within philosophy itself the movement's products did not in general prove so durable. Particularly striking in this respect is the perceived fate of what was one of the most characteristic applications of the linguistic turn in philosophy, namely the view that many traditional philosophical problems are such as to yield to an understanding of the distinctive function of a particular part (...) of language. Most typically, the crucial insight was held to be that despite appearances, the function of the part of language in question is not assertoric, or descriptive, and that the traditional problems arose at least in part from a failure to appreciate this point. Thus problems in moral philosophy were thought to yield to an appreciation that moral discourse is expressive rather than descriptive, problems in the philosophy of mind to an understanding of distinctive r×le of psychological ascriptions, and so on. The philosophical journals of the 1950s are rich with views like these. (No general term for this approach seems to have become widely accepted at the time. I shall call it "non−factualism", for what it denies, most characteristically, is the fact−stating r×le of language of a certain kind.). (shrink)

It is commonly argued that the rules of language, as distinct from its semantic features, are the characteristics which most clearly distinguish language from the communication systems of other species. A number of linguists (e.g., Chomsky 1972, 1980; Pinker 1994) have suggested that the universal features of grammar (UG) are unique human adaptations showing no evolutionary continuities with any other species. However, recent summaries of the substantive features of UG are quite remarkable in the very general nature of the (...) features proposed. While the syntax of any given language can be quite complex, the specific rules vary so much between languages that the truly universal (i.e. innate) aspects of grammar are not complex at all. In fact, these features most closely resemble a set of general descriptions of our richly complex semantic cognition, and not a list of specific rules. General principles of the evolutionary process suggest that syntax is more properly understood as an emergent characteristic of the explosion of semantic complexity that occurred during hominid evolution. It is argued that grammatical rules used in given languages are likely to be simply conventionalized, invented features of language, and not the result of an innate, grammar-specific module. The grammatical and syntactic regularities that are found across languages occur simply because all languages attempt to communicate the same sorts of semantic information. (shrink)

This contribution addresses the issue of one of the instances of non-standard negation, the so-called expletive negation (EN). Though it discusses data from a variety of languages, it mainly concentrates on Italian, proposing that the behavior of EN in comparative, exclamative and temporal clauses warrants an analysis of EN in terms of an operator of implicature denial. This approach derives the fact that EN is truth-conditionally irrelevant from the fact that the semantics of negation as a truth-value reversal operator is (...) shifted, in the case of EN, to the layer of implicated meaning. The analysis has a number of interesting consequences for the notion of metalinguistic negation. It further derives many of the interpretive effects normally linked to the so-called evaluative analysis of EN, and is compatible with a new set of data showing that EN scopally interacts with other negative elements. Finally, the proposal advanced here has a number of non-trivial implications regarding the relation between morphosyntax and the systems of interpretation, potentially affecting the standard view of language within cognition. (shrink)

The basic idea of conversational contextualism is that knowledge attributions are context sensitive in that a given knowledge attribution may be true if made in one context but false if made in another, owing to differences in the attributors’ conversational contexts. Moreover, the context sensitivity involved is traced back to the context sensitivity of the word “know,” which, in turn, is commonly modelled on the case either of genuine indexicals such as “I” or “here” or of comparative adjectives such as (...) “tall” or “rich.” But contextualism faces various problems. I argue that in order to solve these problems we need to look for another account of the context sensitivity involved in knowledge attributions and I sketch an alternative proposal. (shrink)

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound (...) and complete three-sided sequent calculus for this expressively rich theory. (shrink)

One of the claims of creole exceptionalism is that creole languages have lexicons of reduced conceptual and expressive complexity. Building on previous studies of the lexicon of Nigerian Pidgin/NP and the applications of the cognitive linguistic framework in creole linguistics, the present paper aims to counter the exceptionalism claim by analysing the conceptual structure of body part expressions in NP. It is argued that the expressions not only involve embodied universal patterns of imaginative reasoning, but also blend the substratum patterns (...) of West African languages with the superstratum influence of colonial lexifiers, especially English. Thanks to this, NP speakers can deal with diverse aspects of experience, such as emotions, mental life, social interaction, or business transactions, which is strong evidence for the complex conceptual structure and the richly expressive character of the NP lexicon. (shrink)

Douglas Patterson argues that the best way to respond to the semantic paradoxes that arise in natural language is to take natural language semantics to be (explosively) inconsistent. According to Patterson, to understand a natural language is to share with others cognition of a false semantic theory. Patterson’s main argument runs as follows. English is expressively rich. So, the first sentence occurring in this review could be.

This paper examines an hypothesis put forward by Pettit and Knobe 2009 to account for the Knobe effect. According to Pettit and Knobe, one should look at the semantics of the adjective “intentional” on a par with that of other gradable adjectives such as “warm”, “rich” or “expensive”. What Pettit and Knobe’s analogy suggests is that the Knobe effect might be an instance of a much broader phenomenon which concerns the context-dependence of normative standards relevant for the application of gradable (...) expressions. I adduce further evidence in favor of this view and go on to examine the predictions one obtains when assuming that “intentional” involves a two-dimensional scale, which implies evaluating how much an action or outcome is desired on the one hand, and how much it can be foreseen as a consequence of one’s actions on the other. (shrink)

ABSTRACT To more efficiently cover a wide spectrum of conceptual modeling applications such as computer-aided design, computer-aided manufacturing, and medical information systems, we envision multi-paradigm design environments which have reasoning capability to support analyzing specifcations for correctness. For such applications, information system designers employ conceptual models characterized by semantically-rich specification languages. The problem of providing a comprehensive formal framework for such languages has not been adequately addressed. This paper investigates a formal system for this purpose called Event-Formula Logic (EFL). The (...) analysis focuses in particular on characterizing correctness of database updates. Its applicability is demonstrated from two perspectives: deriving preconditions that guarantee a given update will not violate an integrity constraint, and determining alternative integrity maintenance rules for performing corrective actions when the application semantics requires this update interpretation. The work described in this paper represents an important step in the analysis of database update semantics through the use of algorithmic logic. As a result, it contributes towards providing a formal basis for semantically-rich information system design environments. (shrink)