22 found
Sort by:
  1. Dick De Jongh & Frank Veltman, Intensional Logics.
    This 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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Dick de Jongh & Frank Veltman, Provability Logics for Relative Interpretability.
    In this paper the system IL for relative interpretability described in Visser (1988) is studied.1 In IL formulae A|> B (read: A interprets B) are added to the provability logic L. The intended interpretation of a formula A|> B in an (arithmetical) theory T is: T + B is relatively interpretable in T + A. The system has been shown to be sound with respect to such arithmetical interpretations (˘Svejdar 1983, Montagna 1984, Visser 1986, 1988P). As axioms for IL (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  3. Frank Veltman, Coreference and Contextually Restricted Quantification.
    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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Frank Veltman, Coreference and Modality.
    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 (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Frank Veltman, Coreference and Modality in the Context of Multi-Speaker Discourse.
    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 (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Frank Veltman, Changez le Contexte!
    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 `.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Frank Veltman, Een Zogenaamde Denkfout.
    Bill 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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. Frank Veltman, Het Verschil Tussen Vaag En Niet Precies.
    Voorzover 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 Auteurswet 1912) dient men zich (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  9. Frank Veltman, Provability Logics for Relative Interpretability.
    In this paper the system IL for relative interpretability described in Visser (1988) is studied.1 In IL formulae A|> B (read: A interprets B) are added to the provability logic L. The intended interpretation of a formula A|.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  10. Frank Veltman, Proof Systems for Dynamic Predicate Logic.
    The 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.
    Direct download  
     
    My bibliography  
     
    Export citation  
  11. Frank Veltman, This Might Be It.
    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.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. Frank Veltman (2005). Making Counterfactual Assumptions. Journal of Semantics 22 (2):159-180.
    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).
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  13. Dick De Jongh & Frank Veltman (1999). Modal Completeness of ILW. In 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.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Jeroen Groenendijk, Martin Stokhof & Frank Veltman (1997). Coreference and Modality in Multi-Speaker Discourse. In Hans Kamp & Barbara Partee (eds.), Context-Dependence in the Analysis of Linguistic Meaning. Ims. 195--217.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  15. Jaap van der Does, Willem Groeneveld & Frank Veltman (1997). An Update on “Might”. Journal of Logic, Language and Information 6 (4):361-380.
    This paper is on the update semantics for might of Veltman (1996). 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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  16. Jaap van Der Does, Willem Groeneveld & Frank Veltman (1997). An Update on €œMight”. Journal of Logic, Language and Information 6 (4):361-380.
    This paper is on the update semantics for might of Veltman (1996). 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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  17. Frank Veltman (1996). Defaults in Update Semantics. Journal of Philosophical Logic 25 (3):221 - 261.
    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.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  18. Frank Veltman (1996). ``Defaults in Update Semantics&Quot. Journal of Philosophical Logic 25:221-261.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  19. Frank Veltman (1991). Semántica de actualización. Revista de Filosofía (Madrid) 6:271.
    No categories
    Translate to English
    | Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Frank Veltman (1985). Review: Raymond Turner, Counterfactuals Without Possible Worlds. [REVIEW] Journal of Symbolic Logic 50 (2):556-557.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Fred Landman & Frank Veltman (eds.) (1984). Varieties of Formal Semantics: Proceedings of the Fourth Amsterdam Colloquium, September 1982. Foris Publications.
    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 ...
    Direct download  
     
    My bibliography  
     
    Export citation