This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle of compositionality, (...) a principle which, implicitly or explicitly, has dominated semantics since the days of Frege. Therefore the question naturally arises whether non-compositionality is in any way a necessary feature of discourse semantics. Since we subscribe to the interpretation of compositionality as constituting primarily a methodological principle, we consider this to be a methodological rather than an empirical question. As a consequence, the emphasis in the present paper lies on developing an alternative compositional semantics of discourse, which is empirically equivalent to its non-compositional brethren, but which differs from them in a principled methodological way. Hence, no attempts are made to improve on existing theories empirically. Nevertheless, as we indicate in section 5, the development of a compositional alternative may in the end have empirical consequences, too. First of all, it can be argued that the dynamic view on interpretation developed in this paper suggests natural and relatively easy to formulate extensions which enable one to deal with a wider range of phenomena than can be dealt with in existing theories. Moreover, the various approaches to the model-theoretic semantics of discourse that have been developed during the last decade, have constituted a ‘fresh start’ in the sense that much of what had been accomplished before was ignored, at least for a start. Of course, this is a justified strategy if one feels one is trying to develop a radically different approach to recalcitrant problems. However, there comes a time when such new approaches have to be compared with the older one, and when an assessment of the pros and cons of each has to be made. One of the main problems in semantics today, we feel, is that a semantic theory such as Montague grammar, and an approach like Kamp’s discourse representation theory, are hard to compare, let alone that it is possible to unify their insights and results.. (shrink)

People suffering from Obsessive-Compulsive Disorder (OCD) do things they do not want to do, and/or they think things they do not want to think. In about 10 percent of OCD patients, none of the available treatment options is effective. A small group of these patients is currently being treated with deep brain stimulation (DBS). Deep brain stimulation involves the implantation of electrodes in the brain. These electrodes give a continuous electrical pulse to the brain area in which they are implanted. (...) It turns out that patients may experience profound changes as a result of DBS treatment. It is not just the symptoms that change; patients rather seem to experience a different way of being in the world. These global effects are insufficiently captured by traditional psychiatric scales, which mainly consist of behavioural measures of the severity of the symptoms. In this article we aim to capture the changes in the patients’ phenomenology and make sense of the broad range of changes they report. For that we introduce an enactive, affordance-based model that fleshes out the dynamic interactions between person and world in four aspects. The first aspect is the patients’ experience of the world. We propose to specify the patients’ world in terms of a field of affordances, with the three dimensions of broadness of scope (‘width’ of the field), temporal horizon (‘depth’), and relevance of the perceived affordances (‘height’). The second aspect is the person-side of the interaction, that is, the patients’ self-experience, notably their moods and feelings. Thirdly, we point to the different characteristics of the way in which patients relate to the world. And lastly, the existential stance refers to the stance that patients take towards the changes they experience: the second-order evaluative relation to their interactions and themselves. With our model we intend to specify the notion of being in the world in order to do justice to the phenomenological effects of DBS treatment. (shrink)

Deep Brain Stimulation (DBS) is a relatively new, experimental treatment for patients suffering from treatment-refractory Obsessive Compulsive Disorder (OCD). The effects of treatment are typically assessed with psychopathological scales that measure the amount of symptoms. However, clinical experience indicates that the effects of DBS are not limited to symptoms only: patients for instance report changes in perception, feeling stronger and more confident, and doing things unreflectively. Our aim is to get a better overview of the whole variety of changes that (...) OCD patients experience during DBS treatment. For that purpose we conducted in-depth, semi-structured interviews with 18 OCD patients. In this paper, we present the results from this qualitative study.We list the changes grouped in four domains: with regard to (a) person, (b) (social) world, (c)characteristics of person-world interactions, and (d) existential stance. We subsequently provide an interpretation of these results. In particular, we suggest that many of these changes can be seen as different expressions of the same process; namely that the experience of anxiety and tension gives way to an increased basic trust and increased reliance on one’s abilities. We then discuss the clinical implications of our findings, especially with regard to properly informing patients of what they can expect from treatment, the usefulness of including CBT in treatment, and the limitations of current measures of treatment success. We end by making several concrete suggestions for further research. (shrink)

Does DBS change a patient’s personality? This is one of the central questions in the debate on the ethics of treatment with Deep Brain Stimulation (DBS). At the moment, however, this important debate is hampered by the fact that there is relatively little data available concerning what patients actually experience following DBS treatment. There are a few qualitative studies with patients with Parkinson’s disease and Primary Dystonia and some case reports, but there has been no qualitative study yet with patients (...) suffering from psychiatric disorders. In this paper, we present the experiences of 18 patients with Obsessive-Compulsive Disorder (OCD) who are undergoing treatment with DBS. We will also discuss the inherent difficulties of how to define and assess changes in personality, in particular for patients with psychiatric disorders. We end with a discussion of the data and how these shed new light on the conceptual debate about how to define personality. (shrink)

