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)

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)

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)

The question whether natural language can be captured in a formal system has been argued at length, and both a positive and a negative answer has been defended. The paper investigates the main lines of argument for both, and argues that the stalemate that appears to have been reached is an indication that the question itself rests on a wrong conception of the relation between natural languages and formal languages, and hence of the methodological status of formal modelling of natural (...) language. (shrink)

The 100th anniversary of the first publication of Wittgenstein’s Tractatus is celebrated by a collection of original papers by well-known experts on various aspects of one of the greatest works of philosophy in the twentieth century.

Abstract The role accorded to the public by scientists and philosophers of science has undergone an essential historical change in the last three centuries. Public participation in (witnessing of) scientific experiments was considered an important requirement for 17th century experimenters (e.g. for Boyle or Pascal). The cognitive role played by lay persons was later substantially downgraded; witnessing went out of fashion, while science became more and more esoteric and a matter for experts only. Part of this process was that all (...) scientific disciplines became intensively compartmentalized and in consequence a rather puzzling or even paradoxical situation appeared: that the scientists themselves were and are being reduced epistemically to the status of lay persons, outside of their proper field of expertise (as was pointed out by J. Hardwig). The paper deals with some cognitive aspects of this historical process. (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)

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)

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

In the first essay, Stokhof discusses the nature and presuppositions of the formal semantic project as such. He shows that considerations of so-called radical interpretation and the normativity of meaning force us to rethink the relationship between the meaning of a linguistic utterance and its interpretation in a way that is hardly compatible with this project. In the second essay, the author introduces the early Ludwig Wittgenstein as an obvious, if completely neglected, precursor of formal semantics. He discusses the (...) systematic and, to a lesser extent, historical connections between the Tractatus and later formal semantics. From the similarities and differences found, it then draws conclusions regarding the contemporary status of this discipline at the interface of philosophy and the empirical sciences. Finally, the third study looks at formal semantics in terms of its contrast with Wittgenstein's later thinking about language. It attempts to answer the question of whether Wittgenstein's later reflections lead to a theory of linguistic meaning that could be a viable alternative to contemporary formal semantics. (shrink)

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.

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)

Reading the Tractatus. And appreciating it The reception history of Wittgenstein’s Tractatus Logico-Philosophicus displays an impressive and persistent diversity. This paper explores possible sources of that diversity and locates them in different takes on the text and its context of origin, and in different perspectives of the readers. This hermeneutics is illustrated by a comparison of two views on the importance of ethics for an understanding of the Tractatus: that of Cora Diamond and the one developed by the authors in (...) previous work. (shrink)

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)

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)

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.

Amsterdam University Press is a leading publisher of academic books, journals and textbooks in the Humanities and Social Sciences. Our aim is to make current research available to scholars, students, innovators, and the general public. AUP stands for scholarly excellence, global presence, and engagement with the international academic community.

The paper addresses the tension in Wittgenstein’s work between an absolute and a more contextual approach to values. It argues that both are relevant, but that from a systematic point of view the contextual perspective has priority. The consequent commitment to a form of moral realism is discussed, and an analogy with normativity in the domain of language is adduced to provide further support.

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.

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)

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.

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..

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 identifies some background assumptions of compositionality in formal semantics and investigates how they shape formal semantics as a scientific discipline.

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)

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)

Schoolgirls writing short stories have surrendered themselves to some rules of a game, which, according to Ricoeur and Gadamer, delimits a field where everything ’is played’, and thereby, ’shatters the seriousness’ of ’the self-presence of a subject’. This article proposes that this field has a serious side of its own that reveals something true about the everyday reality of being a girl. The proposed worlds in the girls’ short stories are places from which research on women’s lives should begin is (...) a central argument, along with the contention that for the researcher to be able to take the seriousness of this playful writing into account, she also has to assume the position of a playful figure. The article suggests that the empirical data of schoolgirl writing invited the researcher to think Ricoeur and feminist epistemology together. Further, a suggestion is that the roles of reading given by the texts have consequences for a ’new’ process-oriented writing pedagogy and the teacher of writing as well. (shrink)

It is shown that in a linearly ordered MV-algebra A , the implication is unique if and only if the identity function is the unique De Morgan automorphism on A . Modulo categorical equivalence, our uniqueness criterion recalls Ohkuma's rigidness condition for totally ordered abelian groups. We also show that, if A is an Archimedean totally ordered MV-algebra, then each non-trivial De Morgan automorphism of the underlying involutive lattice of A yields a new implication on A , which is not (...) isomorphic to the original implication. (shrink)

Graphical AbstractThe finding that viruses with RNA and DNA genomes can recombine to produce chimeric entities provides valuable insights into the origin and evolution of viruses. It also substantiates the hypothesis that certain groups of DNA viruses could have emerged from plasmids via acquisition of capsid protein-coding genes from RNA viruses.

Susi offers a novel non-coherence theory of digital human rights to explain the change in meaning and scope of human rights rules, principles, ideas and concepts, and the interrelationships and related actors, when moving from the physical domain into the online domain. The transposition into the digital reality can alter the meaning of well-established offline human rights to a wider or narrower extent, impacting core concepts such as transparency, legal certainty and foreseeability. Susi analyses the 'loss in transposition' of some (...) core features of the rights to privacy and freedom of expression. The non-coherence theory is used to explore key human rights theoretical concepts, such as the network society approach, the capabilities approach, transversality, and self-normativity, and it is also applied to e-state and artificial intelligence, challenging the idea of the sameness of rights. This title is part of the Flip it Open programme and may also be available Open Access. Check our website Cambridge Core for details. (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)

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)

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.