To address complications involving ambiguity, presupposition and implicature, three processes underlying natural language interpretation are isolated: translation, entailment and attunement. A meta- language integrating these processes is outlined, elaborating on a proof-theoretic approach to presupposition.

The topic of temporal meaning in texts has received considerable attention in recent years from scholars in linguistics, logical semantics, cognitive science, and artificial intelligence. Representing Time in Natural Language offers a systematic and detailed account of how we use temporal information contained in a text or in discourse to reason about the flow of time, inferring the order in which events happened when this is not explicitly stated. A new representational system is designed to formalize an appropriately (...) context-dependent notion of situated inference. The Dynamic Aspect Tree, representing temporal dependencies, constitutes a novel and important dynamic temporal logic, one that makes it easy to see "what follows when" from the information given in an ordinary English text. (shrink)

The contributions in this volume focus on the Bayesian interpretation of natural languages, which is widely used in areas of artificial intelligence, cognitive science, and computational linguistics. This is the first volume to take up topics in Bayesian Natural Language Interpretation and make proposals based on information theory, probability theory, and related fields. The methodologies offered here extend to the target semantic and pragmatic analyses of computational natural language interpretation. Bayesian approaches to (...) natural language semantics and pragmatics are based on methods from signal processing and the causal Bayesian models pioneered by especially Pearl. In signal processing, the Bayesian method finds the most probable interpretation by finding the one that maximizes the product of the prior probability and the likelihood of the interpretation. It thus stresses the importance of a production model for interpretation as in Grice’s contributions to pragmatics or in interpretation by abduction. (shrink)

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

The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination (...) and equality of atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs. (shrink)

This paper describes a prototype implementation of a Labelled Deduction System for natural language interpretation, where interpretation is taken to be the process of understanding a natural language utterance. The implementation models the process of understanding wh-gap dependencies in questions and relative clauses for a fragment of English. The paper is divided in three main sections. In Section 1, we introduce the basic architecture of the system. Section 2 outlines a prototype implementation of wh-binding (...) and indicates its potential for explanation of linguistic phenomena, and in Section 3 we briefly set the model within a large theoretical perspective, comparing it to other type-logical approaches to natural language analysis. (shrink)

This book develops a theory of enriched meanings for natural language interpretation that uses the concept of monads and related ideas from category theory. The volume is interdisciplinary in nature, and will appeal to graduate students and researchers from a range of disciplines interested in natural language understanding and representation.

This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rather a computational analysis, in the context for type-logical grammars, of the logical models and algorithms currently used in natural language semantics, defined as a function from a grammatical sentence to a set of logical formulas—because a statement can be ambiguous, it can correspond (...) to multiple formulas, one for each reading. We argue that as long as we do not explicitly compute the interpretation in terms of possible world models, one can compute the semantic representation of a given statement, including aspects of lexical meaning. This is a very generic process, so the results are, at least in principle, widely applicable. We also discuss the algorithmic complexity of this process. (shrink)

From a leading authority in artificial intelligence, this book delivers a synthesis of the major modern techniques and the most current research in natural language processing. The approach is unique in its coverage of semantic interpretation and discourse alongside the foundational material in syntactic processing.

In this paper a logical interpretation of semantic nets and graph grammars is proposed for modelling natural language understanding and creating language understanding computer systems. An example of parsing a Finnish question by graph grammars and inferring the answer to it by a semantic net representation is provided.

The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretation of simple predicate/argument structures. In our (...) opinion, compositionality presupposes that we are able to compare arbitrary meanings in term of information content. This is why our proposal relies on an ‘intrinsically’ type free algebraic semantic theory. The basic entities in our models are neither individuals, nor eventualities, nor their properties, but ‘pieces of evidence’ for believing in the ‘truth’ or ‘existence’ or ‘identity’ of any kind of phenomenon. Our formal language contains a single binary non-associative constructor used for creating structured complex terms representing arbitrary phenomena. We give a finite Hilbert-style axiomatisation and a decision algorithm for the entailment problem of the suggested system. (shrink)