In Groenendijk & Stokhof [1989] a system of dynamic predicate logic (DPL) was developed, as a compositional alternative for classical discourse representation theory (DRT ). DPL shares with DRT the restriction of being a first-order system. In the present paper, we are mainly concerned with overcoming this limitation. We shall define a dynamic semantics for a typed language with λ-abstraction which is compatible with the semantics DPL specifies for the language of first-order predicate logic. We shall propose to use this (...) new logical system as the semantic component of a Montague-style grammar (referred to as dynamic Montague grammar, DMG), which will enable us to extend the compositionality of DPL to the subsentential level. Furthermore, we shall extend this analysis also in this sense that we shall add new, dynamic interpretations for logical constants which in DPL were treated in a static fashion. This will substantially increase the descriptive coverage of DMG. (shrink)

Of course, although this view on meaning was the prevailing one for almost a century, many of the people who initiated the enterprise of logical semantics, including people like Frege and Wittgenstein, had an open eye for all that it did not catch. However, the logical means which Frege, Wittgenstein, Russell, and the generation that succeeded them, had at their disposal were those of classical mathematical logic and set-theory, and these indeed are not very suited for an analysis of other (...) aspects of meaning than those which the slogan covers. A real change in view then had to await the emergence of other concepts, which in due course became available mainly under the influence of developments in computer science and cognate disciplines such as artificial intelligence. And this is one of the reasons why it took almost a century before any serious and successful challenge of the view that meaning equals truthconditions from within logical semantics could emerge. (shrink)

This paper is about a topic in the semantics of interrogatives.1 In what follows a number of assumptions figure at the background which, though intuitively appealing, have not gone unchallenged, and it seems therefore only fair to draw the reader’s attention to them at the outset. The first assumption concerns a very global intuition about the kind of semantic objects that we associate with interrogatives. The intuition is that there is an intimate relationship between interrogatives and their answers: an interrogative (...) determines what counts as an answer.2 Given a certain, independently motivated, view on what constitutes the meaning of an answer, this intuition, in return, determines what constitutes the meaning of an interrogative. For example, starting from the observation that answers are true or false in situations, we may be led to the view that answers express propositions, i.e., objects which determine a truth value in a situation. Given that much, our basic intuition says that interrogatives are to be associated with objects which determine propositions. Such objects will be referred to as ‘questions’ in what follows. Notice that all this is largely framework independent: we have made no assumptions yet about what situations, propositions, and questions are, we have only related them in a certain systematic way. In fact we will use a more or less standard, but certainly not uncontroversial, specification in what follows: situations are identified with (total) possible worlds; propositions with sets of worlds; and questions with equivalence relations on the set of worlds. The second assumption that plays a role in what follows is of a more linguistic nature. Interrogatives typically occur in two ways: as independent expressions, and as complements of certain verbs. The assumption is that these two ways of occurring are systematically related, not just syntactically but also semantically.3 Notice that the exact nature of this relationship is underdeter.. (shrink)

In the present version of these lecture notes only a number of typos and a few glaring mistakes have been corrected. Thanks to Paul Dekker for his help in this respect. No attempt has been been made to update the original text or to incorporate new insights and approaches. For a more recent overview, see our ‘Questions’ in the Handbook of Logic and Language (edited by Johan van Benthem and Alice ter Meulen, Elsevier, 1997).

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)

The paper identifies some background assumptions of compositionality in formal semantics and investigates how they shape formal semantics as a scientific discipline.

With a few notable exceptions formal semantics, as it originated from the seminal work of Richard Montague, Donald Davidson, Max Cresswell, David Lewis and others, in the late sixties and early seventies of the previous century, does not consider Wittgenstein as one of its ancestors. That honour is bestowed on Frege, Tarski, Carnap. And so it has been in later developments. Most introductions to the subject will refer to Frege and Tarski (Carnap less frequently) —in addition to the pioneers just (...) mentioned, of course— , and discuss the main elements of their work that helped shape formal semantics in some detail. But Wittgenstein is conspicuously absent whenever the history of the subject is mentioned (usually briefly, if at all). Of course, if one thinks of Wittgenstein’s later work, this is obvious: nothing, it seems, could be more antithetic to what formal semantics aims for and to how it pursues those aims than the views on meaning and language that Wittgenstein expounds in, e.g., Philosophical Investigations, with its insistence on particularity and diversity, and its rejection of explanation and formal modelling. But what about his earlier work, the Tractatus (henceforth )? At first sight, that seems much more congenial, as it develops a conception of language and meaning that is both general and uniform, explanatory.. (shrink)

