A novel semantic naturalization program is proposed. Its three main differences from informational semantics approaches are as follows. First, it makes use of a perceptually based, four-factor interactive causal relation in place of a simple nomic covariance relation. Second, it does not attempt to globally naturalize all semantic concepts, but instead it appeals to a broadly realist interpretation of natural science, in which the concept of propositional truth is off-limits to naturalization attempts. And third, it treats (...) all semantic concepts as being purely abstract, so that concrete cognitive states are only indexed by them rather than instantiating them. (shrink)

A concrete proposal is presented as to how semantics should be naturalized. Rather than attempting to naturalize propositions, they are treated as abstract entities that index concrete cognitive states. In turn the relevant concrete cognitive states are identified via perceptual classifications of worldly states, with the aid of an interactive theory of perception. The approach enables a broadly realist theory of propositions, truth and cognitive states to be preserved, with propositions functioning much as abstract mathematical constructs do in the nonsemantic (...) sciences, but with a much more specific propositional indexing scheme than previous naturalistic proposals were able to achieve. (shrink)

My interest in semantic categories arises out of consideration of what is often called structural entailment. Consider the following: 1. Lisa quickly left; so Lisa left. The first of the two sentences in (1) entails the second; necessarily, if the first is true then so is the second. Moreover, (1) is an instance of a more general pattern whose validity doesn’t seem to depend on the specific meanings of the words in (1). The adverb ‘quickly’, for example, can be (...) replaced with any of a wide range of adverbs without loss of validity; analogous remarks hold for the verb ‘leave’. Here are a few more paradigm examples of structural entailment. (shrink)

Is there a principled difference between entailments in natural language that are valid solely in virtue of their form or structure and those that are not? This paper advances an affirmative answer to this question, one that takes as its starting point Gareth Evans’s suggestion that semantic theory aims to carve reality at the joints by uncovering the semantic natural kinds of the language. I sketch an Evans-inspired account of semantic kinds and show how it supports a (...) principled account of structural entailment. I illustrate the account by application to a case study involving the entailment properties of adverbs; this involves developing a novel proposal about the semantics for adverbs like ‘quickly’ and ‘slowly’. In the course of the discussion I explore some implications of the account for the place of model-theoretic tools in natural language semantics. (shrink)

Gareth Evans proposes that there are semantic natural kinds of words. In his development of this theory,he argues for two constraints on the identification of these kinds. I argue that neither of these constraints are justified. Furthermore,my argument against Evans' second constraint constitutes a direct argument for the existence of semantic natural kinds,something Evans himself never offers. I conclude by sketching some positive details of a more plausible theory of semantic natural kinds.

Gareth Evans proposes that there are semantic natural kinds of words. In his development of this theory, he argues for two constraints on the identification of these kinds. I argue that neither of these constraints are justified. Furthermore, my argument against Evans’ second constraint constitutes a direct argument for the existence of semantic natural kinds, something Evans himself never offers. I conclude by sketching some positive details of a more plausible theory of semantic natural kinds.

Signs – Sounds – Semantics: Nature and Transformation of Writing Systems in the Ancient Near East. Edited by Gösta Gabriel, Karenleigh Overmann, and Annick Payne. Wiener Offene Orientalistik, vol. 13. Münster: Ugarit-Verlag, 2021. Pp. vi + 230, illus. €97.

I advocate a theory of syntactic semantics as a way of understanding how computers can think (and how the Chinese-Room-Argument objection to the Turing Test can be overcome): (1) Semantics, considered as the study of relations between symbols and meanings, can be turned into syntax – a study of relations among symbols (including meanings) – and hence syntax (i.e., symbol manipulation) can suffice for the semantical enterprise (contra Searle). (2) Semantics, considered as the process of understanding one domain (by modeling (...) it) in terms of another, can be viewed recursively: The base case of semantic understanding –understanding a domain in terms of itself – is syntactic understanding. (3) An internal (or narrow ), first-person point of view makes an external (or wide ), third-person point of view otiose for purposes of understanding cognition. (shrink)