It is now a quarter of a century ago that Wolfgang Stegmfiller wrote his monograph 'Das Wahrheitsproblem und die Idee der Semantik' (1957) which dealt with Tarski's and Carnap's foundational work in the field of semantics. While this book is about the definition of the basic semantical concepts in artificial formal languages there is an article written a year earlier (1956) in which Stegmfiller addresses himself specifically to the relation between logic and natural language. Here he gives a (...) logical analysis of the standard structural expressions in language that are still of primary concern for current semantics: quantifiers, pronouns, articles, etc. The motives for such an analysis at that time were mainly philosophical: the aim was to expose the misconceptions and pitfalls of traditional philosophy arising from the disregard of various systematic semantic ambiguities in everyday language. Or as Stegmfiller puts it: Ober sie [i.e. einige nicht triviale F~ille von Vagheit in der A11tagssprache] Klarheit zu gewinnen, ist schon deshalb yon auBerordentlicher Bedeutung, weil Unkenntnis fiber sie zu schwersten philosophischen Verirrungen ffihren kann, namlich entweder der Unterlassung von berechtigten Fragestellungen, oder, was weit h~ufiger vorgekommen ist, der Formulierung yon falsch gestellten Fragen, denen gegenfiber man dann nur die Wahl hat, entweder fiberhaupt keine oder nur sinnlose Antworten zu geben. So logic was to regiment language. Sentences involving the copula and the above-mentioned structure words are assigned one or more unambiguous formal representations in an already interpreted formal language, usually the first order predicate calculus. The natural language expressions thereby receive a precise meaning, since the semantics of the formal language has been specified in advance, as is always assumed. This procedure has, of course, always been common practice, witness the typical syntactical argot of the mathematicians. It carries, however, an obvious methodological presupposition: it is the idea that the logic of our choice to which the formal representations belong is in some sense an adequate framework to express our thoughts. (shrink)

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)

It is reasonably well-understood that natural language displays polymorphic behaviour in both its syntax and semantics, where various constructions can operate on a range of syntactic categories, or semantic types. In mathematics, logic and computer science it is appreciated that there are various ways in which such type-general behaviours can be formulated. It is also known that natural languages are highly ambiguous with respect to scoping artifacts, as evident with quantifiers, negation and certain modifier expressions. To deal (...) with such issues, formal frameworks have been explored in which the polymorphic nature of natural language can be expressed, and theories of underspecified semantics have been proposed which seek to separate the process of pure compositional interpretation from the assignment of scope. To date, however, there has been no work on bringing these two aspects together; there is no semantic treatments of scope ambiguity and underspecification which explicitly takes into account the polymorphic nature of natural language quantifiers. In this paper, we extend an existing treatment of underspecification and scope ambiguity in Property Theory with Curry Typing (PTCT) to deal with arbitrary types of quantification by adopting a form of polymorphism. In this theory of underspecification, all of the expressions in the theory are terms of the logic; there is no “meta-semantic” machinery. For this reason all aspects of the theory must be able to deal with polymorphism appropriately. (shrink)