This book explores in detail the relation between ontology and ethics in the early work of Ludwig Wittgenstein, notably the _Tractatus Logico-Philosophicus_ and, to a lesser extent, the _Notebooks 1914-1916_. Self-contained and requiring no prior knowledge of Wittgenstein's thought, it is the first book-length argument that his views on ethics decisively shaped his ontological and semantic thought. The book's main thesis is twofold. It argues that the ontological theory of the _Tractatus_ is fundamentally dependent on its logical and linguistic doctrines: (...) the tractarian world is the world as it appears in language and thought. It also maintains that this interpretation of the ontology of the _Tractatus_ can be argued for not only on systematic grounds, but also via the contents of the ethical theory that it offers. Wittgenstein's views on ethics presuppose that language and thought are but one way in which we interact with reality. Although detailed studies of Wittgenstein's ontology and ethics exist, this book is the first thorough investigation of the relationship between them. As an introduction to Wittgenstein, it sheds new light on an important aspect of his early thought. (shrink)

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. But before we turn to the topic at hand, a few more words on the general nature of the investigation are in order. Its general aim is to find out how semantics constructs its object, i.e., we are interested in what semanticists view as the proper object of study, how they think this object can best be approached, and how they view the relations between their own undertaking and neighbouring disciplines that deal with related, or even the same kind of phenomena, such as cognitive psychology, cognitive neuroscience, philosophy, anthropology. The background assumption is that, much like in other disciplines, semantics, too, does not have its object of investigation cut out for itself by nature, but constructs it in a complex process that involves empirical elements (‘facts’ being already too dangerous a term), philosophical assumptions, and borrowings.... (shrink)

In formal semantics intuition plays a key role, in two ways. Intuitions about semantic properties of expressions are the primary data, and intuitions of the semanticists are the main access to these data. The paper investigates how this dual role is related to the concept of competence and the role that this concept plays in semantics. And it inquires whether the self-reflexive role of intuitions has consequences for the methodology of semantics as an empirical discipline.

This paper discusses a number of methodological issues with mainstream formal semantics and then investigates whetherWittgenstein’s later work provides an alternative approach that is able to avoid these issues.

With a few notable exceptions formal semantics, as it originated from the seminal work of Richard Montague, Donald Davidson, Max Cresswell, David Lewis and others, in the late sixties and early seventies of the previous century, does not consider Wittgenstein as one of its ancestors. That honour is bestowed on Frege, Tarski, Carnap. And so it has been in later developments. Most introductions to the subject will refer to Frege and Tarski (Carnap less frequently) —in addition to the pioneers just (...) mentioned, of course— , and discuss the main elements of their work that helped shape formal semantics in some detail. But Wittgenstein is conspicuously absent whenever the history of the subject is mentioned (usually briefly, if at all). (shrink)

Natural languages are vehicles of information, arguably the most important, certainly the most ubiquitous that humans possess. Our everyday interactions with the world, with each other and with ourselves depend on them. And even where in the specialised contexts of science we use dedicated formalisms to convey information, their use is embedded in natural language.1..

When one looks into the role of artificial languages in philosophy of language it seems appropriate to start with making a distinction between philosophy of language proper and formal semantics of natural language. Although the distinction between the two disciplines may not always be easy to make since there arguably exist substantial historical and systematic relationships between the two, it nevertheless pays to keep the two apart, at least initially, since the motivation commonly given for the use of artificial languages (...) in philosophy of language is often rather different from the one that drives the use of such languages in semantics. Of course, this difference in motivation should not blind us for the commonalities that exists between the two disciplines. Philosophy of language and formal semantics have a common history, and arguably also share some of their substance. Philosophy of language is by and large an outgrowth of work in the analytical tradition in philosophy in the first half of the twentieth century. Both ordinary language philosophy, with its emphasis on the description of actual language use, as well as the more logic-oriented and formally inclined school of logical positivism contributed to the definition of philosophy of language as a separate philosophical discipline, with its own set of problems and methods to solve them. Another major contributor to the establishment of philosophy of language as a distinct discipline has been modern linguistics, in particular generative grammar in the tradition of Chomsky that became the dominant paradigm in linguisticsin the fifties and sixties of the previous century. And as it happens, both the generative tradition of Chomsky and analytic philosophy in its formal and less formal guises have been important factors in the development of formal semantics as well. Thus, it should come as no surprise that the two have something in common. That the communalities go beyond a common ancestry, but are reflected in substance and methods as well, will be argued later on. However, be that as it may, it is still a good idea to keep philosophy of language and formal semantics separate, at least initially, since the role that is assigned to artificial languages and the ways in which these languages are employed in both does differ in a number of respects that are worth keeping in mind.. (shrink)