This book compiles and reviews the most prominent linguistic theories into a single source that serves as an essential reference for future solutions to one of the most important challenges of our age.

Linguistics. Artificial intelligence. Related fields. Computation.

The aim of this paper is to provide a complete Natural Kind Semantics for an Essentialist Theory of Kinds. The theory is formulated in two-sorted first order monadic modal logic with identity. The natural kind semantics is based on Rudolf Willes Theory of Concept Lattices. The semantics is then used to explain several consequences of the theory, including results about the specificity (species–genus) relations between kinds, the definitions of kinds in terms of genera and specific differences and the existence of (...) negative kinds. First, I show under which conditions the Hierarchy principle, which has been subjected to counterexamples in the literature, holds. I also show that a different principle about the species–genus relations between kinds, namely Kant’s Law, follows from the essentialist theory. Second, I introduce two new operations for kinds and show that they can be used to provide traditional definitions of kinds in terms of genera and specific differences. Finally, I show that these operations of specific difference induce, for each kind, a uniquely specified contrary kind and a uniquely specified subcontrary kind, which can be used as semantic values for non-classical predicate negations of kind terms. (shrink)

This paper gives an outline of truthmaker semantics for natural language against the background of standard possible-worlds semantics. It develops a truthmaker semantics for attitude reports and deontic modals based on an ontology of attitudinal and modal objects and on a semantic function of clauses as predicates of such objects. It also présents new motivations for 'object-based truthmaker semantics' from intensional transitive verbs such as ‘need’, ‘look for’, ‘own’, and ‘buy’ and gives an outline of their semantics. This paper (...) is a commissioned 'target' article, with commentaries by W. Davis, B. Arsenijevic, K. Moulton, K. Liefke, M. Kaufmann, R. Matthews, P. Portner and A. Rubinstein, P. Elliott, G. Ramchand and my reply. (shrink)

This paper critiques a number of standard ways of understanding the role of the metalanguage in a semantic theory for natural language, including the idea that disquotation plays a nontrivial role in any explanatory natural language semantics. It then proposes that the best way to understand the role of a semantic metalanguage involves recognizing that semantics is a model-based science. The metalanguage of semantics is language for articulating features of the theorist's model. Models are understood as mediating instruments---idealized (...) structures used to represent select aspects of the world, aspects the theorist is seeking some theoretical understanding of. The aspect of reality we are seeking some understanding of in semantics is a dimension of human linguistic competence---informally, knowledge of meaning. (shrink)

Essentialism--roughly, the view that natural kinds have discrete essences, generating truths that are necessary but knowable only _a posteriori_--is an increasingly popular view in the metaphysics of science. At the same time, philosophers of language have been subjecting Kripke’s views about the existence and scope of the necessary _a posteriori_ to rigorous analysis and criticism. Essentialists typically appeal to Kripkean semantics to motivate their radical extension of the realm of the necessary _a posteriori_; but they rarely attempt to provide any (...) semantic arguments for this extension, or engage with the critical work being done by philosophers of language. This collection brings authors on both sides together in one volume, thus helping the reader to see the connections between views in philosophy of language on the one hand and the metaphysics of science on the other. The result is a book that will have a significant impact on the debate about essentialism, encouraging essentialists to engage with debates about the semantic presuppositions that underpin their position, and, encouraging philosophers of language to engage with the metaphysical presuppositions enshrined in Kripkean semantics. (shrink)

Frege's invention of the predicate calculus has been the most influential event in the history of modern logic. The calculus’ place in logic is so central that many philosophers think, in fact, of it when they think of logic. This book challenges the position in contemporary logic and philosophy of language of the predicate calculus claiming that it is based on mistaken assumptions. Ben-Yami shows that the predicate calculus is different from natural language in its fundamental semantic charac.

