
Varieties of Formal Semantics: Proceedings of the Fourth Amsterdam Colloquium (edited book)Foris. 1984.

20Tasting and testingLinguistics and Philosophy 42 (6): 617653. 2019.Our main concern in this paper is the semantics of predicates of personal taste. However, in order to see these predicates in the right perspective, we had to broaden the scope to the wider class of relative gradable adjectives. We present an analysis of the meaning of these adjectives in the framework of update semantics. In this framework the meaning of a sentence is not identified with its truth conditions, but with its impact on people’s intentional states. In this respect, an important char…Read more

10Raymond Turner. Counterfactuals without possible worlds. Journal of philosophical logic, vol. 10 , pp. 453–493Journal of Symbolic Logic 50 (2): 556557. 1985.

25Review: Raymond Turner, Counterfactuals Without Possible Worlds (review)Journal of Symbolic Logic 50 (2): 556557. 1985.

119This Might Be ItIn Dag Westerstahl & Jeremy Seligman (eds.), Language, Logic, and Computation: the 1994 Moraga Proceedings, Csli. pp. 25570. 1996.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

74The core language can be extended by deﬁning additional logical constants. E.g., we can add ‘→’ (implication), ‘∨’ (disjunction), and ‘∀x’ (universal quantiﬁers). The choice of logical primitives is not as optional in DPL as it is in standard predicate logic

327Defaults in update semanticsJournal of Philosophical Logic 25 (3). 1996.The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic phenomena may successfully be analysed in it: (ii) to give a detailed analysis of one such phenomenon: default reasoning

169Provability logics for relative interpretabilityIn Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School, . pp. 3142. 1990.In this paper the system IL for relative interpretability is studied.

91Bill is 34 years old. He is intelligent, but unimaginative, compulsive and generally lifeless. In school, he was strong in mathematics but weak in social studies and humanities. Please rank the following statements by their probability, using 1 for the most probable and 8 for the least probable

159Making Counterfactual AssumptionsJournal of Semantics 22 (2): 159180. 2005.This paper provides an update semantics for counterfactual conditionals. It does so by giving a dynamic twist to the ‘Premise Semantics’ for counterfactuals developed in Veltman (1976) and Kratzer (1981). It also offers an alternative solution to the problems with naive Premise Semantics discussed by Angelika Kratzer in ‘Lumps of Thought’ (Kratzer, 1989). Such an alternative is called for given the triviality results presented in Kanazawa et al. (2005, this issue)

64Voorzover het maken van kopieën uit deze uitgave is toegestaan op grond van artikel 16B Auteurswet 1912 j0 het Besluit van 20 juni 1974, St.b. 351, zoals gewijzigd bij het Besluit van 23 augustus 1985, St.b. 471 en artikel 17 Auteurswet 1912, dient men de daarvoor wettelijk verschuldigde vergoedingen te voldoen aan de Stichting Reprorecht (Postbus 882, 1180 AW Amstelveen). Voor het overnemen van gedeelte(n) uit deze uitgave in bloemlezingen, readers en andere compilatiewerken (artikel 16 Auteurs…Read more

36Coreference and modalityIn Shalom Lappin (ed.), Handbook of Contemporary Semantic Theory, Blackwell. pp. 179216. 1996.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 settheory, and these indeed are not very suited for an analysis of other aspec…Read more

17An Update on "Might'"Journal of Logic, Language and Information 6 (4): 361380. 1997.This paper is on the update semantics for might of Veltman. Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequentstyle systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.

86The aim of this paper is to argue that update semantics is a natural framework for contextually restricted quantiﬁcation, and to illustrate its use in the analysis of anaphoric deﬁnite descriptions and certain other anaphoric terms

191Modal completeness of ILWIn Jelle Gerbrandy, Maarten Marx, Maarten de Rijke & Yde Venema (eds.), Essays Dedicated to Johan van Benthem on the Occasion of His 50th Birthday, Amsterdam University Press. 1999.This paper contains a completeness proof for the system ILW, a rather bewildering axiom system belonging to the family of interpretability logics. We have treasured this little proof for a considerable time, keeping it just for ourselves. Johan’s ftieth birthday appears to be the right occasion to get it out of our wine cellar

91Update semantics1 embodies a radical view on the relation between context and interpretation. The meaning of a sentence is identiﬁed with its context change potential, where contexts are identiﬁed with information states. The recursive deﬁnition 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 d…Read more

106Of 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 settheory, and these indeed are not very suited for an analysis of other aspec…Read more

Coreference and Modality in MultiSpeaker DiscourseIn Hans Kamp & Barbara Partee (eds.), ContextDependence in the Analysis of Linguistic Meaning, Ims. pp. 195217. 1997.

26Varieties of Formal Semantics: Proceedings of the Fourth Amsterdam Colloquium, September 1982 (edited book)Foris Publications. 1984.Some Generalizations of Categorical Grammars Emmon Bach 0. INTRODUCTION The last decade of work in syntax has seen a marked demotion in the importance of ...

77An update on “might”Journal of Logic, Language and Information 6 (4): 361380. 1997.This paper is on the update semantics for might of Veltman. Threeconsequence relations are introduced and studied in an abstract setting.Next we present sequentstyle systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.

107This first chapter contains an introduction to modal logic. In section 1.1 the syntactic side of the matter is discussed, and in section 1.2 the subject is approached from a semantic point of view.
University of Amsterdam
Hunan University


Hunan UniversityDistinguished Professor
Universiteit van Amsterdam
PhD, 1985
Areas of Specialization
Logic and Philosophy of Logic 
Philosophy of Language 
Mathematical Logic 
Areas of Interest
Logic and Philosophy of Logic 
Philosophy of Language 
Mathematical Logic 