Discussions often end before the issues that started them have been resolved. For example, in the late sixties and early seventies, a hot topic in philosophical logic was the development of an adequate semantics for the language of modal predicate logic. However, the result of this discussion was not one single system that met with general agreement, but a collection of alternative systems, each defended most ably by its proponents.

This paper1 explores, quite tentatively, possible consequences for the concept of semantics of two phenomena concerning meaning and interpretation, viz., radical interpretation and normativity of meaning. Both, it will be argued, challenge the way in which meaning is conceived of in semantics and thereby the status of the discipline itself. For several reasons it seems opportune to explore these issues. If one reviews the developments in semantics over the past two decades, one observes that quite a bit has changed, and (...) one may well wonder how to assess these changes. This relates directly to the status of semantics. If semantics is an empirical discipline, one might expect that most changes are informed by empirical considerations. However, one may also note that the core notion of semantics, meaning, today is conceived of quite differently than in, say, the seventies. How can that be? How can that what semantics is about, be different now from what is was back then? Or is this perhaps an indication that semantics is not as empirical as it is often thought to be? Moreover, it seems that in some deep sense meaning as explicated in semantics and interpretation as studied in various philosophical approaches are strangely at odds. Meaning is what interpretation is concerned with: meaning is, at least so it seems, what in the process of interpretation language users try to recover (or analogously, what they try to convey in production). Yet, the way meaning is conceived of in semantics seems not to square all that neatly with how the process of interpretation is supposed to proceed. In particular it seems to lack some of the intrinsic features that various approaches to interpretation assume it to have. Given these discrepancies, one wonders how the two can be incorporated within a single theory. And that such a theory is desirable goes, it may be presumed, without saying These are the reasons that figure in this paper. At the background there are some others.. (shrink)

The paper sketches the place of dynamic semantics within a broader picture of developments in philosophical and linguistic theories of meaning. Some basic concepts of dynamic semantics are illustrated by means of a detailed analysis of anaphoric definite and indefinite descriptions, which are treated as contextually dependent quantificational expressions. It is shown how a dynamic view sheds new light on the contextual nature of interpretation, on the difference between monologue and dialogue, and on the interplay between direct and indirect information.

The paper traces some of the assumptions that have informed conservative naturalism in linguistic theory, critically examines their justification, and proposes a more liberal alternative.

The paper by Fritz Hamm, Hans Kamp and Michiel van Lambalgen (in what follows abbreviated as ‘HKL’) is a very rich one. Not only does it contain a wealth of empirical and formal insights concerning the analysis of tense and aspect, planning and causality, and other phenomena, it also contains some penetrating remarks concerning the scope and method of semantic theory. It is the latter aspect of the paper that I want to make a few comments on in what follows.

The article argues for a contextualised reading of Wittgenstein’s Tractatus. It analyses in detail the role that use and application play in the text and how that supports a conception of transcendentality of logic that allows for contextualisation. The article identifies a tension in the text, between the requirement that sense be determinate and the contextual nature of application, and suggests that it is this tension that is a major driver of Wittgenstein’s later ideas.

This paper is an informal introduction to some aspects of dynamic semantics. It is a compilation of earlier reports on joint work with Frank Veltman. The opening section can also be found in Groenendijk et al. 1996a. Section 3 is drawn from Groenendijk et al. 1995a. Some of the discussion in section 4 derives from Groenendijk et al. 1996c.

The aim of this paper is to argue that update semantics is a natural framework for contextually restricted quantification, and to illustrate its use in the analysis of anaphoric definite descriptions and certain other anaphoric terms.

Objects come to us, and we to them, in many different ways: by touch, vision, smell; in thought, language, imagination. We access them directly and manipulate them; or we approach them indirectly and keep our distance. Sometimes we do so at the same time: we pick up an object and ask ourselves where we bought it, or what it is for; we look at an object and admire its shape or colour. But often we simply take the object and use (...) it, and neither its material properties, nor its history need concern us: we take it for granted. (shrink)