In this paper investigates how natural deduction rules define connective meaning by presenting a new method for reading semantical conditions from rules called natural semantics. Natural semantics explains why the natural deduction rules are profoundly intuitionistic. Rules for conjunction, implication, disjunction and equivalence all express intuitionistic rather than classical truth conditions. Furthermore, standard rules for negation violate essential conservation requirements for having a natural semantics. The standard rules simply do not assign a meaning to the negation sign. Intuitionistic negation fares (...) much better. Not only do the intuitionistic rules have a natural semantics, that semantics amounts to familiar intuitionistic truth conditions. We will make use of these results to argue that intuitionistic connectives, rather than standard ones have a better claim to being the truly logical connectives. (shrink)

This essay considers what it means to understand natural language and whether a computer running an artificial-intelligence program designed to understand natural language does in fact do so. It is argued that a certain kind of semantics is needed to understand natural language, that this kind of semantics is mere symbol manipulation (i.e., syntax), and that, hence, it is available to AI systems. Recent arguments by Searle and Dretske to the effect that computers cannot understand natural language are discussed, and (...) a prototype natural-language-understanding system is presented as an illustration. (shrink)

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

In this book Ludlow uses the metaphysics of time as a case study and focuses on the dispute between A-theorists and B-theorists about the nature of time.

There is a wealth of resources— ideas, insights, discoveries, inventions, traditions, cultures, languages, arts, religions, sciences, narratives, stories, poems, customs and norms, music and songs, games and personal experiences, and advertisements—that we produce, curate, consume, transmit, and inherit as humans. This wealth, which I define as semantic capital, gives meaning to, and makes sense of, our own existence and the world surrounding us. It defines who we are and enables humans to develop an individual and social life. This paper (...) discusses the shift from analog to digital semantic capital, and the extent to which this might affect the semanticisation of our identities, our lives and our realities. -/- . (shrink)

I. Foundations of semantics 1. Meaning in linguistics 1. 2. 3. 4. 5. 6. Introduction Truth Compositionality Context and discourse Meaning in contemporary ...

Semantic noise, the effect ensuing from the denotative and thus functional variability exhibited by different terms in different contexts, is a common concern in natural language processing (NLP). While unarguably problematic in specific applications (e.g., certain translation tasks), the main argument of this paper is that failing to observe this linguistic matter of fact as a generative effect rather than as an obstacle, leads to actual obstacles in instances where language model outputs are presented as neutral. Given that a (...) common and long-standing challenge in NLP is the interpretation of ambiguous – i.e., semantically noisy – cases, this article focuses on an exemplar ambiguity-resolution task in NLP: the problem of anaphora in Winograd schemas. The main question considered is: to what extent is the standard approach to disambiguation in NLP subject to a stagnant “image of language”? And, can a transdisciplinary, dynamic approach combining linguistics and philosophy elucidate new perspectives on these possible conceptual shortcomings? In order to answer these questions we explore the term and concept of noise, particularly in its presentation as semantic noise. Owing to its definitional plurality, and sometimes even desirable unspecificity, the term noise is thus used as proof of concept for semantic generativity being an inherent characteristic in linguistic representation, and its concept is used to interrogate assumptions admitted in the resolution of Winograd schemas. The argument is speculative and theoretical in method, and the result is an analysis which provides an account of the fundamentally dialogical and necessarily open-ended effects of semantic noise in natural language. (shrink)

This handbook comprises, in three volumes, an in-depth presentation of the state of the art in linguistic semantics from a wide variety of perspectives. It contains 112 articles written by leading scholars from around the world. These articles present detailed, yet accessible, introductions to key issues, including the analysis of specific semantic categories and constructions, the history of semantic research, theories and theoretical frameworks, methodology, and relationships with related fields; moreover, they give expert guidance on topics of debate (...) within the field, on the strengths and weaknesses of existing theories, and on the likely directions for the future development of semantic research. In many cases, the articles written for this handbook promise to become the standard references on the topics they cover. This work will provide an essential reference for both advanced students and researchers in semantics and related fields within linguistics, psychology, philosophy, and other areas. (shrink)

