6 found
Order:
  1.  6
    Foundations and Applications of Montague Grammar: Philosophy, Framework, Computer Science.Theo M. V. Janssen - 1986
    Direct download  
     
    Export citation  
     
    Bookmark   50 citations  
  2. Frege, Contextuality and Compositionality.Theo M. V. Janssen - 2001 - Journal of Logic, Language and Information 10 (1):115-136.
    There are two principles which bear the name Frege''sprinciple: the principle of compositionality, and the contextprinciple. The aim of this contribution is to investigate whether thisis justified: did Frege accept both principles at the same time, did hehold the one principle but not the other, or did he, at some moment,change his opinion? The conclusion is as follows. There is a developmentin Frege''s position. In the period of Grundlagen he followed to a strict form of contextuality. He repeatedcontextuality in later (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  3.  24
    Independent Choices and the Interpretation of IF Logic.Theo M. V. Janssen - 2002 - Journal of Logic, Language and Information 11 (3):367-387.
    In this paper it is argued that Hintikka's game theoreticalsemantics for Independence Friendly logic does not formalize theintuitions about independent choices; it rather is aformalization of imperfect information. Furthermore it is shownthat the logic has several remarkable properties (e.g.,renaming of bound variables is not allowed). An alternativesemantics is proposed which formalizes intuitions aboutindependence.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  4.  27
    Montague Semantics.Theo M. V. Janssen - forthcoming - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  76
    Compositional Natural Language Semantics Using Independence Friendly Logic or Dependence Logic.Theo M. V. Janssen - 2013 - Studia Logica 101 (2):453-466.
    Independence Friendly Logic, introduced by Hintikka, is a logic in which a quantifier can be marked for being independent of other quantifiers. Dependence logic, introduced by Väänänen, is a logic with the complementary approach: for a quantifier it can be indicated on which quantifiers it depends. These logics are claimed to be useful for many phenomena, for instance natural language semantics. In this contribution we will compare these two logics by investigating their application in a compositional analysis of the de (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  40
    Logical Investigations on Ptq Arising From Programming Requirements.Theo M. V. Janssen - 1980 - Synthese 44 (3):361 - 390.