Dr Thrane makes an original contribution to one of the central topics in syntax and semantics: the nature and mechanisms of reference in natural language. He makes a fundamental distinction between syntactic analyses that are internal to the structure of a language and analyses of the referential properties that connect a language with the 'outside world' - and therefore derive in some sense from common human capacities for perceptual discrimination. Dr Thrane argues that the failure to (...) make this distinction and to attend separately to both kinds of analysis has vitiated previous general accounts of linguistic structure. The book focuses particularly on pronouns and on the role of determiners, quantifiers and other components of the noun phrase. Most of the data come from the modern Germanic languages, especially English, but Dr Thrane considers also the structural peculiarities of 'classifier languages' like Vietnamese. The book will be important for students of Englishlanguage as well as for general linguists. (shrink)
By a fragment of a natural language we mean a subset of thatlanguage equipped with semantics which translate its sentences intosome formal system such as first-order logic. The familiar conceptsof satisfiability and entailment can be defined for anysuch fragment in a natural way. The question therefore arises, for anygiven fragment of a natural language, as to the computational complexityof determining satisfiability and entailment within that fragment. Wepresent a series of fragments of English for which the satisfiabilityproblem (...) is polynomial, NP-complete, EXPTIME-complete,NEXPTIME-complete and undecidable. Thus, this paper represents a casestudy in how to approach the problem of determining the logicalcomplexity of various natural language constructions. In addition, wedraw some general conclusions about the relationship between naturallanguage and formal logic. (shrink)
On the Notion "Type of Language" Petr Sgall It is well known that the high frequency of terminological vagueness and confusion has been a serious obstacle ...
Naturalistically minded philosophers hope to identify a privileged nonsemantic relation that holds between a mental representation m and that which m represents, a relation whose privileged status underwrites the assignment of reference to m. The naturalist can accomplish this task only if she has in hand a nonsemantic criterion for individuating mental representations: it would be question-begging for the naturalist to characterize m, for the purpose of assigning content, as 'the representation with such and such content'. If we individuate mental (...) representations using the tools of dynamical systems theory, we find that a given mental representation, characterized nonsemantically, emerges in the cognitive system as the result of causal interactions between the subject and her environment. At least for the most basic of our mental representations, I argue that the dynamical systems-based approach to individuation increases the plausibility of a theory that assigns reference as a function of the subject's causal history. (shrink)
Paul M. Pietroski, University of Maryland I had heard it said that Chomsky’s conception of language is at odds with the truth-conditional program in semantics. Some of my friends said it so often that the point—or at least a point—finally sunk in.
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 languagesemantics. 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)
We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural languagesemantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous (...) type-theoretic analyses of this phenomenon. (shrink)
We develop a framework for natural languagesemantics which handles intensionality via metalogical constructions and deals with degree truth values in an integrated way. We take an axiomatic set theory, ZF, as the foundation for semantic representations, but we make ZF a metalanguage for part of itself by embedding a language ℒ within ZF which is basically a copy of the part of ZF consisting of set expressions. This metalogical set-up is used for handling propositional attitude verbs (...) (limited to believe in this paper). We define a truth function τ which determines the truth value τ(p, T) of an ℒ-proposition p with respect to a theory T. Theories are sets of ℒ-propositions with associated truth values, and can be viewed as a (much more well-defined) replacement for possible worlds. We develop a mechanism for defining belief worlds as theories. We simultaneously develop two different versions of our system - a Boolean version where the set Ω of truth values is {0, 1}, and a degree-truth version where Ω is the interval [0, 1] of real numbers. We use degrees of truth in handling a broad class of semantic predicates that we call base-focus predicates, which include generalized quantifiers as well as many adverb and adjective senses and certain discourse-level predicates. (shrink)
A BSTRACT. We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural languagesemantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of generalized quantifiers in natural language to construct a typetheoretic approach to pronominal anaphora that avoids some of the difficulties (...) that undermine previous type-theoretic analyses of this phenomenon. (shrink)
This paper describes a novel pedagogical software program that can be seen as an online companion to one of the standard textbooks of formal natural languagesemantics, Heim and Kratzer (1998). The Penn Lambda Calculator is a multifunctional application designed for use in standard graduate and undergraduate introductions to formal semantics: Teachers can use the application to demonstrate complex semantic derivations in the classroom and modify them interactively, and students can use it to work on problem sets (...) provided by the teacher. The program supports demonstrations and exercises in two main areas: (1) performing beta reduction in the simply typed lambda calculus; (2) application of the bottom-up algorithm for computing the compositional semantics of natural language syntax trees. The program is able to represent the full range of phenomena covered in the Heim and Kratzer textbook by function application, predicate modification, and lambda abstraction. This includes phenomena such as intersective adjectives, relative clauses and quantifier raising. In the student use case, emphasis has been placed on providing “live” feedback for incorrect answers. Heuristics are used to detect the most frequent student errors and to return specific, interactive suggestions. (shrink)
We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural languagesemantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine (...) previous type-theoretic analyses of this phenomenon. (shrink)
Independence Friendly Logic, introduced by Hintikka, is a logic in which a quantifier can be marked for being independent of other quantifiers. Dependence logic, introduced by Väänänen, is a logic with the complementary approach: for a quantifier it can be indicated on which quantifiers it depends. These logics are claimed to be useful for many phenomena, for instance natural languagesemantics. In this contribution we will compare these two logics by investigating their application in a compositional analysis of (...) the de dicto - de re ambiguity in natural language. It will be argued that Independence Friendly logic is suitable, whereas Dependence Logic is not. (shrink)
From the end of the Enlightenment to the middle of the twentieth century philosophy took fascinating and controversial paths whose relevance to contemporary post-modernist thought is becoming ever clearer. This volume traces the English-language side of the period, while also taking into account those continental thinkers who deeply influenced twentieth-century, English-language philosophy. The story begins with Reid, Coleridge, and Bentham--who set the agenda for much that followed--and continues with a portrait of the nineteenth century's greatest British (...) philosopher, John Stuart Mill. It then surveys the cross-currents of thought at the end of the century, including American pragmatism, a movement never more influential than now. Finally it assesses two phases of what Skorupski calls "analytic modernism"--the revolution against idealism of Moore and Russell, and the Viennese sequel whose project was to show that philosophy consists of pseudo-problems. (shrink)
Translation theory and the philosophy of language have largely gone their separate ways (the former opting to rebrand itself as “translation studies” to emphasize its empirical and anti-theoretical underpinnings). Yet translation theory and the philosophy of language have predominately shared a common assumption that stands in the way of determinate translation. It is that languages, not texts, are the objects of translation and the subjects of semantics. The way to overcome the theoretical problems surrounding the possibility and (...) determinacy of translation is to marry the philosopher of language's concern for determinacy and semantic accuracy in translation with the notion of a “text-type” from the translation theory literature. The resulting text-type conception of semantics (TTS) is a novel alternative to the salient positions of Contextualism and Semantic Minimalism in the contemporary philosophy of language. (shrink)
How can computers distinguish the coherent from the unintelligible, recognize new information in a sentence, or draw inferences from a natural language passage? Computational semantics is an exciting new field that seeks answers to these questions, and this volume is the first textbook wholly devoted to this growing subdiscipline. The book explains the underlying theoretical issues and fundamental techniques for computing semantic representations for fragments of natural language. This volume will be an essential text for computer scientists, (...) linguists, and anyone interested in the development of computational semantics. (shrink)
This paper contributes to the debate about ‘tenseless languages’ by defending a tensed analysis of a superficially tenseless language. The language investigated is St’át’imcets (Lillooet Salish). I argue that although St’át’imcets lacks overt tense morphology, every finite clause in the language possesses a phonologically covert tense morpheme; this tense morpheme restricts the reference time to being non-future. Future interpretations, as well as ‘past future’ would-readings, are obtained by the combination of covert tense with an operator analogous to (...) Abusch’s (1985) WOLL. I offer St’át’imcets-internal evidence (of a kind not previously adduced) that the WOLL-like operator is modal in nature. It follows from the analysis presented here that there are only two (probably related) differences between St’át’imcets and English in the area of tense. The first is that St’át’imcets lacks tense morphemes which are pronounced. The second is that the St’át’imcets tense morpheme is semantically underspecified compared to English ones. In each of these respects, the St’át’imcets tense morpheme displays similar properties to pronouns, which may be covert and which may fail to distinguish person, number or gender. Along the way, I point out several striking and subtle similarities in the interpretive possibilities of St’át’imcets and English. I suggest that these similarities may reveal non-accidental properties of tense systems in natural language. I conclude with discussion of the implications of the analysis for cross-linguistic variation, learnability and the possible existence of tenseless languages. (shrink)
This paper provides a semantic analysis of English rise-fall-rise (RFR) intonation as a focus quantifier over assertable alternative propositions. I locate RFR meaning in the conventional implicature dimension, and propose that its effect is calculated late within a dynamic model. With a minimum of machinery, this account captures disambiguation and scalar effects, as well as interactions with other focus operators like ‘only’ and clefts. Double focus data further support the analysis, and lead to a rejection of Ward and Hirschberg’s (...) (Language 61:747–776, 1985) claim that RFR never disambiguates. Finally, I draw out connections between RFR and contrastive topic (CT) intonation (Büring, Linguist Philos 26:511–545, 2003), and show that RFR cannot simply be reduced to a sub-case of CT. (shrink)
We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in the existential fragment of second–order logic. Two arguments for this thesis are formulated. Firstly, we show that so–called Barwise's test of negation normality works properly only when assuming our main thesis. Secondly, we discuss the argument from practical computability for finite universes. Everyday language sentences are directly or indirectly verifiable. We show that in both cases they are (...) bounded by second–order existential properties. Moreover, there are known examples of everyday language sentences which are the most difficult in this class (NPTIME–complete). (shrink)
The volume presents a set of invited papers based on analyses of legal discourse drawn from a number of international contexts where often the Englishlanguage ...
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)
This dissertation is based on the compositional model theoretic approach to natural languagesemantics 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)
This paper continues a strain of intellectual complaint against the presumptions of certain kinds of formal semantics (the qualification is important) and their bad effects on those areas of artificial intelligence concerned with machine understanding of human language. After some discussion of the use of the term epistemology in artificial intelligence, the paper takes as a case study the various positions held by McDermott on these issues and concludes, reluctantly, that, although he has reversed himself on the issue, (...) there was no time at which he was right. (shrink)
A comprehensive introduction to the ways in which meaning is conveyed in language. Alan Cruse covers semantic matters, but also deals with topics that are usually considered to fall under pragmatics. A major aim is to highlight the richness and subtlety of meaning phenomena, rather than to expound any particular theory. Rich in examples and exercises, Meaning in Language provides an invaluable descriptive approach to this area of linguistics for undergraduates and postgraduates alike.
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 paper aims at demonstrating that the cognitive mechanisms underlying certain tropes (e.g. metaphor or metonymy) may assume variable degrees of conventionalisation, thereby giving rise to a range of phenomena along either side of the semantics/ pragmatics distinction. Examining specifically cases of metonymy, I propose a pragmatic account of creative, one-off metonymic expressions using the framework of relevance theory; my main argument is that metonymy is a variety of the interpretive use of language. I further look at degrees (...) of conventionalisation that a given metonymy may go through until it becomes fully semanticised, thus bringing about semantic change. My discussion should have farreaching implications for lexical semantics and the relevance-theoretic distinction between descriptive and interpretive use. (shrink)
Philosophers have defended various views about abstract objects by appealing to metaphysical considerations, considerations regarding mathematics or science, and, not infrequently, intuitions about natural language. 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)
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)
Tarskian model theory is almost universally understood as a formal counterpart of the preformal notion of semantics, of the “linkage between words and things”. The wide-spread opinion is that to account for the semantics of natural language is to furnish its settheoretic interpretation in a suitable model structure; as exemplified by Montague 1974.
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)
This is a review of From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, by Hans Kamp and Uwe Reyle, published by Kluwer Academic Publishers in 1993.
Context: The constructivist approach to the definition (or analysis) of the fundamental meanings of language in Ernst von Glasersfeld’s work. Problem: Has this approach achieved better results than other approaches? Method: Review of a book chapter by von Glasersfeld that is devoted to the analysis of the concepts of “unity,” “plurality” and “number.” Results: The constructivist approach to the semantics of the fundamental elements of language (some of which are fundamental for sciences too) seems to have produced (...) positive results; moreover these are in a field where other approaches have produced results that do not objectively seem satisfactory. (shrink)
The Monist’s call for papers for this issue ended: “if formalism is true, then it must be possible in principle to mechanize meaning in a conscious thinking and language-using machine; if intentionalism is true, no such project is intelligible”. We use the Grelling-Nelson paradox to show that natural language is indefinitely extensible, which has two important consequences: it cannot be formalized and model theoretic semantics, standard for formal languages, is not suitable for it. We also point out (...) that object-object mapping theories of semantics, the usual account for the possibility of non intentional semantics, doesn’t seem able to account for the indefinitely extensible productivity of natural language. (shrink)
Evaluating the usefulness of Davidson's semantics to computational understanding of language requires an examination of the role of a theory of truth in characterizing sentence meaning and logical form, and in particular of the connection between meaning and belief. The suggested conclusion is that the relevance of Davidson's semantics for computational semantics lies not so much in its methods and particular proposals of logical form as in its general orientation towards "desubstantializing" meaning.
This book emphasizes the role of semantics as a bridge between the theory of language and the theories of other cognitive capacities such as visual perception...
I. Foundations of semantics 1. Meaning in linguistics 1. 2. 3. 4. 5. 6. Introduction Truth Compositionality Context and discourse Meaning in contemporary ...
Semantics plays a role in grammar in at least three guises. (A) Linguists seek to account for speakers‘ knowledge of what linguistic expressions mean. This goal is typically achieved by assigning a model theoretic interpretation2 in a compositional fashion. For example, No whale flies is true if and only if the intersection of the sets of whales and fliers is empty in the model. (B) Linguists seek to account for the ability of speakers to make various inferences based on (...) semantic knowledge. For example, No whale flies entails No blue whale flies and No whale flies high. (C) The wellformedness of a variety of syntactic constructions depends on morpho-syntactic features with a semantic flavor. For example, Under no circumstances would a whale fly is grammatical, whereas Under some circumstances would a whale fly is not, corresponding to the downward vs. upward monotonic features of the preposed phrases. (shrink)
... [Aarwv (On Fallacies due to Language) is an introductory text presumably designed for beginners in logic. Stoics would call it a treatise on dialectic, ...
Evaluative Semantics proposes a strongly postmodernist theory of cognition, ideology and discourse in which the structure and internal consistency of ideology resemble those of evaluative knowledge of the mind. The strength of this book is that it goes beyond purely theoretical claims to propose an original connectionist model of evaluative interpretation. Malrieu's new semantics makes a unique contribution to the literature of cognitive science, linguistics, and discourse analysis.
What makes the words we speak mean what they do? Possible-worlds semantics articulates the view that the meanings of words contribute to determining, for each sentence, which possible worlds would make the sentence true, and which would make it false. M. J. Cresswell argues that the non-semantic facts on which such semantic facts supervene are facts about the causal interactions between the linguistic behaviour of speakers and the facts in the world that (...) they are speaking about, and that the kind of causation involved is best analysed using David Lewis's account of causation in terms of counterfactuals. Although philosophers have worked on the question of the connection between meaning and linguistic behaviour, it has mostly been without regard to the work done in possible-world semantics and Language in the World is the first book-length examination of this problem. (shrink)
Experientialist semantics has contributed to a broader notion of linguistic meaning by emphasizing notions such as construal, perspective, metaphor, and embodiment, but has suffered from an individualist concept of meaning and has conflated experiential motivations with conventional semantics. We argue that these problems can be redressed by methods and concepts from phenomenology, on the basis of a case study of sentences of non-actual motion such as “The mountain range goes all the way from Mexico to Canada.” Through a (...) phenomenological reanalysis of proposals of Talmy, Langacker, and Matlock, we show that non-actual motion is both experientially and linguistically non-unitary. At least three different features of human consciousness—enactive perception, visual scanning, and imagination—constitute experiential motivations for non-actual motion sentences, and each of these could be related to phenomenological analyses of human intentionality. The second problem is addressed by proposing that the experiential motivations of non-actual motion sentences can be viewed as sedimented through “passive” processes of acquisition and social transmission and that this implies an interactive loop between experience and language, yielding losses in terms of original experience, but gains in terms of communal signification. Something that is underestimated by phenomenology is that what is sedimented are not only intentional objects such as states of affairs, but aspects of how they are given, i.e., the original, temporal, bodily experiences themselves. Since cognitive semantics has emphasized such aspects of meaning, we suggest that phenomenology can itself benefit from experientialist semantics, especially when it turns its focus from prepredicative to predicative, linguistic intentionality. (shrink)
A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including donkey sentences and cross-sentential anaphora. A proof system in natural deduction format is provided, and the formalism is compared with other accounts of this type of anaphora, in particular Dynamic Predicate Logic.
The paper presents Property Theory with Curry Typing (PTCT) where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. The paper sketches a system of tableau rules that implement the theory. Some extensions to the type theory are discussed, including type polymorphism, which provides a useful analysis of conjunctive (...) terms. Such terms can be given a single polymorphic type that expresses the fact that they can conjoin phrases of any one type, yielding an expression of the same type. (shrink)
“Counterfactual” readings of might/could have were previously analyzed using metaphysical modal bases. This paper presents examples and scenarios where the assumptions of such a branching-time semantics are not met, because there are facts at the base world that preclude the complement of the modal becoming true. Additional arguments show that counterfactual readings are context dependent. These data motivate a semantics using a circumstantial (or factual) modal base, which refers to context-dependent facts about a world and time. The analysis (...) is formulated in a version of premise semantics for modality. (shrink)
The paper presents Property Theory with Curry Typing (PTCT) where the language of terms and well-formed formulæ are joined by a language of types. In addition to supporting fine-grained intensionality, the basic theory is essentially first-order, so that implementations using the theory can apply standard first-order theorem proving techniques. The paper sketches a system of tableau rules that implement the theory. Some extensions to the type theory are discussed, including type polymorphism, which provides a useful analysis of (...) conjunctive terms. Such terms can be given a single polymorphic type that expresses the fact that they can conjoin phrases of any one type, yielding an expression of the same type. (shrink)
Latinos comprise the largest minority group in the U.S. and 63 percent are foreign-born. An educational gap exists between Latinos in the U.S. and other groups in the U.S. Lower educational attainment has ramifications for labor market and other socioeconomic outcomes. Factors involving family context have best explained the educational gap, along with English proficiency and migration history. This study, using the Census long-form data, explores the role of socio-economic background, ethnicity, and migration history on educational outcomes of Latinos (...) in the Midwest, an area that is experiencing recent growth in its Latino population. Results indicate that these factors do impinge negatively on academic achievement of Latino and Non-Hispanic black youth. In order to be more effective in alleviating the achievement gap, multicultural education must not only incorporate culture and inclusion, but also a true understanding of the factors and circumstances that impact youth achievement and how these impact achievement. (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.
The nature of reference, or the relation of a word to the object to which it refers, has been perhaps the dominant concern of twentieth-century analytic philosophy. Extremely influential arguments by Gottlob Frege around the turn of the century convinced the large majority of philosophers that the meaning of a word must be distinguished from its referent, the former only providing some kind of direction for reaching the latter. In the last twenty years, this Fregean orthodoxy has been vigorously challenged (...) by those who argue that certain important kinds of words, at least, refer directly without need of an intermediate meaning or sense. The essays in this volume record how a long-term study of Frege has persuaded the author that Frege's pivotal distinction between sense and reference, and his attendant philosophical views about language and thought, are unsatisfactory. Frege's perspective, he argues, imposes a distinctive way of thinking about semantics, specifically about the centrality of cognitive significance puzzles for semantics. Freed from Frege's perspective, we will no longer find it natural to think about semantics in this way. (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)
In this paper, we show that Higher{Order Coloured Uni cation { a form of uni cation developed for automated theorem proving { provides a general theory for modeling the interface between the interpretation process and other sources of linguistic, non semantic information. In particular, it provides the general theory for the Primary Occurrence Restriction which (Dalrymple et al., 1991)'s analysis called for.
There is a rich canon of work on the meaning of imperative sentences, e.g. "Dance!", in philosophy and much recent research in linguistics has made its own exciting advances. However, in this paper I argue that three observations about English imperatives are problematic for approaches from both traditions. In response, I offer a new analysis according to which the meaning of an imperative is identified with the characteristic effect its uses have on the agents’ attitudes. More specifically: an imperative’s (...) meaning consists in its potential to change what the agents’ mutually take to be preferred for the purposes of the conversation. Preferences already have a well-established theoretical role in decision theory and artificial intelligence where they are central to understanding how rational agents decide what to do. Connecting them with the semantics of imperatives and formal models of language use therefore achieves a welcome theoretical unity. This unity pays dividends in bridging the gap between a semantics for imperatives and an explanation of how imperatives can (and can’t) be used to guide what we do. In particular, it provides a new and more precise articulation of Grice’s insight that language use can be illuminated by viewing it as an interaction between cooperative, rational agents. I will conclude with some brief remarks about how this approach can relate imperatives and modals, and how it can capture the diverse uses to which imperatives are put. (shrink)
This paper investigates scalar implicatures and downward entailment in child English. In previous experimental work we have shown that adults’ computation of scalar implicatures is sensitive to entailment relations. For instance, when the disjunction operator or occurs in positive contexts, an implicature of exclusivity arises. By contrast when the disjunction operator occurs within the scope of a downward entailing linguistic expression, no implicature of exclusivity is computed. Investigations on children’s computation of scalar implicatures in the same contexts have led (...) to a slightly different picture. In particular it has proven difficult to demonstrate that children compute scalar implicatures (in non- downward entailing contexts) using the Truth Value Judgment task, a technique that has been used successfully in showing children’s sensitivity to other semantic phenomena. Adopting a different experimental technique called the Felicity Judgment task, however, we demonstrated children’s knowledge of the prerequisites to the computation of scalar implicatures (Chierchia, Crain, Guasti, Gualmini and Meroni, 2001). (shrink)
• languages as sets of strings and early transformational grammar • interpreted languages as sets of string-meaning pairs • Montague in ‘Universal Grammar’: There is in my opinion no important theoretical difference between natural languages and the artificial languages of logicians; indeed I consider it possible to comprehend the syntax and semantics of both kinds of languages within a single natural and mathematically precise theory.
Tarski’s Indefinability Theorem can be generalized so that it applies to many-valued languages. We introduce a notion of strong semantic self-representation applicable to any (sufficiently rich) interpreted many-valued language L. A sufficiently rich interpreted many-valued language L is SSSR just in case it has a function symbol n(x) such that, for any f Sent(L), the denotation of the term n(“f”) in L is precisely ||f||L, the semantic value of f in L. By a simple diagonal construction (finding a (...) sentence l such that l is equivalent to n(“l”) T), it is shown that no such language strongly represents itself semantically. Hence, no such language can be its own metalanguage. (shrink)
Introduction In this introduction I will comment on some of the central issues of the papers included in this volume and point out some of the relations ...
This paper investigates scalar implicatures and downward entailment in child English. In previous experimental work we have shown that adults’ computation of scalar implicatures is sensitive to entailment relations. For instance, when the disjunction operator or occurs in positive contexts, an implicature of exclusivity arises. By contrast when the disjunction operator occurs within the scope of a downward entailing linguistic expression, no implicature of exclusivity is computed. Investigations on children’s computation of scalar implicatures in the same contexts have led (...) to a slightly different picture. In particular it has proven difficult to demonstrate that children compute scalar implicatures (in non- downward entailing contexts) using the Truth Value Judgment task, a technique that has been used successfully in showing children’s sensitivity to other semantic phenomena. Adopting a different experimental technique called the Felicity Judgment task, however, we demonstrated children’s knowledge of the prerequisites to the computation of scalar implicatures (Chierchia, Crain, Guasti, Gualmini and Meroni, 2001). (shrink)
This volume includes contributions from well-known philosophers of language and semanticists. It is a useful collection for students in philosophy of language, semantics and epistemology. It discusses new research in semantics, theory of truth, philosophy of language and theory of communication from a trans-disciplinary perspective and addresses issues such as sentence meaning, utterance meaning, speaker's intention and reference, linguistic context, circumstances and background theories.
'Mass terms', words like water, rice and traffic, have proved very difficult to accommodate in any theory of meaning since, unlike count nouns such as house or dog, they cannot be viewed as part of a logical set and differ in their grammatical properties. In this study, motivated by the need to design a computer program for understanding natural language utterances incorporating mass terms, Harry Bunt provides a thorough analysis of the problem and offers an original and detailed solution. (...) An extension of classical set theory, Ensemble Theory, is defined, and this provides the conceptual basis of a framework for the analysis of natural language meaning which Dr Bunt calls Two-level model-theoretic semantics. The validity of the framework is convincingly demonstrated by the formal analysis of a fragment of English including sentences with quantified and modified mass terms. Separate chapters of the book are devoted to an axiomatic definition of Ensemble Theory and a detailed discussion of its status as a mathematical formalism. (shrink)