This paper defends a novel view of ‘what it is like’-sentences, according to which they attribute certain sorts of relations—I call them ‘affective relations’—that hold between events and individuals. The paper argues in detail for the superiority of this proposal over other views that are prevalent in the literature. The paper further argues that the proposal makes better sense than the alternatives of the widespread use of Nagel’s definition of conscious states and that it also shows the mistakes in two (...) prominent suggestions about the definition when properly understood: first, that it is empty and uninformative, and second, that it leads directly to a substantial claim in the theory of consciousness, namely that an individual is in a conscious state only if the individual is aware of their being in that state. (shrink)

We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more natural formalism whose use and representations are consistent with the use of variables in natural language in two ways: the structure of representations mirrors the structure of the language and allows re-use phenomena such as pronouns (...) and ellipsis. Second, the formalism allows the specification of description subsumption as a partial ordering on related concepts (variable nodes in a semantic network) that relates more general concepts to more specific instances of that concept, as is done in language. Finally, this structured variable representation simplifies the resolution of some representational difficulties with certain classes of natural language sentences, namely, donkey sentences and sentences involving branching quantifiers. The implementation of this formalism is called ANALOG (A NAtural LOGIC) and its utility for natural language processing tasks is illustrated. (shrink)

A volume of studies in natural language semantics which brings together work by philosophers, logicians and linguists. The main topics treated are: quantification and reference in natural language; the relations between formal logic, programming languages and natural language; pragmatics and discourse meaning; surface syntax and logical meaning. The volume derives from a colloquium organised in 1973 by the Kings College Research Centre, Cambridge and the papers have been edited for publication by Professor Keenan. It is hoped that the collection will (...) make available some of the best work in this fast-moving field and will stimulate further progress by juxtaposing the different approaches and interests represented here. (shrink)

The essay "Semantics for Natural Languages" is here translated from a collection of Davidson's essays published under the title "Inquiries into Truth and Interpretation", Claredon Press, Oxford 1984.

This volume offers a general introduction to the field of semantics and provides coverage of the main perspectives.

Progress in philosophy is difficult to achieve because our methods are evidentially and rhetorically weak. In the last two decades, experimental philosophers have begun to employ the methods of the social sciences to address philosophical questions. However, the adequacy of these methods has been called into question by repeated failures of replication. Experimental philosophers need to incorporate more robust methods to achieve a multi-modal perspective. In this chapter, we describe and showcase cutting-edge methods for data-mining and visualization. Big data is (...) a useful investigatory tool for moral psychology, and it fits well with the Ramsification method the first author advances in a series of recent papers. The guiding insight of these papers is that we can infer the meaning and structure of concepts from patterns of assertions and inferential associations in natural language. (shrink)

This handbook comprises, in three volumes, an in-depth presentation of the state of the art in linguistic semantics from a wide variety of perspectives. It contains 112 articles written by leading scholars from around the world. These articles present detailed, yet accessible, introductions to key issues, including the analysis of specific semantic categories and constructions, the history of semantic research, theories and theoretical frameworks, methodology, and relationships with related fields; moreover, they give expert guidance on topics of debate (...) within the field, on the strengths and weaknesses of existing theories, and on the likely directions for the future development of semantic research. In many cases, the articles written for this handbook promise to become the standard references on the topics they cover. This work will provide an essential reference for both advanced students and researchers in semantics and related fields within linguistics, psychology, philosophy, and other areas. (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)

Polysemy has recently emerged as a popular topic in philosophy of language. While much existing research focuses on the relatedness among senses, this article introduces a novel perspective that emphasizes the continuity of sense individuation, sense regularity, and sense productivity. This new perspective has only recently gained traction, largely due to advancements in computational linguistics. It also poses a serious challenge to semantic minimalism, so I present three arguments against minimalism from the continuous perspective that touch on the minimal (...) concept, the distinction from homonymy, and the quasi‐rule‐like nature of polysemy. Last, I provide an account of polysemy that incorporates this continuous perspective. (shrink)