In the first part of this article, we show that, contrary to the Gricean tradition, inter-clausal and is not semantically equivalent to logical conjunction and, contrary to temporal approaches such as Bar-Levand Palacas 1980, it is not temporallyloaded. We then explore a commonsenseidea – namely that while sentence juxtaposition might be interpreted either as discourse coordination or subordination, and indicates coordination. SDRT already includes notions of coordinating and subordinating discourse relations (cf. Lascarides and Asher 1993, Asher 1993), and the meaning (...) of and is related to this distinction. Similar distinctions that play a crucial role in anaphora resolution have also appeared in AI – cf. Scha and Polanyi 1988, or Webber 1991. However, this discourse-structure-based distinction has not been well defined yet, and our approach provides independent motivation for it. This paper argues that the semantics of and includes a notion of coordination expressed as the requirement of a Coordinated Discourse Topic (CDT).CDT characterizes aclass of discourse relations, among which are Narration and Result.Once the basic semanticcontribution of and is isolated, effects related to its presence such as changes in temporal structure, blocking of a Discourse Relation, or conditional meanings are shown to follow from the defeasiblearchitecture set up by SDRT. (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 work presents the structure, distribution and semantic interpretation of quantificational expressions in languages from diverse language families and typological profiles. The current volume pays special attention to underrepresented languages of different status and endangerment level. Languages covered include American and Russian Sign Languages, and sixteen spoken languages from Africa, Australia, Papua, the Americas, and different parts of Asia. The articles respond to a questionnaire the editors constructed to enable detailed crosslinguistic comparison of numerous features. They offer comparable (...) information on semantic classes of quantifiers (generalized existential, generalized universal, proportional, partitive), syntactically complex quantifiers (intensive modification, Boolean compounds, exception phrases, et cetera), and several more specific issues such as quantifier scope ambiguities, floating quantifiers, and binary (type 2) quantifiers. The book is intended for semanticists, logicians interested in quantification in natural language, and general linguists as articles are meant to be descriptive and theory independent. The book continues and expands the coverage of the Handbook of Quantifiers in Natural Language (2012) by the same editors, and extends the earlier work in Matthewson (2008), Gil and others (2013) and Bach et al (1995). (shrink)

Logicians have always found inspiration for new research in the ordinary language that is used on a daily basis and acquired naturally in childhood. Whereas the logical issues in the foundations of mathematics motivated the development of mathematical logic with its emphasis on notions of proof, validity, axiomatization, decidability, consistency, and completeness, the logical analysis of natural language motivated the development of philosophical logic with its emphasis on semantic notions of presupposition, entailment, modality, conditionals, and intensionality. The (...) relation between research programs in both mathematical and philosophical logic and natural language syntax and semantics as branches of theoretical linguistics has increased in importance throughout the last fifty years. This chapter reviews the development of one particularly interesting and lively area of interaction between formal logic and linguistics—the semantics of natural language. Research in this emergent field has proved fruitful for the development of empirically, cognitively adequate models of reasoning with partial information, sharing or exchanging information, dynamic interpretation in context, belief revision and other cognitive processes. (shrink)

Situation semantics was developed as an alternative to possible worlds semantics. In situation semantics, linguistic expressions are evaluated with respect to partial, rather than complete, worlds. There is no consensus about what situations are, just as there is no consensus about what possible worlds or events are. According to some, situations are structured entities consisting of relations and individuals standing in those relations. According to others, situations are particulars. In spite of unresolved foundational issues, the partiality provided by situation semantics (...) has led to some genuinely new approaches to a variety of phenomena in natural language semantics. In the way of illustration, this article includes relatively detailed overviews of a few selected areas where situation semantics has been successful: implicit quantifier domain restrictions, donkey pronouns, and exhaustive interpretations. It moreover addresses the question of how Davidsonian event semantics can be embedded in a semantics based on situations. Other areas where a situation semantics perspective has led to progress include attitude ascriptions, questions, tense, aspect, nominalizations, implicit arguments, point of view, counterfactual conditionals, and discourse relations. (shrink)

This article engages the anthropological assumptions underlying the apprehensions and promises associated with language in artificial intelligence (AI). First, we present the contours of two rivalling paradigms for assessing artificial language generation: a holistic-enactivist theory of language and an informational theory of language. We then introduce two language generation models – one presently in use and one more speculative: Firstly, the transformer architecture as used in current large language models, such as the GPT-series, and (...) secondly, a model for 'autonomous machine intelligence' recently proposed by Yann LeCun, which involves not only language but a sensory-motor interaction with the world. We then assess the language capacity of these models from the perspectives of the two rivalling language paradigms. Taking a holistic-enactivist stance, we then argue that there is currently no reason to assume a human-comparable language capacity in LLMs and, further, that LeCun's proposed model does not represent a significant step toward artificially generating human language because it still lacks essential features that underlie the linguistic capacity of humans. Finally, we suggest that proponents of these rivalling interpretations of LLMs should enter into a constructive dialogue and that this dialogue should continuously involve further empirical, conceptual, and theoretical research. (shrink)

In the dissertation we study the complexity of generalized quantifiers in natural language. Our perspective is interdisciplinary: we combine philosophical insights with theoretical computer science, experimental cognitive science and linguistic theories. -/- In Chapter 1 we argue for identifying a part of meaning, the so-called referential meaning (model-checking), with algorithms. Moreover, we discuss the influence of computational complexity theory on cognitive tasks. We give some arguments to treat as cognitively tractable only those problems which can be computed in (...) polynomial time. Additionally, we suggest that plausible semantic theories of the everyday fragment of natural language can be formulated in the existential fragment of second-order logic. -/- In Chapter 2 we give an overview of the basic notions of generalized quantifier theory, computability theory, and descriptive complexity theory. -/- In Chapter 3 we prove that PTIME quantifiers are closed under iteration, cumulation and resumption. Next, we discuss the NP-completeness of branching quantifiers. Finally, we show that some Ramsey quantifiers define NP-complete classes of finite models while others stay in PTIME. We also give a sufficient condition for a Ramsey quantifier to be computable in polynomial time. -/- In Chapter 4 we investigate the computational complexity of polyadic lifts expressing various readings of reciprocal sentences with quantified antecedents. We show a dichotomy between these readings: the strong reciprocal reading can create NP-complete constructions, while the weak and the intermediate reciprocal readings do not. Additionally, we argue that this difference should be acknowledged in the Strong Meaning hypothesis. -/- In Chapter 5 we study the definability and complexity of the type-shifting approach to collective quantification in natural language. We show that under reasonable complexity assumptions it is not general enough to cover the semantics of all collective quantifiers in natural language. The type-shifting approach cannot lead outside second-order logic and arguably some collective quantifiers are not expressible in second-order logic. As a result, we argue that algebraic (many-sorted) formalisms dealing with collectivity are more plausible than the type-shifting approach. Moreover, we suggest that some collective quantifiers might not be realized in everyday language due to their high computational complexity. Additionally, we introduce the so-called second-order generalized quantifiers to the study of collective semantics. -/- In Chapter 6 we study the statement known as Hintikka's thesis: that the semantics of sentences like ``Most boys and most girls hate each other'' is not expressible by linear formulae and one needs to use branching quantification. We discuss possible readings of such sentences and come to the conclusion that they are expressible by linear formulae, as opposed to what Hintikka states. Next, we propose empirical evidence confirming our theoretical predictions that these sentences are sometimes interpreted by people as having the conjunctional reading. -/- In Chapter 7 we discuss a computational semantics for monadic quantifiers in natural language. We recall that it can be expressed in terms of finite-state and push-down automata. Then we present and criticize the neurological research building on this model. The discussion leads to a new experimental set-up which provides empirical evidence confirming the complexity predictions of the computational model. We show that the differences in reaction time needed for comprehension of sentences with monadic quantifiers are consistent with the complexity differences predicted by the model. -/- In Chapter 8 we discuss some general open questions and possible directions for future research, e.g., using different measures of complexity, involving game-theory and so on. -/- In general, our research explores, from different perspectives, the advantages of identifying meaning with algorithms and applying computational complexity analysis to semantic issues. It shows the fruitfulness of such an abstract computational approach for linguistics and cognitive science. (shrink)

A GOOD CASE COULD BE MADE that Herder is the founder not only of the modern philosophy of language but also of the modern philosophy of interpretation and translation and that he has many things to say on these subjects from which we may still learn today. This essay will not attempt to make such a case, but it will be concerned with some aspects of Herder’s position that would be central to it: three fundamental principles in his (...) philosophy of language which also play fundamental roles in his theory of interpretation and translation. The essay’s aim is also threefold: first, to describe the principles in question and their roles in this theory; second, to explain their emergence in a way which helps to make clearer the nature of Herder’s contribution ; and third, to give at least a sense of their philosophical subtlety and defensibility. (shrink)

Natural languages make prolific use of conventional constituent‐ordering patterns to indicate “who did what to whom,” yet the mechanisms through which these regularities arise are not well understood. A series of recent experiments demonstrates that, when prompted to express meanings through silent gesture, people bypass native language conventions, revealing apparent biases underpinning word order usage, based on the semantic properties of the information to be conveyed. We extend the scope of these studies by focusing, experimentally and computationally, on (...) the interpretation of silent gesture. We show cross‐linguistic experimental evidence that people use variability in constituent order as a cue to obtain different interpretations. To illuminate the computational principles that govern interpretation of non‐conventional communication, we derive a Bayesian model of interpretation via biased inductive inference and estimate these biases from the experimental data. Our analyses suggest people's interpretations balance the ambiguity that is characteristic of emerging language systems, with ordering preferences that are skewed and asymmetric, but defeasible. (shrink)

Natural languages make prolific use of conventional constituent‐ordering patterns to indicate “who did what to whom,” yet the mechanisms through which these regularities arise are not well understood. A series of recent experiments demonstrates that, when prompted to express meanings through silent gesture, people bypass native language conventions, revealing apparent biases underpinning word order usage, based on the semantic properties of the information to be conveyed. We extend the scope of these studies by focusing, experimentally and computationally, on (...) the interpretation of silent gesture. We show cross‐linguistic experimental evidence that people use variability in constituent order as a cue to obtain different interpretations. To illuminate the computational principles that govern interpretation of non‐conventional communication, we derive a Bayesian model of interpretation via biased inductive inference and estimate these biases from the experimental data. Our analyses suggest people's interpretations balance the ambiguity that is characteristic of emerging language systems, with ordering preferences that are skewed and asymmetric, but defeasible. (shrink)

Advances in artificial intelligence and computer graphics digital technologies have contributed to a relative increase in realism in virtual characters. Preserving virtual characters’ communicative realism, in particular, joined the ranks of the improvements in natural language technology, and animation algorithms. This paper focuses on culturally relevant paralinguistic cues in nonverbal communication. We model the effects of an English-speaking digital character with different accents on human interactants (i.e., users). Our cultural influence model proposes that paralinguistic realism, in the form (...) of accented speech, is effective in promoting culturally congruent cognition only when it is self-relevant to users. For example, a Chinese or Middle Eastern English accent may be perceived as foreign to individuals who do not share the same ethnic cultural background with members of those cultures. However, for individuals who are familiar and affiliate with those cultures (i.e., in-group members who are bicultural), accent not only serves as a motif of shared social identity, it also primes them to adopt culturally appropriate interpretive frames that influence their decision making. (shrink)

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely (...) descriptive. In this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions. (shrink)

We propose an approach to natural language inference based on a model of natural logic, which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We greatly extend past work in natural logic, which has focused solely on semantic containment and monotonicity, to incorporate both semantic exclusion and implicativity. Our system decomposes an inference problem into a sequence of atomic edits linking premise to hypothesis; predicts a lexical entailment relation for each (...) edit using a statistical classifier; propagates these relations upward through a syntax tree according to semantic properties of intermediate nodes; and composes the resulting entailment relations across the edit sequence. We evaluate our system on the FraCaS test suite, and achieve a 27% reduction in error from previous work. We also show that hybridizing an existing RTE system with our natural logic system yields significant gains on the RTE3 test suite. (shrink)

We study definability in terms of monotone generalized quantifiers satisfying Isomorphism Closure, Conservativity and Extension. Among the quantifiers with the latter three properties - here called CE quantifiers - one finds the interpretations of determiner phrases in natural languages. The property of monotonicity is also linguistically ubiquitous, though some determiners like an even number of are highly non-monotone. They are nevertheless definable in terms of monotone CE quantifiers: we give a necessary and sufficient condition for such definability. We further (...) identify a stronger form of monotonicity, called smoothness, which also has linguistic relevance, and we extend our considerations to smooth quantifiers. The results lead us to propose two tentative universals concerning monotonicity and natural language quantification. The notions involved as well as our proofs are presented using a graphical representation of quantifiers in the so-called number triangle. (shrink)

The dissertation is an exploration of the possibility and nature of interpretation. Its thesis is that coming to know what someone believes or desires, or what their words mean, or what they are doing, is not to be distinguished from coming to know something about the world. This thesis is defended, on the one hand, by distancing it from empiricist readings, and, on the other hand, by arguing against idealist or realtivist reasons for rejecting it. ;The dissertation is in (...) two parts. Part I, "Philosophy of Mind," takes up the question whether the thesis stated above implies that agents are mere objects and knowledge of minds is just knowledge of brains. There is, it is true, a sense in which explanations of events under physical descriptions are better as explanations than are explanations of the same events under psychological descriptions; nonetheless, it is argued, psychological descriptions and explanations are neither reducible to nor eliminable in favour of purely physicalistic ones. Part I established that coming to know what someone believes or means is coming to know something about the world--something about the world, that is, under a psychological description. ;Part II, "Philosophy of Language," takes up the question whether there is some difference in kind between knowledge of things conceived as psychological or meaningful and knowledge of things conceived as physical, a difference in addition to that of subject matter. It emerged in Part I that the notion of rationality is central to psychological description and explanation, whereas it plays no role in physical description: is this a difference that makes a difference? It is concluded that interpretation is possible not because speaker and interpreter share a tradition, or a conceptual scheme, or countless basic beliefs, or even because most of their beliefs are true. Rather, the possibility of interpretive knowledge rests on nothing more than that interpreter and speaker are in causal contact with a common environment. Thus in no important respect is interpretive understanding unlike knowledge of physical things. (shrink)

Despite the exceptional performance of large language models (LLMs) on a wide range of tasks involving natural language processing and reasoning, there has been sharp disagreement as to whether their abilities extend to more creative human abilities. A core example is the interpretation of novel metaphors. Here we assessed the ability of GPT-4, a state-of-the-art large language model, to provide natural-language interpretations of a recent AI benchmark (Fig-QA dataset), novel literary metaphors drawn from (...) Serbian poetry and translated into English, and entire novel English poems. GPT-4 outperformed previous AI models on the Fig-QA dataset. For metaphors drawn from Serbian poetry, human judges – blind to the fact that an AI model was involved – rated metaphor interpretations generated by GPT-4 as superior to those provided by a group of college students. In interpreting reversed metaphors, GPT-4, as well as humans, exhibited signs of sensitivity to the Gricean cooperative principle. In addition, for several novel English poems GPT-4 produced interpretations that were rated as excellent or good by a human literary critic. These results indicate that LLMs such as GPT-4 have acquired an emergent ability to interpret literary metaphors, including those embedded in novel poems. (shrink)

This paper strives to characterize the relation between accent placement and discourse in terms of independent constraints operating at the interface between syntax and interpretation. The GIVENness Constraint requires un-F-marked constituents to be GIVEN. Key here is our definition of GIVENness which synthesizes insights from the literature on the semantics of focus with older views on information structure. AvoidF requires speakers to economize on F-marking. A third constraint requires a subset of F-markers to dominate accents.

Despite the exceptional performance of large language models (LLMs) on a wide range of tasks involving natural language processing and reasoning, there has been sharp disagreement as to whether their abilities extend to more creative human abilities. A core example is the interpretation of novel metaphors. Here we assessed the ability of GPT-4, a state-of-the-art large language model, to provide natural-language interpretations of a recent AI benchmark (Fig-QA dataset), novel literary metaphors drawn from (...) Serbian poetry and translated into English, and entire novel English poems. GPT-4 outperformed previous AI models on the Fig-QA dataset. For metaphors drawn from Serbian poetry, human judges – blind to the fact that an AI model was involved – rated metaphor interpretations generated by GPT-4 as superior to those provided by a group of college students. In interpreting reversed metaphors, GPT-4, as well as humans, exhibited signs of sensitivity to the Gricean cooperative principle. In addition, for several novel English poems GPT-4 produced interpretations that were rated as excellent or good by a human literary critic. These results indicate that LLMs such as GPT-4 have acquired an emergent ability to interpret literary metaphors, including those embedded in novel poems. (shrink)

Ordinary speakers intuitively assign truth-values to conditional utterances in everyday conversation, but, despite the general ease with which this occurs, it is notoriously difficult to give an account of the implicit logic that is followed in making these truth-value assignments. I propose a twofold logic of the conditional – a relatively simple “factual” logic for conditionals interpreted with regard to what is actually the case, largely following the logic of the material conditional; combined with a variably strict possible-worlds counterfactual logic (...) for conditionals interpreted with regard to with what may be (or may have been) the case, incorporating a ceteris paribus clause. This theory is able to deal with a number of challenges for other prominent views of the conditional, such as counter-intuitive truth-value ascriptions provided by notions of similarity or closeness, and difficulties adequately accounting for phenomena such as reverse Sobel sequences. (shrink)

The approaches in question here are exhibited in examinations of specific problems, rather than surveyed or generally summarized. Most of the volume should interest philosophers. Recent linguistic theory has been torn between the generative semanticists, who fuse syntax and semantics in maintaining that "the rules of grammar are identical to the rules relating surface forms to their corresponding logical forms", and the interpretive semanticists, who find syntactic deep structure a well-defined notion and who believe that the semantic interpretation of (...) sentences derives from inputs from several levels of linguistic structure. J. Bresnan, in "Sentence Stress and Syntactic Transformations," gives a clear and elegant version of her defense of one aspect of the interpretivist position. She argues that aspects of the stress pattern of sentences can be easily and compactly explained only if lexical items are inserted at the level of syntactic deep structure before the application of syntactical transformations. W. C. Watt’s "Late Lexicalizations" argues the generativist position that the lexical peculiarities of natural languages tend to be introduced at various stages in the application of syntactical transformations. Bresnan’s paper is particularly helpful to philosophers who want to make sense of linguist’s current arguments: her evidential appeals, reasoning, and terminology can be grasped by someone with little background in technical linguistics. The volume also includes three papers, two by Hamburger and Wexler and one by Peters and Ritchie, on the abstract theory of grammar, which has come some distance since Chomsky’s contributions. These papers follow out various aspects of the realization that, when abstractly considered, transformational, and even somewhat less powerful rules, are too powerful to allow nonarbitrary solutions to the problem of identifying the grammars of particular languages. (shrink)

Sabdabrahma Siddhanta, popularized by Patanjali and Bhartruhari will be scientifically analyzed. Sphota Vada, proposed and nurtured by the Sanskrit grammarians will be interpreted from modern physics and communication engineering points of view. Insight about the theory of language and modes of language acquisition and communication available in the Brahma Kanda of Vakyapadeeyam will be translated into modern computational terms. A flowchart of language processing in humans will be given. A gross model of human language acquisition, comprehension (...) and communication process forming the basis to develop software for relevant mind-machine modeling will be presented. The implications of such a model to artificial intelligence and cognitive sciences will be discussed. The essentiality and necessity of a physics, communication engineering , biophysical and biochemical insight as both complementary and supplementary to using mathematical and computational methods in delineating the theory of Sanskrit language is put forward. Natural language comprehension as distinct and different from natural language processing is pointed out. (shrink)

The origins of these essays -- Introduction -- Presupposition -- A projection problem for speaker presupposition -- Language and linguistic competence -- Linguistics and psychology -- Semantics and psychology -- Semantics and semantic competence -- The necessity argument -- Truth, meaning, and understanding -- Truth and meaning in perspective -- Semantics and pragmatics -- Naming and asserting -- The gap between meaning and assertion : why what we literally say often differs from what our words literally mean -- Drawing (...) the line between meaning and implicaturem and relating both to assertion -- Descriptions -- Incomplete definite descriptions -- Donnellan's referential/attributive distinction -- Why incomplete descriptions don't refute Russell's theory of descriptions -- Meaning and use : lessons for legal interpretation -- Interpreting legal texts : what is and what is not special about the law. (shrink)

The famous advaitic expressions -/- Brahma sat jagat mithya jivo brahma eva na apraha and Asti bhaati priyam namam roopamcheti amsa panchakam AAdya trayam brahma roopam tato dwayam jagat roopam -/- will be analyzed through physics and electronics and interpreted. -/- Four phases of mind, four modes of language acquisition and communication and seven cognitive states of mind participating in human cognitive and language acquisition and communication processes will be identified and discussed. -/- Implications and application of such (...) an identification and analysis to the fields of cognitive sciences, mind-machine modeling, natural language comprehension field of artificial intelligence and physiological psychology will be hinted. A comprehensive modern scientific understanding of human consciousness, mind and mental functions will be presented. (shrink)

Our studies of naturally occurring human dialogue have led to the recognition of a class of regularities which characterize impoltant aspects of communication. People appear to interact according to established patterns which span several turns in a dialogue and which recur frequently. These patterns appear to be organized around the goals which the dialogue serves for each participant. Many things which are said later in a dialogue can only be interpreted as pursuit of these goals, established by earlier dialogue.These patterns (...) have been represented b) a set of knowledge structures called Dialogue‐Games, capturing shared, conventional knowledge that people have about communication and how it can be used to achieve goals. A Dialogue‐Game has Parameters, which represent those elements that vary across instances of a particular pattern‐the particular dialogue participants and the content topic. The states of the world which must be in effect for a particular Dialogue‐Game to be employed successfully are represented by Specifications of these Parameters. Finally, the expected sequence of intermediate states that occur during instances of a particular conventional pattern are represented by the Components of the corresponding Dialogue‐Game.Representations for several Dialogue‐Games are presented here, based on our analyses of different kinds of naturally occurring dialogue. A process model is discussed, showing Dialogue‐Game identification, pursuit, and termination as part of the comprehension of dialogue utterances. This Dialogue‐Game model captures some of the important functional aspects of language, especially indirect uses to achieve implicit communication. (shrink)

In previous work we have developed Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types. We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like "most", and we suggest a dynamic type-theoretic approach to anaphora and ellipsis resolution. Here we extend the type system to include product types, and use these to define a (...) permutation function that generates underspecified scope representations within PTCT. We indicate how filters can be added to encode constraints on possible scope readings. Our account offers several important advantages over other current theories of underspecification. (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)

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