10 found
Order:
Disambiguations
Jaap van der Does [9]Jaap M. van der Does [1]
  1.  40
    Sums and Quantifiers.Jaap Van Der Does - 1993 - Linguistics and Philosophy 16 (5):509--550.
  2.  79
    An Update on “Might”.Jaap van der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  3.  18
    An Update on "Might'".Jaap van Der Does, Willem Groeneveld & Frank Veltman - 1997 - Journal of Logic, Language and Information 6 (4):361-380.
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  4.  37
    A Logic of Vision.Jaap M. van der Does & Michiel van Lambalgen - 2000 - Linguistics and Philosophy 23 (1):1-92.
    This essay attempts to develop a psychologically informed semantics of perception reports, whose predictions match with the linguistic data. As suggested by the quotation from Miller and Johnson-Laird, we take a hallmark of perception to be its fallible nature; the resulting semantics thus necessarily differs from situation semantics. On the psychological side, our main inspiration is Marr's (1982) theory of vision, which can easily accomodate fallible perception. In Marr's theory, vision is a multi-layered process. The different layers have filters of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  9
    A Generalized Quantifier Logic for Naked Infinitives.Jaap van der Does - 1991 - Linguistics and Philosophy 14 (3):241-294.
  6. Temporal Representation and Inference.Barry Richards, Inge Bethke, Jon Oberlander & Jaap van der Does - 1989
  7.  8
    Tractatus, Application and Use.Martin Stokhof & Jaap van der Does - 2020 - Open Philosophy 3 (1):770-797.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  7
    Cut Might Cautiously.Jaap van der Does - 1995 - Logic Journal of the IGPL 3 (2-3):191-202.
    This note is on cautious cut elimination for one of Veitman's might logics. Syntactically, the logic is presented as an extension of a sequent system for classical proposition logic . I show that this extension preserves the completeness and decidability of CPL. The proof has cautious cut elimination as a corollary. I also give a rather general syntactic proof of cautious cut elimination. It states that any ‘base’ logic which has a reflexive, monotone consequence relation that allows cautious cut to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  34
    Quantification in Natural Languages (Volumes I & II), E. Bach, E. Jelinek, A. Kratzer, and B.H. Partee, Eds.Jaap van der Does & Henk Verkuyl - 1999 - Journal of Logic, Language and Information 8 (2):243-251.
  10. Quantifiers, Logic, and Language.Jaap van der Does & J. van Eijck - 1996
     
    Export citation  
     
    Bookmark   3 citations