Drawing upon Martin-Löf’s semantic framework for his constructive type theory, semantic values are assigned also to natural-deduction derivations, while observing the crucial distinction between consequence among propositions and inference among judgements. Derivations in Gentzen’s format with derivable formulae dependent upon open assumptions, stand, it is suggested, for proof-objects, whereas derivations in Gentzen’s sequential format are proof-acts.

This book pursues the question of how and whether natural language allows for reference to abstract objects in a fully systematic way. By making full use of contemporary linguistic semantics, it presents a much greater range of linguistic generalizations than has previously been taken into consideration in philosophical discussions, and it argues for an ontological picture is very different from that generally taken for granted by philosophers and semanticists alike. Reference to abstract objects such as properties, numbers, propositions, and degrees (...) is considerably more marginal than generally held. (shrink)

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think that all (...) we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

Those who naturalize semantics concentrate on avoiding difficulties in getting the right sort of cause for the biological item which is to possess semantic properties (to be ?true of or to be ?about? some physical item). Using an analogy with sense?data, I argue that the real difficulties will be trying to get any proposed neural representation to be the right sort of effect of natural processes. The idea of a biological item which can be a semantic ?primitive? is (...) as bankrupt as the idea of a mental item which could be a perceptual ?primitive?. Eventually I propose a technique for finding naturalized representations without these problems. (shrink)

Semantic Naturalism is a metaphysical doctrine about the status of semantic properties. It is the view that, the metaphysical connections between naturalistic and semantic properties are sufficiently systematic and transparent to allow us to see that certain naturalistic conditions are sufficient for certain semantic properties. Most semantic naturalizers also think that the property of being a belief involves an internal mental representation, and that this representation bears the state's semantic properties. This chapter provides survey (...) of specific naturalization proposals with the crude causal theory (CCT) for the reference of Mentalese predicates. Teleological theories propose to explain the truth‐conditional content of mental states, especially certain desires and beliefs, in terms of their biological functions. The chapter explains causal‐role semantics (CRS), an approach to naturalizing semantics that deserves mention. In attempting to avoid counter‐examples, semantic naturalists place restrictions on the reference constituting causes or information. (shrink)

The essays in this collection are the outgrowth of a workshop, held in June 1976, on formal approaches to the semantics and pragmatics of natural languages. They document in an astoundingly uniform way the develop ments in the formal analysis of natural languages since the late sixties. The avowed aim of the' workshop was in fact to assess the progress made in the application of formal methods to semantics, to confront different approaches to essentially the same problems on the one (...) hand, and, on the other, to show the way in relating semantic and pragmatic explanations of linguistic phenomena. Several of these papers can in fact be regarded as attempts to close the 'semiotic circle' by bringing together the syntactic, semantic and pragmatic properties of certain constructions in an explanatory framework thereby making it more than obvious that these three components of an integrated linguistic theory cannot be as neatly separated as one would have liked to believe. In other words, not only can we not elaborate a syntactic description of (a fragment of) a language and then proceed to the semantics (as Montague pointed out already forcefully in 1968), we cannot hope to achieve an adequate integrated syntax and semantics without paying heed to the pragmatic aspects of the constructions involved. The behavior of polarity items, 'quantifiers' like any, conditionals or even logical particles like and and or in non-indicative sentences is clear-cut evidence for the need to let each component of the grammar inform the other. (shrink)

Introduction -- Basic concepts -- Previous approaches -- Semantic expressions: introduction -- Formal issues -- Semantic expressions: basic features -- Advanced features -- Applications: capture -- Three little pigs -- Applications: creation.

The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does not (...) obtain, and assertions are always warranted, having grounds of assertion. The proof system is shown to satisfy Dummett’s harmony property, justifying the ND rules as meaning conferring. The semantics is suitable for incorporation into computational linguistics grammars, formulated in type-logical grammar. (shrink)