Switch to: Citations

Add references

You must login to add references.
  1. Monotonicity in Opaque Verbs.Thomas Ede Zimmermann - 2006 - Linguistics and Philosophy 29 (6):715 - 761.
    The paper is about the interpretation of opaque verbs like “seek”, “owe”, and “resemble” which allow for unspecific readings of their (indefinite) objects. It is shown that the following two observations create a problem for semantic analysis: (a) The opaque position is upward monotone: “John seeks a unicorn” implies “John seeks an animal”, given that “unicorn” is more specific than “animal”. (b) Indefinite objects of opaque verbs allow for higher-order, or “underspecific”, readings: “Jones is looking for something Smith is looking (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Constructive Generalized Quantifiers.Göran Sundholm - 1989 - Synthese 79 (1):1 - 12.
  • Intuitionistic Categorial Grammar.Aarne Ranta - 1991 - Linguistics and Philosophy 14 (2):203 - 239.
  • Programming in Martin-Löf’s Type Theory: An Introduction.Bengt Nordström, Kent Petersson & Jan M. Smith - 1990 - Clarendon Press.
    No categories
     
    Export citation  
     
    Bookmark   14 citations  
  • Proof-Theoretic Semantics for Subsentential Phrases.Nissim Francez, Roy Dyckhoff & Gilad Ben-Avi - 2010 - Studia Logica 94 (3):381-401.
    The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • Meaning Approached Via Proofs.Dag Prawitz - 2006 - Synthese 148 (3):507-524.
    According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   53 citations  
  • The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.Michael Rathjen - 2005 - Synthese 147 (1):81-120.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Proof-Theoretic Semantics for a Natural Language Fragment.Nissim Francez & Roy Dyckhoff - 2010 - Linguistics and Philosophy 33 (6):447-477.
    The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does not (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  • On the Proper Treatment of Opacity in Certain Verbs.Thomas Ede Zimmermann - 1993 - Natural Language Semantics 2 (1):149-179.
    This paper is about the semantic analysis of referentially opaque verbs like seek and owe that give rise to nonspecific readings. It is argued that Montague's categorization (based on earlier work by Quine) of opaque verbs as properties of quantifiers runs into two serious difficulties: the first problem is that it does not work with opaque verbs like resemble that resist any lexical decomposition of the seek ap try to find kind; the second one is that it wrongly predicts de (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  • Associative Substitutional Semantics and Quantified Modal Logic.Bartosz Więckowski - 2010 - Studia Logica 94 (1):105-138.
    The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Rules for Subatomic Derivation.Bartosz Więckowski - 2011 - Review of Symbolic Logic 4 (2):219-236.
    In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences and the terms from which they (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • On the Proper Treatment of Opacity in Certain Verbs.Thomas Ede Zimmermann - 1992 - Natural Language Semantics 1 (2):149-179.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  • Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1975 - Journal of Symbolic Logic 40 (2):232-234.
  • Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.
     
    Export citation  
     
    Bookmark   38 citations