Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of meaning (...) (intension) that is constitutively tied to possibility and necessity. (shrink)
This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, my interpretation of the (...) apparatus is contrasted with that of David Chalmers, Frank Jackson, and David Lewis. It is argued that this difference reflects a contrast between internalist and externalist approaches to the problem of intentionality. (shrink)
According to Conceptual Role Semantics ("CRS"), the meaning of a representation is the role of that representation in the cognitive life of the agent, e.g. in perception, thought and decision-making. It is an extension of the well known "use" theory of meaning, according to which the meaning of a word is its use in communication and more generally, in social interaction. CRS supplements external use by including the role of a symbol inside a computer or a brain. The uses appealed (...) to are not just actual, but also counterfactual: not only what effects a thought does have, but what effects it would have had if stimuli or other states had differed. The view has arisen separately in philosophy (where it is sometimes called "inferential," or "functional" role semantics) and in cognitive science (where it is sometimes called "procedural semantics"). The source of the view is Wittgenstein (1953) and Sellars, but the source in contemporary philosophy is a series of papers by Harman (see his 1987) and Field (1977). Other proponents in philosophy have included Block, Horwich, Loar, McGinn and Peacocke (1992). In cognitive science, they include Woods (1981) and Miller and Johnson-Laird (1976). (See references in Block, 1987.). (shrink)
This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, my interpretation of the (...) apparatus is contrasted with that of David Chalmers, Frank Jackson, and David Lewis. It is argued that this difference reflects a contrast between internalist and externalist approaches to the problem of intentionality. (shrink)
Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)
Actualism is the doctrine that the only things there are, that have being in any sense, are the things that actually exist. In particular, actualism eschews possibilism, the doctrine that there are merely possible objects. It is widely held that one cannot both be an actualist and at the same time take possible world semantics seriously — that is, take it as the basis for a genuine theory of truth for modal languages, or look to it for insight into the (...) modal structure of reality. For possible world semantics, it is supposed, commits one to possibilism. In this paper I take issue with this view. To the contrary, I argue that one can take possible world semantics seriously and yet remain in full compliance with actualist scruples. (shrink)
Knowledge ascriptions seem context sensitive. Yet it is widely thought that epistemic contextualism does not have a plausible semantic implementation. We aim to overcome this concern by articulating and defending an explicit contextualist semantics for ‘know,’ which integrates a fairly orthodox contextualist conception of knowledge as the elimination of the relevant alternatives, with a fairly orthodox “Amherst” semantics for A-quantification over a contextually variable domain of situations. Whatever problems epistemic contextualism might face, lack of an orthodox semantic implementation is not (...) among them. (shrink)
Two-dimensional semantics is a framework that helps us better understand some of the most fundamental issues in philosophy: those having to do with the relationship between the meaning of words, the way the world is, and our knowledge of the meaning of words. This selection of new essays by some of the world's leading authorities in this field sheds fresh light both on foundational issues regarding two-dimensional semantics and on its specific applications. Contributors: Richard Breheny, Alex Byrne, David Chalmers, Martin (...) Davies, Gareth Evans, Manuel Garcia-Carpintero, Josep Maci`, Martine Nida-Rumelin, Christopher Peacocke, James Pryor, Francois Recanati, Scott Soames, Cara Spencer, Robert Stalnaker, Kai-Yee Wong, Stephen Yablo. (shrink)
In Epistemic Two-Dimensional Semantics, David Chalmers seeks to develop a version of 2-D semantics which can vindicate the rationalist claim that there are constitutive connections between meaning, possibility and a priority. Chalmers lays out different ways of filling in his preferred epistemic approach to 2-D semantics so as to avoid controversial philosophical assumptions. In these comments, however, I argue that there are some distinctively rationalist commitments in Chalmers's epistemic approach to 2-D semantics. I start by explaining why Chalmers's approach requires (...) a canonical language that affords subjects accurate a priori access to the space of possibility. I then argue that traditional worries about rationalism will simply re-emerge as worries about whether there can be a canonical vocabulary and how we could come to recognize one if there were. The moral is that Chalmers's 2-D semantic framework builds in substantive metaphysical and epistemological commitments which stand in need of further defense. (shrink)
Lexical Semantics is about the meaning of words. Although obviously a central concern of linguistics, the semantic behaviour of words has been unduly neglected in the current literature, which has tended to emphasize sentential semantics and its relation to formal systems of logic. In this textbook D. A. Cruse establishes in a principled and disciplined way the descriptive and generalizable facts about lexical relations that any formal theory of semantics will have to encompass. Among the topics covered in depth are (...) idiomaticity, lexical ambiguity, synonymy, hierarchical relations such as hyponymy and meronymy, and various types of oppositeness. Syntagmatic relations are also treated in some detail. The discussions are richly illustrated by examples drawn almost entirely from English. Although a familiarity with traditional grammar is assumed, readers with no technical linguistic background will find the exposition always accessible. All readers with an interest in semantics will find in this original text not only essential background but a stimulating new perspective on the field. (shrink)
Linguistic Semantics: An Introduction is the successor to Sir John Lyons's important textbook Language, Meaning and Context (1981).While preserving the general structure of the earlier book, the author has substantially expanded its scope to introduce several topics that were not previously discussed, and to take account of new developments in linguistic semantics over the past decade. The resulting work is an invaluable guide to the subject, offering clarifications of its specialised terms and explaining its relationship to formal and philosophical semantics (...) and to contemporary pragmatics. With its clear and accessible style it will appeal to a wide student readership. Sir John Lyons is one of the most important and internationally renowned contributors to the study of linguistics. His many publications include Introduction to Theoretical Linguistics (1968) and Semantics (1977). (shrink)
In this paper I will be concerned with the question of the extent to which semantics can be thought of as a purely formal exercise, which we can engage in in a way that is neutral with respect to how our formal system is to be interpreted. I will be arguing, to the contrary, that the features of the formal systems which we use to do semantics are closely linked, in several different ways, to the interpretation that we give to (...) those formal systems. The occasion for this question, and the main example that I will use to illustrate my answer to it, is the close relationship between the formal systems employed in recent statements of apparently competing accounts of epistemic modals with the dynamic, expressivist, and relativist theoretical paradigms. The structure of the paper will be straightforward. In part 1, I will briefly introduce four theories of epistemic modals – one dynamic theory, two expressivist theories, and one relativist theory. Then in part 2 I’ll show that one expressivist theory is formally equivalent to the dynamic theory, that the other is formally equivalent to the relativist theory, and that the two expressivist theories are themselves essentially notational variants. I’ll use these facts to pose our central question: if these theories have so much formally in common, then doesn’t that suggest that we can separate the task of constructing a formal semantics from the task of deciding between competing interpretations of it? Finally, in part 3 I’ll answer that question in the negative. There are at least three reasons why formal semantics cannot be separated from questions of interpretation that are illustrated by the theories I introduce in part 1. (shrink)
Leading scholars in the philosophy of language and theoretical linguistics present brand-new papers on a major topic at the intersection of the two fields, the distinction between semantics and pragmatics. Anyone engaged with this issue in either discipline will find much to reward their attention here. Contributors: Kent Bach, Herman Cappelen, Michael Glanzberg, Jeffrey C. King, Ernie Lepore, Stephen Neale, F. Recanati, Nathan Salmon, Mandy Simons, Scott Soames, Robert J. Stainton, Jason Stanley, Zoltan Gendler Szabo.
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 chapter begins with a discussion of Kant's theory of judgment-forms. It argues that it is not true in Kant's logic that assertoric or apodeictic judgments imply problematic ones, in the manner in which necessity and truth imply possibility in even the weakest systems of modern modal logic. The chapter then discusses theories of judgment-form after Kant, the theory of quantification, Frege's Begriffsschrift, C. I. Lewis and the beginnings of modern modal logic, the proof-theoretic approach to modal logic, possible world (...) semantics, correspondence theory, and modality and quantification. (shrink)
This paper outlines a new approach to the task of giving an account of the meaning of moral statements: a sort of "conceptual role semantics", according to which the meaning of moral terms is given by their role in practical reasoning. This role is sufficient both to distinguish the meaning of any moral term from that of other terms, and to determine the property or relation (if any) that the term stands for. The paper ends by suggesting reasons for regarding (...) this "conceptual role semantics" approach as preferable to noncognitivism, the causal theory of reference, and noncircular conceptual analysis. (shrink)
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...
This essay continues my investigation of `syntactic semantics': the theory that, pace Searle's Chinese-Room Argument, syntax does suffice for semantics (in particular, for the semantics needed for a computational cognitive theory of natural-language understanding). Here, I argue that syntactic semantics (which is internal and first-person) is what has been called a conceptual-role semantics: The meaning of any expression is the role that it plays in the complete system of expressions. Such a `narrow', conceptual-role semantics is the appropriate sort of semantics (...) to account (from an `internal', or first-person perspective) for how a cognitive agent understands language. Some have argued for the primacy of external, or `wide', semantics, while others have argued for a two-factor analysis. But, although two factors can be specifiedâ-one internal and first-person, the other only specifiable in an external, third-person wayâ-only the internal, first-person one is needed for understanding how someone understands. A truth-conditional semantics can still be provided, but only from a third-person perspective. (shrink)
It is widely agreed that sentences containing a non-denoting description embedded in the scope of a propositional attitude verb have true de dicto interpretations, and Russell’s (1905) analysis of definite descriptions is often praised for its simple analysis of such cases, cf. e.g. Neale (1990). However, several people, incl. Elbourne (2005, 2009), Heim (1991), and Kripke (2005), have contested this by arguing that Russell’s analysis yields incorrect predictions in non-doxastic attitude contexts. Heim and Elbourne have subsequently argued that once certain (...) facts about presupposition projection are fully appreciated, the Frege/Strawson analysis of definite descriptions has an explanatory advantage. In this paper, I argue that both Russell’s analysis and the Frege/Strawson analysis face a serious problem when it comes to the interaction of attitude verbs and definite descriptions. I argue that the problem observed by Elbourne, Heim, and Kripke is much more general than standardly assumed and that a solution requires a revision of the semantics of definite and indefinite descriptions. I outline the conditions that are required to solve the problem and present an analysis couched in dynamic semantics which can provide a solution. I conclude by discussing some further issues related to propositional attitude verbs that complicate a fully general solution to the problem. (shrink)
Internalism and Externalism in Semantics and Epistemology presents eleven specially written essays exploring these debates in metaphysics and epistemology and ...
Insensitive Semantics is an overview of and contribution to the debates about how to accommodate context sensitivity within a theory of human communication, ...
This practical coursebook introduces all the basics of semantics in a simple, step-by-step fashion. Each unit includes short sections of explanation with examples, followed by stimulating practice exercises to complete in the book. Feedback and comment sections follow each exercise to enable students to monitor their progress. No previous background in semantics is assumed, as students begin by discovering the value and fascination of the subject and then move through all key topics in the field, including sense and reference, simple (...) logic, word meaning and interpersonal meaning. New study guides and exercises have been added to the end of each unit to help reinforce and test learning. A completely new unit on non-literal language and metaphor, plus updates throughout the text significantly expand the scope of the original edition to bring it up-to-date with modern teaching of semantics for introductory courses in linguistics as well as intermediate students. (shrink)
Conceptual primitives and semantic universals are the cornerstones of a semantic theory which Anna Wierzbicka has been developing for many years. Semantics: Primes and Universals is a major synthesis of her work, presenting a full and systematic exposition of that theory in a non-technical and readable way. It delineates a full set of universal concepts, as they have emerged from large-scale investigations across a wide range of languages undertaken by the author and her colleagues. On the basis of empirical cross-linguistic (...) studies it vindicates the old notion of the "psychic unity of mankind", while at the same time offering a framework for the rigorous description of different languages and cultures. (shrink)
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)
I aim to reinterpret success semantics, a theory of mental content, according to which the content of a belief is fixed by the success conditions of some actions based on this belief. After arguing that in its present form, success semantics is vulnerable to decisive objections, I examine the possibilities of salvaging the core of this proposal. More specifically, I propose that the content of some very simple, but very important, mental states, the immediate mental antecedents of action, can be (...) explained in this manner. (shrink)
Semantics: A Reader contains a broad selection of classic articles on semantics and the semantics/pragmatics interface. Comprehensive in the variety and breadth of theoretical frameworks and topics that it covers, it includes articles representative of the major theoretical frameworks within semantics, including: discourse representation theory, dynamic predicate logic, truth theoretic semantics, event semantics, situation semantics, and cognitive semantics. All the major topics in semantics are covered, including lexical semantics and the semantics of quantified noun phrases, adverbs, adjectives, performatives, and interrogatives. (...) Included are classic papers in the field of semantics as well as papers written especially for the volume. The volume comes with an extensive introduction designed not only to provide an overview of the field, but also to explain the technical concepts the beginner will need to tackle before the more demanding articles. Semantics will have appeal as a textbook for upper level and graduate courses and as a reference for scholars of semantics who want the classic articles in their field in one convenient place. (shrink)
The work of Donald Davidson (1917-2003) transformed the study of meaning. Ernie Lepore and Kirk Ludwig, two of the world's leading authorities on Davidson's work, present the definitive study of his widely admired and influential program of truth-theoretic semantics for natural languages, giving an exposition and critical examination of its foundations and applications.
The purpose of the present paper is to provide a way of understanding systems of logic of essence by introducing a new semantic framework for them. Three central results are achieved: first, the now standard Fitting semantics for the propositional logic of evidence is adapted in order to provide a new, simplified semantics for the propositional logic of essence; secondly, we show how it is possible to construe the concept of necessary truth explicitly by using the concept of essential truth; (...) finally, Fitting semantics is adapted in order to present a simplified semantics for the quantified logic of essence. (shrink)
In this paper, I argue that informational semantics, the most well-known and worked-out naturalistic account of intentional content, conflicts with a fundamental psychological principle about the conditions of belief-formation. Since this principle is an important premise in the argument for informational semantics, the upshot is that the view is self-contradictory??indeed, it turns out to be guilty of a sophisticated version of the fallacy famously committed by Euthyphro in the eponymous Platonic dialogue. Criticisms of naturalistic accounts of content typically proceed piecemeal (...) by narrowly constructed counterexamples, but I argue that the current result is more robust. It affects a broad family of accounts, and provokes a wider doubt about the possibility of successful execution of the naturalistic project. (shrink)
. David Chalmerss version of two-dimensional semantics is an attempt at setting up a unified semantic framework that would vindicate both the Fregean and the Kripkean semantic intuitions. I claim that there are three acceptable ways of carrying out such a project, and that Chalmerss theory does not coherently fit any of the three patterns. I suggest that the theory may be seen as pointing to the possibility of a double reading for many linguistic expressions (a double reading which, however, (...) is not easily identified with straightforward semantic ambiguity). (shrink)
There is no consensus as to whether a Liar sentence is meaningful or not. Still, a widespread conviction with respect to Liar sentences (and other ungrounded sentences) is that, whether or not they are meaningful, they are useless . The philosophical contribution of this paper is to put this conviction into question. Using the framework of assertoric semantics , which is a semantic valuation method for languages of self-referential truth that has been developed by the author, we show that certain (...) computational problems, called query structures , can be solved more efficiently by an agent who has self-referential resources (amongst which are Liar sentences) than by an agent who has only classical resources; we establish the computational power of self-referential truth . The paper concludes with some thoughts on the implications of the established result for deflationary accounts of truth. (shrink)
I. Foundations of semantics 1. Meaning in linguistics 1. 2. 3. 4. 5. 6. Introduction Truth Compositionality Context and discourse Meaning in contemporary ...
Lexical ambiguity presents one of the most intractable problems for language processing studies and, not surprisingly, it is at the core of research in lexical semantics. Originally published as two special issues of the Journal of Semantics, this collection focuses on the problem of polysemy, from the point of view of practitioners of computational linguistics.
Abstract It is widely assumed that the meaning of at least some types of expressions involves more than their reference to objects, and hence that there may be co-referential expressions which differ in meaning. It is also widely assumed that ?syntax does not suffice for semantics?, i.e. that we cannot account for the fact that expressions have semantic properties in purely syntactical or computational terms. The main goal of the paper is to argue against a third related assumption, namely that (...) what is responsible for a difference in meaning between co-referential expressions is the computational difference in the cognitive functioning of the expressions. ?Intentional aspects? of expressions?those features which their meanings involve in addition to reference?cannot be syntacticized, since they are individuated not in terms of any cognitive feature, but rather in terms of those properties of the referents through which the expressions refer to them, and cognitive features cannot determine such properties in exactly the same sense as they cannot determine reference. (shrink)
Written by two of the leading figures in the field, this is a lucid and systematic introduction to semantics as applied to transformational grammars of the ...
This paper outlines and demonstrates the viability of a consistent dialogic approach to the semantics of utterances in natural language. Based on the philosophical picture of language as dialogue, adumbrated by Mikhail Bakhtin and incorporating work in conversation analysis and cognitive-functional linguistics, I develop a method for analyzing both the function and the content of human utterances within a unified philosophical framework. I demonstrate the viability of this method of analysis by applying it to a brief conversational exchange (in Hebrew), (...) which is analyzed here in full detail. (shrink)
If there is a dogma in the contemporary philosophy of the cognitive mind, it must be the notion that cognition is semantic causation or, differently put, that it is semantics that runs the psyche. This is what the notion of psychosemantics and (often) intentionality are all about. Another dogma, less widespread than the first but almost equally potent, is that common sense psychology is the implicit theory of psychosemantics. The two dogmas are jointly encapsulated in the following axiom. Mental attitudes (...) such as beliefs and desires have essentially semantic contents, or are semantically evaluable. (This is why they are called propositional attitudes.) Mental attitudes have causal powers in virtue of their semantic properties. The content of an attitude has causal powers qua semantic, or more exactly in virtue of its syntactic structure which reflects relevant semantic properties and relations. (Propositions attitudinized cause in virtue of their semantically sensitive syntax.) It is the fact that mental attitudes cause in virtue of being semantic that explains why the cognitive mind is essentially semantic and why common sense psychology is implicitly true of the semantic mind. (shrink)
Syntactic semantics is a holistic, conceptual-role-semantic theory of how computers can think. But Fodor and Lepore have mounted a sustained attack on holistic semantic theories. However, their major problem with holism (that, if holism is true, then no two people can understand each other) can be fixed by means of negotiating meanings. Syntactic semantics and Fodor and Leporeâs objections to holism are outlined; the nature of communication, miscommunication, and negotiation is discussed; Brunerâs ideas about the negotiation of meaning are explored; (...) and some observations on a problem for knowledge representation in AI raised by Winston are presented. (shrink)
Jerry Fodor and Ernest Lepore [(1992) Holism: a shopper's guide, Oxford: Blackwell; (1996) in R. McCauley (Ed.) The Churchlands and their critics , Cambridge: Blackwell] have launched a powerful attack against Paul Churchland's connectionist theory of semantics--also known as state space semantics. In one part of their attack, Fodor and Lepore argue that the architectural and functional idiosyncrasies of connectionist networks preclude us from articulating a notion of conceptual similarity applicable to state space semantics. Aarre Laakso and Gary Cottrell [(1998) (...) in M. A. Gernsbacher & S. Derry (Eds) Proceedings of the 20th Annual Conference of the Cognitive Science Society, Mahway, NJ: Erlbaum; Philosophical Psychology ] 13, 47-76 have recently run a number of simulations on simple feedforward networks and applied a mathematical technique for measuring conceptual similarity in the representational spaces of those networks. Laakso and Cottrell contend that their results decisively refute Fodor and Lepore's criticisms. Paul Churchland [(1998) Journal of Philosophy, 95, 5-32 ] goes further. He uses Laakso and Cottrell's neurosimulations to argue that connectionism does furnish us with all we need to construct a robust theory of semantics and a robust theory of translation. In this paper I shall argue that whereas Laakso and Cottrell's neurocomputational results may provide us with a rebuttal of Fodor and Lepore's argument, Churchland's conclusion is far too optimistic. In particular, I shall try to show that connectionist modelling does not provide any objective criterion for achieving a one-to-one accurate translational mapping across networks. (shrink)
This accessible introduction to formal, and especially Montague, semantics within a linguistic framework, presupposes no previous background in logic, but takes students step-by-step from simple predicate/argument structures and their interpretation to Montague's intentional logic.
"This book represents a continuation of the research project in philosophy of language and semantics represented in the journal "Protosociology" at the J. W. ...
During the last thirty years, most linguists and philosophers have assumed that meaning can be represented symbolically and that the mental processing of language involves the manipulation of symbols. Scholars have assembled strong evidence that there must be linguistic representations at several abstract levels--phonological, syntactic, and semantic--and that those representations are related by a describable system of rules. Because meaning is so complex, linguists often posit an equally complex relationship between semantic and other levels of grammar. The Semantics of Syntax (...) is an elegant and powerful analysis of the relationship between syntax and semantics. Noting that meaning is underdetermined by form even in simple cases, Denis Bouchard argues that it is impossible to build knowledge of the world into grammar and still have a describable grammar. He thus proposes simple semantic representations and simple rules to relate linguistic levels. Focusing on a class of French verbs, Bouchard shows how multiple senses can be accounted for by the assumption of a single abstract core meaning along with background information about how objects behave in the world. He demonstrates that this move simplifies the syntax at no cost to the descriptive power of the semantics. In two important final chapters, he examines the consequences of his approach for standard syntactic theories. (shrink)
This book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few decades. focuses on the formal characterization of intensions, the nature of an adequate type system for natural language semantics, and the formal power of the semantic representation language proposes a theory that offers a promising framework for developing a computational semantic system sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable (...) written by two leading researchers and of interest to students and researchers in formal semantics, computational linguistics, logic, artificial intelligence, and the philosophy of language. (shrink)
Jerry Fodor and Ernest Lepore [(1992) Holism: a shopper's guide, Oxford: Blackwell; (1996) in R. McCauley (Ed.) The Churchlands and their critics , Cambridge: Blackwell] have launched a powerful attack against Paul Churchland's connectionist theory of semantics--also known as state space semantics. In one part of their attack, Fodor and Lepore argue that the architectural and functional idiosyncrasies of connectionist networks preclude us from articulating a notion of conceptual similarity applicable to state space semantics. Aarre Laakso and Gary Cottrell [(1998) (...) in M. A. Gernsbacher & S. Derry (Eds) Proceedings of the 20th Annual Conference of the Cognitive Science Society, Mahway, NJ: Erlbaum; Philosophical Psychology ] 13, 47-76 have recently run a number of simulations on simple feedforward networks and applied a mathematical technique for measuring conceptual similarity in the representational spaces of those networks. Laakso and Cottrell contend that their results decisively refute Fodor and Lepore's criticisms. Paul Churchland [(1998) Journal of Philosophy, 95, 5-32 ] goes further. He uses Laakso and Cottrell's neurosimulations to argue that connectionism does furnish us with all we need to construct a robust theory of semantics and a robust theory of translation. In this paper I shall argue that whereas Laakso and Cottrell's neurocomputational results may provide us with a rebuttal of Fodor and Lepore's argument, Churchland's conclusion is far too optimistic. In particular, I shall try to show that connectionist modelling does not provide any objective criterion for achieving a one-to-one accurate translational mapping across networks. (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)
Information theoretic semantics proposes to construe predicate reference in terms of nomological relations between distal properties and properties of representational mental events. Research on the model has largely concentrated on the problem of choosing the nomological relation in terms of which distal properties are to be singled out. I argue that, in addition to this, an information theoretic account has to provide a specification of which properties of representational mental events will play a role in determining reference, qua bearers of (...) nomological relations. I contend that this task poses a serious additional challenge to the viability of the model. (shrink)
In this paper it is argued that functional role semantics can be saved from criticisms, such as those raised by Putnam and Fodor and Lepore, by indicating which beliefs and inferences are more constitutive in determining mental content. The Scylla is not to use vague expressions; the Charybdis is not to endorse the analytic/synthetic distinction. The core idea is to use reflective equilibrium as a strategy to pinpoint which are the beliefs and the inferences that constitute the content of a (...) mental state. The beliefs and the inferences that are constitutive are those that are in reflective equilibrium in the process of attributing mental states to others. (shrink)
Secondary and tertiary qualities are plausibly explained along dispositionalist lines. Concepts of such qualities are response-dependent, denoting properties that are partly mind/brain-dependent. Unfortunately, dispositionalism is hard to square with extant versions of naturalistic theories of representation. In particular the standard naturalistic (indicational) semantics of representational content cannot handle the question from either the subjectivist or the dispositional viewpoint. The paper proposes a remedy: the problem can be solved in a smooth and natural way, provided that we revise and supplement the (...) standard semantics in a rather obvious fashion, by allowing the mind/brain-involving properties to figure within it. (shrink)
There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing away with semantics (...) entirely. This paper argues that a correct account of computation requires us to attribute content to computational processes in order to explain which functions are being computed. This entails that computational psychology must countenance mental representations. Since anti-semantic positions are incompatible with computational psychology thus construed, they ought to be rejected. Lastly, I argue that in an important sense, computers are not formal symbol manipulators. (shrink)
In recent years, two-dimensional (2D) semantics has been used to develop a broadly descriptivist approach to meaning that seeks to accommodate externalists’ counterexamples to traditional descriptivism. The 2D possible worlds framework can be used to capture a speaker’s implicit dispositions to identify the reference of her words on the basis of empirical information about her actual environment. Proponents of 2D semantics argue that this aspect of linguistic understanding plays the core theoretical role of meanings: 2D semantics allows us to specify (...) a reference-fixing criterion implicit mastery of which constitutes semantic competence a particular meaning. (shrink)
Marian Przełęcki’s semantics for the Received View is a good explication of Carnap’s position on the subject, anticipates many discussions and results from both proponents and opponents of the Received View, and can be the basis for a thriving research program.
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)
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.
Those who naturalize semantics concentrate on avoiding difficulties in getting the right sort of cause for the biological item which is to possess semantic properties (to be ?true of or to be ?about? some physical item). Using an analogy with sense?data, I argue that the real difficulties will be trying to get any proposed neural representation to be the right sort of effect of natural processes. The idea of a biological item which can be a semantic ?primitive? is as bankrupt (...) as the idea of a mental item which could be a perceptual ?primitive?. Eventually I propose a technique for finding naturalized representations without these problems. (shrink)
This volume is a comprehensive, up-to-date, and readable introduction to linguistic meaning. While partial to conceptual and typological approaches, the book also presents results from formal approaches. Throughout, the focus is on grammatical meaning -- the way languages delineate universal semantic space and encode it in grammatical form. Subjects covered by the author include: the domain of linguistic semantics and the basic tools, assumptions, and issues of semantic analysis; semantic properties of entities, events, and thematic roles; language and space; tense, (...) aspect, and the internal structure and temporal ordering of events; modality, negation, and the epistemology of the speaker; and modification and attribution. In contrast to most current treatments of semantics, this book is accessible to the beginning student of semantics and linguistics and also useful to the advanced practitioner. A textbook and reference work in a single volume, it can be used in a number of disciplines: psychology, computer science, and anthropology as well as linguistics. (shrink)
This thesis deals with the phenomenon of attitude reporting. More specifically, it provides a unified semantics of de re and de se belief reports. After arguing that de se belief is best thought of as a special case of de re belief, I examine whether we can extend this unification to the realm of belief reports. I show how, despite very promising first steps, previous attempts in this direction ultimately fail with respect to some relatively recent linguistic data involving quantified (...) and infinitival reports, logophoric constructions, and monstrously shifted indexicals. Formalizing my idea of a contextual resolution of acquaintance relations in a dynamic framework, I arrive at an alternative analysis that handles all these data. (shrink)
Jonathan Berg argues for the Theory of Direct Belief, which treats having a belief about an individual as an unmediated relation between the believer and the individual the belief is about. After a critical review of alternative positions, Berg uses Grice's theory of conversational implicature to provide a detailed pragmatic account of substitution failure in belief ascriptions and goes on to defend this view against objections, including those based on an unwarranted "Inner Speech" Picture of Thought. The work serves as (...) a case study in pragmatic explanation, dealing also with methodological issues about context-sensitivity in language and the relation between semantics and pragmatics. (shrink)
In his Explaining Behavior, Fred Dretske uses a reliabilist theory of representation to try to vindicate the use of intentional explanation for behaviour against latter-day elitninativism. Although Dretske's indicator semantics turns on the notion of function, he himself never explicitly defines what function means. Dretske's reticence in discussing function may ultimately be an error, for, as I argue, his implicit understanding of what a function amounts to does not fit with data from op rant conditioning. Still, this need not be (...) a deep flaw in Dretske and I offer one way in which we may patch up the notion of function via the changes known to occur with learning in the brain. Ultimately, I conclude that the only facts needed to explain behaviour are (1) the conditions in the world that are paired with neuronal circuit activation (as picked out by goals in some circumstances); and (2) what motor output that condition triggers. (shrink)
Minimal Semantics asks what a theory of literal linguistic meaning is for - if you were to be given a working theory of meaning for a language right now, what would you be able to do with it? Emma Borg sets out to defend a formal approach to semantic theorising from a relatively new type of opponent - advocates of what she call 'dual pragmatics'. According to dual pragmatists, rich pragmatic processes play two distinct roles in linguistic comprehension: as well (...) as operating in a post-semantic capacity to determine the implicatures of an utterance, they also operate prior to the determination of truth-conditional content for a sentence. That is to say, they have an integral role to play within what is usually thought of as the semantic realm. Borg believes dual pragmatic accounts constitute the strongest contemporary challenge to standard formal approaches to semantics since they challenge the formal theorist to show not merely that there is some role for formal processes on route to determination of semantic content, but that such processes are sufficient for determining content. Minimal Semantics provides a detailed examination of this school of thought, introducing readers who are unfamiliar with the topic to key ideas like relevance theory and contextualism, and looking in detail at where these accounts diverge from the formal approach. Borg's defence of formal semantics has two main parts: first, she argues that the formal approach is most naturally compatible with an important and well-grounded psychological theory, namely the Fodorian modular picture of the mind. Then she argues that the main arguments adduced by dual pragmatists against formal semantics - concerning apparent contextual intrusions into semantic content - can in fact be countered by a formal theory. The defence holds, however, only if we are sensitive to the proper conditions of success for a semantic theory. Specifically, we should reject a range of onerous constraints on semantic theorizing (e.g., that it answer epistemic or metaphysical questions, or that it explain our communicative skills) and instead adopt a quite minimal picture of semantics. (shrink)
This set brings together the most important contributions to semantic theory ranging from Gottlob Frege's 1892 essay "On Sense and Reference" to recent cutting-edge scholarship from leading journals in the field. The collection is structured around three major themes: * Fundamental notions, the relations between semantics and grammar and the relations between meaning and cognition * The semantics of basic grammatical constructions and structures, such as the semantics of determiners, nouns, adjectives and related topics including quantifier scope and the definiteness/indefiniteness (...) distinction. * Topics related to sentential and discourse semantics: events and thematic roles, tense, aspect and modality, negation, ellipsis, questions, pronouns and the semantics/pragmatics interface. (shrink)
Wittgenstein’s Tractatus contains some very striking theses. We read, e.g., that „in a sense” we could not be wrong in logic, and that the whole subject matter of the theory of modalities could be reconstructed on the ground of the insights in the mechanism of the linguistic reference. Yet in the light of the last sentences of Tractatus the whole semantics turns out to be principaly ineffable. In our paper we will try to clarify these matters. We show how these (...) theses could be made plausible in the context of the transcendental method of Wittgenstein’s Tractatus. (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)
HJ EIKMEYER AND H. RIESER Word Semantics from Different Points of View. An Introduction to the Present Volume /. Possible Worlds Possible worlds have turned ...
This is an accessible and practical introduction to formal semantics for students new to the subject. Features: * Shows how meanings are built up and interrelated * Provides a progression of exercises with answers at the back of the book * Backs up activities with short, clear explanations * Includes a glossary of technical terms and an appendix on sets and functions.
In this interpretive analysis, Ravin argues that thematic roles are not valid semantic entities, and that syntax and semantics are indeed autonomous and independent of one another. Suggesting a decompositional approach to lexical semantics in the spirit of Katz's semantic theory, the book considers such theoretical issues as indeterminacy and ambiguity, lexical configuration rules, and lexical projection, and analyzes the semantic content of event concepts such as causation, action, and change.
This paper does not deal with the topic of ‘the generosity of artificial languages from an Asian or a comparative perspective’. Rather, it is concerned with a particular case taken from a development in the Western tradition, when in the wake of the rise of formal logic at the end of the nineteenth and the beginning of the twentieth century people in philosophy and later in linguistics started to use formal languages in the study of the semantics of natural languages. (...) This undertaking rests on certain philosophical assumptions and instantiates a particular methodology, that we want to examine critically. However, that in itself is still too broad a topic for a single paper, so we will focus on a particular aspect, viz., the distinction between grammatical form and logical form and the crucial role it plays in how the relationship between natural languages and formal languages is understood in this tradition. We will uncover two basic assumptions that underlie the standard view on the distinction between grammatical form and logical form, and discuss how they have contributed to the shaping of a particular methodology and a particular view on the status of semantics as a discipline. (shrink)
Lehrer Semantics, as it was devised by Adrienne and Keith Lehrer, is imbedded in a comprehensive web of thought and observations of language use and development, communication, and social interaction, all these as empirical phenomena. Rather than for a theory, I take it for a ‘‘model’’ of the kind which gives us guidance in how to organize linguistic and language-related phenomena. My comments on it are restricted to three aspects: In 2 I deal with the question of how Lehrerian sense (...) can be empirically distinguished from Lehrerian reference as a precondition for the claim that sense relationships are in general more stable than reference relations. It seems that this very claim must already be presupposed for doing the respective empirical investigation. But in 3, I argue for the option to interpret the Lehrers’ concept of sense resp. sense vectors as intension concepts, by which move one may gain a generalized concept, so-to-say ‘‘graded analyticity’’, containing Carnapian strict analyticity for language systems as the extreme case of sense vectors with maximum value. Such graded sense may also be empirically investigated in the case of normal languages. In 4, I plead for my view that what the Lehrers take for communal languages are really collections of family-resembling idiolects of individual speakers and hypotheses of individual speakers about the idiolects of their fellow speakers. This move should free us from the fiction of, and sterile discussions about, the ‘‘true’’ meanings of words, but nevertheless keep normal language communication possible. As a concluding remark I propose in 5 to have both: normal languages from an empirical point of view, and codified languages from a logical reconstructionist one. (shrink)
Context figures in the interpretation of utterances in many different ways. In the tradition of possible-worlds semantics, the seminal account of context-sensitive expressions such as indexicals and demonstratives is that of Kaplan's two-dimensional semantics (the content- character distinction), further pursued in various directions by Stalnaker, Chalmers, and others. This chapter introduces and assesses the notion of context-sensitivity presented in this group of approaches, with a special focus on how it relates to the notion of cognitive significance and whether it includes (...) an intuitively plausible range of expressions within its scope. The chapter concludes with a discussion of the prospects of using two-dimensional semantics to account for context-sensitive expressions in dynamic discourse. (shrink)
Chapter Some topics in semantics Aims of this study The central preoccupation of this study is semantic. It is intended as a modest contribution to the ...
Corpus-driven Cognitive Semantics Introduction to the field Dylan Glynn Is quantitative empirical research possible for the study of semantics?1 More ...
The subject of semantics has been appropriated by various disciplines including linguistic philosophy, logic, cognitive psychology, anthropological linguistics, and computer technology. As a result, it is difficult to define the study of semantics as an actual discipline without discovering what each field using a semantic approach to its subject matter has contributed to the understanding of what words mean. This volume is a result of those discoveries. Primarily an introductory work, this volume outlines the approaches that various disciplines have taken (...) to the subject, attempts to show their relationships and their limitations, and presents the more important aspects of each approach -- from psychosemantics to artificial intelligence -- using pertinent source material from psychology, philosophy, logic, linguistics, and sociology. For individuals coming to the study of semantics for the first time, or those who are interested in what the overall study may offer beyond their specialization, this volume will provide a helpful overview of the subject. (shrink)
Lexical semantics has become a major research area within computational linguistics, drawing from psycholinguistics, knowledge representation, computer algorithms and architecture. Research programmes whose goal is the definition of large lexicons are asking what the appropriate representation structure is for different facets of lexical information. Among these facets, semantic information is probably the most complex and the least explored.Computational Lexical Semantics is one of the first volumes to provide models for the creation of various kinds of computerised lexicons for the automatic (...) treatment of natural language, with applications to machine translation, automatic indexing, and database front-ends, knowledge extraction, among other things. It focuses on semantic issues, as seen by linguists, psychologists, and computer scientists. Besides describing academic research, it also covers ongoing industrial projects. (shrink)
In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...) of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)
The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between (positive) introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: (i) negative (...) introduction and elimination rules, and (ii) positive and negative introduction rules. The paper suggests a proof-theoretical definition of duality (not referring to truthtables), using which double harmony is defined. The paper proves that in a doubly-harmonious system, the coordination rule, typical to bilateral systems, is admissible. (shrink)
This book attempts to marry truth-conditional semantics with cognitive linguistics in the church of computational neuroscience. To this end, it examines the truth-conditional meanings of coordinators, quantifiers, and collective predicates as neurophysiological phenomena that are amenable to a neurocomputational analysis. Drawing inspiration from work on visual processing, and especially the simple/complex cell distinction in early vision (V1), we claim that a similar two-layer architecture is sufficient to learn the truth-conditional meanings of the logical coordinators and logical quantifiers. As a prerequisite, (...) much discussion is given over to what a neurologically plausible representation of the meanings of these items would look like. We eventually settle on a representation in terms of correlation, so that, for instance, the semantic input to the universal operators (e.g. and, all)is represented as maximally correlated, while the semantic input to the universal negative operators (e.g. nor, no)is represented as maximally anticorrelated. On the basis this representation, the hypothesis can be offered that the function of the logical operators is to extract an invariant feature from natural situations, that of degree of correlation between parts of the situation. This result sets up an elegant formal analogy to recent models of visual processing, which argue that the function of early vision is to reduce the redundancy inherent in natural images. Computational simulations are designed in which the logical operators are learned by associating their phonological form with some degree of correlation in the inputs, so that the overall function of the system is as a simple kind of pattern recognition. Several learning rules are assayed, especially those of the Hebbian sort, which are the ones with the most neurological support. Learning vector quantization (LVQ) is shown to be a perspicuous and efficient means of learning the patterns that are of interest. We draw a formal parallelism between the initial, competitive layer of LVQ and the simple cell layer in V1, and between the final, linear layer of LVQ and the complex cell layer in V1, in that the initial layers are both selective, while the final layers both generalize. It is also shown how the representations argued for can be used to draw the traditionally-recognized inferences arising from coordination and quantification, and why the inference of subalternacy breaks down for collective predicates. Finally, the analogies between early vision and the logical operators allow us to advance the claim of cognitive linguistics that language is not processed by proprietary algorithms, but rather by algorithms that are general to the entire brain. Thus in the debate between objectivist and experiential metaphysics, this book falls squarely into the camp of the latter. Yet it does so by means of a rigorous formal, mathematical, and neurological exposition – in contradiction of the experiential claim that formal analysis has no place in the understanding of cognition. To make our own counter-claim as explicit as possible, we present a sketch of the LVQ structure in terms of mereotopology, in which the initial layer of the network performs topological operations, while the final layer performs mereological operations. The book is meant to be self-contained, in the sense that it does not assume any prior knowledge of any of the many areas that are touched upon. It therefore contains mini-summaries of biological visual processing, especially the retinocortical and ventral /what?/ parvocellular pathways computational models of neural signaling, and in particular the reduction of the Hodgkin-Huxley equations to the connectionist and integrate-and-fire neurons Hebbian learning rules and the elaboration of learning vector quantization the linguistic pathway in the left hemisphere memory and the hippocampus truth-conditional vs. image-schematic semantics objectivist vs. experiential metaphysics and mereotopology. All of the simulations are implemented in MATLAB, and the code is available from the book’s website. • The discovery of several algorithmic similarities between visison and semantics. • The support of all of this by means of simulations, and the packaging of all of this in a coherent theoretical framework. (shrink)
All humans can interpret sentences of their native language quickly and without effort. Working from the perspective of generative grammar, the contributors investigate three mental mechanisms, widely assumed to underlie this ability: compositional semantics, implicature computation and presupposition computation. This volume brings together experts from semantics and pragmatics to bring forward the study of interconnections between these three mechanisms. The contributions develop new insights into important empirical phenomena; for example, approximation, free choice, accommodation, and exhaustivity effects.
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)
We present a compositional semantics for first-order logic with imperfect information that is equivalent to Sevenster and Sandu’s equilibrium semantics (under which the truth value of a sentence in a finite model is equal to the minimax value of its semantic game). Our semantics is a generalization of an earlier semantics developed by the first author that was based on behavioral strategies, rather than mixed strategies.
We show that the relational semantics of the Lambek calculus, both nonassociative and associative, is also sound and complete for its extension with classical propositional logic. Then, using filtrations, we obtain the finite model property for the nonassociative Lambek calculus extended with classical propositional logic.
In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in making type theories (...) more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)
Leading scholars in the philosophy of language and theoretical linguistics present brand-new papers on a major topic at the intersection of the two fields, the distinction between semantics and pragmatics. Anyone engaged with this issue in either discipline will find much to reward their attention here. Contributors: Kent Bach, Herman Cappelen, Michael Glanzberg, Jeffrey C. King, Ernie Lepore, Stephen Neale, F. Recanati, Nathan Salmon, Mandy Simons, Scott Soames, Robert J. Stainton, Jason Stanley, Zoltan Gendler Szabo.
According to some philosophers, sentences like (1) “It is raining” and (2) “John is ready” are context sensitive sentences even if they do not contain indexicals or demonstratives. That view initiated a context sensitivity frenzy. Cappelen and Lepore (2005) summarize the frenzy by the slogan “Every sentence is context sensitive” (Insensitive Semantics, p. 6, note 5). They suggest a view they call Minimalism according to which the truth conditions of utterances of sentences like (1)/(2) are exactly what Convention T gives (...) you. I will distinguish different propositions, and refocus semantics on sentences. As distinct from what the protagonists in the ongoing debate think, I argue that the content or truth conditions of utterances of both context sensitive sentences and sentences like (1)/(2) are not interesting from a semantic point of view, and that the problem sentences like (1)/(2) raises is not about context sensitivity or context insensitivity of sentences, but relevance of the content of utterances. (shrink)
The influence of historical-causal theories of reference developed in the late sixties and early seventies by Donnellan, Kripke, Putnam and Devitt has been so strong that any semantic theory that has the consequence of assigning disjunctive representational content to the mental states of twins (e.g. [H2O or XYZ]) has been thereby taken to refute itself. Similarly, despite the strength of pre-theoretical intuitions that exact physical replicas like Davidson's Swampman have representational mental states, people have routinely denied that they have any (...) intentional/representational states. I want to focus on a particular brand of causal theory that is not historical, the so-called pure informational or nomic covariance theories, and examine how they propose to handle twin cases and replicas like Swampman. In particular, I will take up Fodor. (shrink)
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)
'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)
Split constructions are widespread in natural languages. The separation of the semantic restriction of a quantifier from that quantifier is a typical example of such a construction. This study addresses the problem that such discontinuous strings exhibit--namely, a number of locality constraints, including intervention effects. These are shown to follow from the interaction of a minimalist syntax with a semantics that directly assigns a model-theoretic interpretation to syntactic logical forms. The approach is shown to have wide empirical coverage and a (...) conceptual simplicity. The book will be of interest to scholars and advanced students of syntax and semantics. (shrink)
Systematizing Aquinas? : a paradigm in crisis -- Reconstructing Cajetan's question : the semantic intent of De nominum analogia -- Analogy, semantics, and the "concept vs. judgment" critique -- Some insufficient semantic rules for analogy -- Cajetan's semantic principles -- The semantics of analogy : inequality and attribution -- The semantics of proportionality: the proportional unity of concepts -- The semantics of proportionality : concept formation and judgment -- The semantics of proportionality : syllogism and dialectic.
The main aim of the book is to provide a good understanding of a range of semantic phenomena and issues in semantics, adopting a truth-conditional account of meaning, but without using a compositional formalism. The book assumes no particular background in linguistics of philosophy, and all the technical tools used are explained as they are introduced. They style is accessible, with numerous examples.
Understanding Semantics offers an up-to-date, broad and thorough introduction to linguistic semantics, the field of linguistic meaning central to the understanding of language. The book takes a step-by-step approach, starting with the basic concepts and moving through central questions to an examination of the methods and results of the science of linguistic meaning.
In this paper, we present valuation semantics for the Propositional Intuitionistic Calculus (also called Heyting Calculus) and three important subcalculi: the Implicative, the Positive and the Minimal Calculus (also known as Kolmogoroff or Johansson Calculus). Algorithms based in our definitions yields decision methods for these calculi. DOI:10.5007/1808-1711.2010v14n1p125.
This book presents an innovative and novel approach to linguistic semantics, beginning with the idea that language can be described as a system for the expression of linguistic Meanings as particular surface forms or Texts.
This book is concerned with the relationship between semantics and surface structure and in particular with the way in which each is mapped into the other. Jim Miller argues that semantic and syntactic structure require different representations and that semantic structure is far more complex than many analysts realise. He argues further that semantic structure should be based on notions of location and movement. The need for a semantic component of greater complexity is demonstrated by an examination of prepositions, particles, (...) adverbs and verb-prefixes, and is shown to accord with cross-language and historical facts. The volume goes on to consider the sort of rules that are required to map semantic structures onto syntax. Semantics and Syntax tackles fundamental issues and draws together many of the key concepts of traditional grammar and formal linguistics. The general framework for handling syntax, semantics and morphology that it outlines is perhaps a controversial one, but it will be recognized as challenging and original. (shrink)
The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK . Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK , which turns out to be deductively equivalent to the non-normal modal logic EMT4 . DOI:10.5007/1808-1711.2011v15n2p287.
When the first edition of Semantics appeared in 1976, the developments in this aspect of language study were exciting interest not only among linguists, but among philosophers, psychologists and logicians. Professor Palmer's straightforward and comprehensive book was immediately welcomed as one of the best introductions to the subject. Interest in Semantics has been further stimulated recently by a number of significant, and often contriversial, theoretical advances; and the publication of this second edition has enabled Professor Palmer to bring his survey (...) thoroughly up to date. There is also an important new chapter on 'Semantics and logic', showing clearly and simply the influence that logical models have had on the study of meaning. Professor Palmer always illustrates his argument with helpful examples, and his non-technical explanations will be readily intelligible to the interested layman as well as to beginning students of language and linguistics. (shrink)
