-
Expressing expectationsIn Derek Ball & Brian Rabern (eds.), The Science of Meaning: Essays on the Metatheory of Natural Language Semantics, Oxford University Press. 2018.
-
72Changez le contexte!Langage 123 08-29. 1996.a la base de cet article a ´ et´ e pr´ esent´ ee ` a la cinqui` eme ‘Conference on Semantics and Linguistic Theory’ qui s’est tenue ` a Austin, Texas, en F´ evrier 1995, et va paraˆıtre dans les actes de celle-ci. Nous aimerions remercier les participants `
-
38Varieties of Formal Semantics: Proceedings of the Fourth Amsterdam Colloquium (edited book)Foris. 1984.
-
35Tasting and testingLinguistics and Philosophy 42 (6): 617-653. 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
-
17Raymond Turner. Counterfactuals without possible worlds. Journal of philosophical logic, vol. 10 , pp. 453–493Journal of Symbolic Logic 50 (2): 556-557. 1985.
-
31Review: Raymond Turner, Counterfactuals Without Possible Worlds (review)Journal of Symbolic Logic 50 (2): 556-557. 1985.
-
132This Might Be ItIn Dag Westerstahl & Jeremy Seligman (eds.), Language, Logic, and Computation: the 1994 Moraga Proceedings, Csli. pp. 255--70. 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
-
275Provability logics for relative interpretabilityIn Petio Petrov Petkov (ed.), Mathematical Logic. Proceedings of the Heyting '88 Summer School, Springer. pp. 31-42. 1990.In this paper the system IL for relative interpretability is studied.
-
109Psychological experirnents have repeatedly shown that in judging the likelihood of uncertain events people do not follow the principles of probability theory. A notorious example is given by the so called conjunction fallacy. In this paper I argue that this fallacy is not really a fallacy when it is analysed in the light of a dynamic theory of default reasoning. The question that immediately rises is whether the fact that this theory conforms better to the way people actually think provides …Read more
-
220Making Counterfactual AssumptionsJournal of Semantics 22 (2): 159-180. 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
-
87The core language can be extended by defining additional logical constants. E.g., we can add ‘→’ (implication), ‘∨’ (disjunction), and ‘∀x’ (universal quantifiers). The choice of logical primitives is not as optional in DPL as it is in standard predicate logic
-
428Defaults 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
-
99Update 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 d…Read more
-
94The 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
-
112Modal 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
-
86An update on “might”Journal of Logic, Language and Information 6 (4): 361-380. 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 sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.
-
Coreference and Modality in Multi-Speaker DiscourseIn Hans Kamp & Barbara Hall Partee (eds.), Context-dependence in the analysis of linguistic meaning, Elsevier. pp. 195--217. 2004.
-
37Varieties 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 ...
-
33An Update on "Might'"Journal of Logic, Language and Information 6 (4): 361-380. 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 sequent-style systems for each of the consequence relations.We show the logics to be complete and decidable. The paper ends with asyntactic cut elimination result.
-
58Coreference and modalityIn Shalom Lappin (ed.), The handbook of contemporary semantic theory, Blackwell Reference. pp. 179-216. 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 set-theory, and these indeed are not very suited for an analysis of other aspec…Read more
-
126This 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.
Frank Veltman
University of Amsterdam
Hunan University
-
-
Hunan UniversityDistinguished Professor
University of 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 |