The paper addresses the way in which modern linguistics, − in particular, but not exclusively, the generative tradition − , has constructed its core concepts. It argues that a particular form of construction, reminiscent of, but crucially different from, abstrac- tion, which is dubbed ‘idealisation’, plays a central role here. The resemblances and differences between abstractions and idealisations are investigated, and consequences of the reliance on idealisations are reviewed.

The paper sketches the place of dynamic semantics within a broader picture of developments in philosophical and linguistic theories of meaning. Some basic concepts of dynamic semantics are illustrated by means of a detailed analysis of anaphoric definite and indefinite descriptions, which are treated as contextually dependent quantificational expressions. It is shown how a dynamic view sheds new light on the contextual nature of interpretation, on the difference between monologue and dialogue, and on the interplay between direct and indirect information.

Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks and by describing the results of performing actions in given states of the world. The actions studied by dynamic logic can be of various kinds: actions on the memory state of a computer, actions of a moving robot in a closed world, interactions between cognitive agents performing given communication protocols, actions that change the common ground between speaker and hearer in a conversation, (...) actions that change the contextually available referents in a conversation, and so on. (shrink)

When in 1980, on the Third Amsterdam Colloquium, Johan van Benthem read a paper with the title ‘Why is Semantics What?’ (cf. [1]), I was puzzled: Wasn’t it obvious what semantics is? Why did our concept of it stand in need of justification? Later, much later, I came to appreciate what Van Benthem was doing in this paper (and in some others). Questioning the ‘standard model’, the assumptions on which the working semanticists silently agree, Van Benthem opened up a space (...) of issues to be discussed, questions to be asked, routes to be explored, that had been hidden from view by the unreflective endorsement of just one possible, albeit fruitful way of doing semantics. History, by the way, has proven him right on many points: the monolithic approach that dominated formal semantics of natural language in the seventies, and which relied heavily on Montague’s seminal papers, has given way to a multitude of different ways of tackling semantic issues, using different formal techniques. Some limitations, in particular the almost exclusive focus on sentences as the primary units of analysis, have been overcome. In another respect, however, I feel that the message of Van Benthem’s paper has not caught on sufficiently. He urges semanticists to take more interest in the properties of their tools, arguing that such questions are important if we are to come to a real, deep understanding of what semantics is. Such ‘meta-level’ considerations, although certainly less scarce than they used to be, are still not an everyday concern of the working semanticist. (shrink)

Update semantics1 embodies a radical view on the relation between context and interpretation. The meaning of a sentence is identified with its context change potential, where contexts are identified with information states. The recursive definition of semantic interpretation is stated in terms of a process of updating an information state with a sentence. Meanings of sentences, then, are update functions. In general, these are partial functions, since the possibility to update with a sentence may depend on the fulfillment of certain (...) constraints (presuppositions, the presence of antecedents for anaphora, etc.). It is important to note that context and interpretation are interdependent: the interpretation process depends on the context, `. (shrink)

The paper identifies some background assumptions of compositionality in formal semantics and investigates how they shape formal semantics as a scientific discipline.

The end of philosophy? A Wittgensteinian perspective on the challenge of naturalism The paper addresses the challenges that naturalism poses for the humanities, and for philosophy in particular. After a general overview it takes as its starting point recent discussions on Wittgenstein’s metaphilosophy and argues that from Wittgenstein’s work on certainty, aesthetic experience and religious belief a notion of ‘non-discursive content’ can be extracted that may provide a new take on the naturalistic challenge.

No attempt has been been made to update the original text or to incorporate new insights and approaches. For a more recent overview, see our ‘Questions’ in the Handbook of Logic and Language (edited by Johan van Benthem and Alice ter Meulen, Elsevier, 1997).

This paper is about a topic in the semantics of interrogatives.1 In what follows a number of assumptions figure at the background which, though intuitively appealing, have not gone unchallenged, and it seems therefore only fair to draw the reader’s attention to them at the outset.

This short note takes another look at the ideas proposed by the ‘New Wittgen steinians’, focusing on a feature of the discussion these ideas have generated that hitherto seems to have received comparatively little attention, viz., certain assumptions about the conception of philosophy as an intellectual enterprise, including its relation to the sciences, that seem to be adopted by both the New Wittgensteinians and (many of) their critics.

Discussions often end before the issues that started them have been resolved. For example, in the late sixties and early seventies, a hot topic in philosophical logic was the development of an adequate semantics for the language of modal predicate logic. However, the result of this discussion was not one single system that met with general agreement, but a collection of alternative systems, each defended most ably by its proponents.